Test Cases Generation for Nondeterministic Duration Systems

Lotfi Majdoub, Riadh Robbana

Abstract

In this paper, we are interested in testing duration systems. Duration systems are an extension of real-time systems for which delays that separate events depend on the accumulated times spent by the computation at some particular locations of the system. We present a test generation method for nondeterministic duration systems that uses the approximation method. This method extends a model using an over approximation, the approximate model, containing the digitization timed words of all the real computations of the duration system. Then, we propose an algorithm that generates a set of test cases presented with a tree by considering a discrete time.

References

  1. Alur R., Courcoubetis C., and Dill D., Model-Checking for Real-Time Systems, 5th Symp. on logic in Computer Science, 1990.
  2. Alur R.and Dill D., A Theory of Timed Automata, Theoretical Computer Science, 126 : 183- 235, 1994.
  3. Bouajjani A., Echahed R., Robbana R., Verifying Invariance Properties of Timed Systems with Duration Variables, Formal Techniques in Real-Time and Fault Tolerant Systems, 1994.
  4. Cassez F., Larsen K.G, The Impressive Power of Stopwatches, In Proc. Conference on Concurrency Theory (CONCUR'00), Penssylvania, USA, 2000
  5. Cerans K., Decidability of Bisimulation Equivalence for Parallel timer Processes, In Proc. Computer Aided Verification (CAV'92), Springer-Verlag, 1992, LNCS 663.
  6. En-Nouaary A., Dssouli R., Khender F., and Elqortobi A., Timed Test cases generation based on state characterisation technique, In RTSS'98. IEEE, 1998.
  7. Henzinger T., Manna Z., and Pnuelli A., What good are digital clocks?, In ICALP'92, LNCS 623, 1992.
  8. Hessel A., Pettersson P., A Test Case Generation Algorithm for Real-Time Systems, In Proc. 4th international Conference on Quality software, pp. 268-273, 2004.
  9. Krichen M, Tripakis S., Black-Box Conformance Testing for Real-Time Systems, SPIN'04 Workshop on Model Checking Software, 2004.
  10. Majdoub L. and Robbana R., Test Purpose of Duration Systems, 4th MSVVEIS, pages 67-75, Cyprus, May 2006.
  11. Majdoub L. and Robbana R., Testing Duration Systems using an Approximation Method, Depcos-RELCOMEX, pp.119-126, Szklarska Poreba, Poland, June 2007.
  12. Majdoub L. and Robbana R., Testing Duration systems, Journal Européen des Systèmes Automatisés, Approches formelles pour la validation de systèmes temps-réel, vol 42 n 9/2008, pp. 1111-1134, November 2008.
  13. Robbana R, Verification of Duration Systems using an Approximation Approach, Journal Computer Science and Technology, Vol 18, N 2, pp. 153-162, March 2003.
  14. Springintveld J., Vaandrager F., and D'Argenio P., Testing Timed Automata, Theoretical Computer Science, 254, 2001.
  15. Tretmans J., Testing Concurrent Systems : A Formal Approach, CONCUR'99 , 10th Int, conference on Concurrency Theory, pages 46-65, 1999.
Download


Paper Citation


in Harvard Style

Majdoub L. and Robbana R. (2009). Test Cases Generation for Nondeterministic Duration Systems . In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 13-22. DOI: 10.5220/0002196500130022


in Bibtex Style

@conference{msvveis09,
author={Lotfi Majdoub and Riadh Robbana},
title={Test Cases Generation for Nondeterministic Duration Systems},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={13-22},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002196500130022},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
TI - Test Cases Generation for Nondeterministic Duration Systems
SN - 978-989-8111-90-6
AU - Majdoub L.
AU - Robbana R.
PY - 2009
SP - 13
EP - 22
DO - 10.5220/0002196500130022