Coverage based Test Generation for Duration Systems

Maha Naceur, Lotfi Majdoub, Riadh Robbana

2012

Abstract

In this paper, we are interested in generating test cases for duration systems with respect to coverage criteria. 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 duration systems by considering coverage criteria. This method uses the approximation approach and extends a model using an over approxima- tion, 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 and respecting a coverage criterion in order to select test cases.

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, 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., Testing Duration Systems using an Approximation Method, Depcos-RELCOMEX, pp.119-126, Szklarska Poreba, Poland, June 2007.
  11. Majdoub L. and Robbana R., Testing Duration systems, Journal Européen des Systèmes Automatisés, vol 42 n?9/2008, pp. 1111-1134, November 2008.
  12. Majdoub L. and Robbana R., Test cases generation for nondeterministice duration systems, 7th MSVVEIS, pp.14-23, Milan, Italy, May 2009.
  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.
  16. Zhu H, Hall P, May J, Software unit test coverage and adequacy, ACM Computing Surveys, 29(4), 1997.
Download


Paper Citation


in Harvard Style

Naceur M., Majdoub L. and Robbana R. (2012). Coverage based Test Generation for Duration Systems . In Proceedings of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems and 1st International Workshop on Web Intelligence - Volume 1: MSVVEIS, (ICEIS 2012) ISBN 978-989-8565-14-3, pages 3-14. DOI: 10.5220/0004089000030014


in Bibtex Style

@conference{msvveis12,
author={Maha Naceur and Lotfi Majdoub and Riadh Robbana},
title={Coverage based Test Generation for Duration Systems},
booktitle={Proceedings of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems and 1st International Workshop on Web Intelligence - Volume 1: MSVVEIS, (ICEIS 2012)},
year={2012},
pages={3-14},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004089000030014},
isbn={978-989-8565-14-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems and 1st International Workshop on Web Intelligence - Volume 1: MSVVEIS, (ICEIS 2012)
TI - Coverage based Test Generation for Duration Systems
SN - 978-989-8565-14-3
AU - Naceur M.
AU - Majdoub L.
AU - Robbana R.
PY - 2012
SP - 3
EP - 14
DO - 10.5220/0004089000030014