![](bg9.png)
and test purpose. Finally, we have demonstrated that all timed words recognized by the
synchronous product are recognized by both the specification and test purpose. Thanks
to this result, we can generate test cases according to a test purpose.
Regarding future work, we notice that in this paper, we don’t treat the problem of
the infinity of the state space, due to the infinite number of duration variables values,
we can solve this problem by adapting the region graph approach or by approximation.
References
1. R.Alur and D.Dill, A Theory of Timed Automata, Theoretical Computer Science, 126 : 183-
235, 1994
2. A.Bouajjani, Y.Lakhnech, R.Robbana, From Duration Calculus to Linear Hybrid Systems,
In Proc. Computer Aided Verification (CAV’95), Liege Belgium, 1995
3. F.Cassez, K.G Larsen, The Impressive Power of Stopwatches, In Proc. Conference on Con-
currency Theory (CONCUR’00), Penssylvania, USA, 2000
4. A.En-Nouaary, R.Dssouli, F.Khender, and A.Elqortobi, Timed Test cases generation based
on state characterisation technique, In RTSS’98. IEEE, 1998
5. T.Henzinger, Z.Manna, and A.Pnuelli, What good are digital clocks?, In ICALP’92, LNCS
623, 1992
6. A.Hessel, K.G. Larsen, B.Nielsen, P.Pettersson and A.Skou, Time-optimal Real-Time Test
Case Genereation using UPPAAL, In Proceding of third International Workshop on Formal
Approaches to Testing of Software, FATES’03, 2003
7. A.Hessel, P.Pettersson, A Test Case Generation Algorithm for Real-Time Systems, In Proced-
ing of 4th international Conference on Quality software QSIC’04 pages 268-273, 2004
8. A.Khoumsi, A Method for Testing the Conformance of Real Time Systems, IEEE Interna-
tional Symposium on formal Techniques in Real-Time and Fault tolerant Systems, FTRTFT
volume 2469 of LNCS Springer Verlag, September 2002.
9. A.Khoumsi, T.Jeron, and H.Marchand, Test Cases Generation for Nondeterministic Real-
time Systems, In FATES’03, 2003
10. M.Krichen, S.Tripakis, Black-Box Conformance Testing for Real-Time Systems, SPIN’04
Workshop on Model Checking Software, 2004
11. D.Lee, M.Yannakakis, Principles and Methods of Testing Finite State Machines, Proceedings
of the IEEE, 84 : 1099-1123, August 1996
12. L.Majdoub and R.Robbana, Verificaton of Duration Systems with one Preemption,
ACS/IEEE International Conference on Computer Systems and Applications, Tunisia 2003
13. P.Morel, Une algorithmique efficace pour la g
´
en
´
eration automatique de tests de conformit
´
e,
these of Rennes University, 2000
14. R.Robbana, Sp
´
ecification et V
´
erification des Syst
`
emes Hybrides, These, Joseph Fourier Uni-
versity Grenoble, October 1995
15. R.Robbana, Verification of Duration Systems using an Approximation Approach, Journal of
Computer Science and Technology, Vol 18, No2, pp. 153-162, March 2003
16. J.Springintveld, F.Vaandrager, and P.D’Argenio, Testing Timed Automata, Theoretcal Com-
puter Science, 254, 2001
17. J.Tretmans, Testing Concurrent Systems : A Formal Approach, CONCUR’99 , 10th Int, con-
ference on Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages
46-65, Springer -Verlag, 1999
75