Abstract
The aim of conformance testing is to check whether an implementation conforms to its specification. We are interested to duration systems; we consider a specification of a duration system that is described by a duration graph. Duration graphs are an extension of timed automata and are suitable for modeling the accumulated times spent by computations in duration systems. In this paper, we propose a framework to generate automatically test cases directly from the specification model. In the first, in order to reduce the infinite set of states due to the continuous time, we use a digitization technique. Test cases are given by considering a discrete time and represented with a tree. In the second, we demonstrate that every test cases derived from the test tree corresponds to a digitization test case of the specification model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: 5th Symp. On Logic in Computer Science. IEEE, Los Alamitos (1990)
Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
Bouajjani, A., Echahed, R., Robbana, R.: Verifying Invariance Properties of Timed Systems with Duration Variables. Proc. Formal Techniques in Real-Time and Fault Tolerant Systems, FTRTFTS 1994 (1994)
Briones, L.B.: Theories for model-based testing: real-time and coverage, thesis. University of Twenty (March 2007)
Cerans, K.: Decidability of Bisimulation Equivalence for Parallel timer Processes. In: CAV 1992. LNCS, vol. 663. Springer, Heidelberg (1992)
Cassez, F., Larsen, K.G.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, p. 138. Springer, Heidelberg (2000)
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed Test Cases Generation Based on State Characterization Technique. In: RTSS 1998. IEEE, Los Alamitos (1998)
Henzinger, T., Manna, Z., Pnuelli, A.: What good are digital clocks? In: ICALP 1992. LNCS, vol. 623 (1992)
Hessel, A., Petterson, P.: A Test Case Generation Algorithm for Real-Time Systems. In: Proc. of the 4th International Conference on Quality software, QSIC 2004, pp. 268–273 (2004)
Khoumsi, A., Jéron, T., Marchand, H.: Test Cases Generation for Nondeterministic Real-Time Systems. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 131–146. Springer, Heidelberg (2004)
Krichen, M., Tripakis, S.: Black-Box Conformance Testing for Real-Time Systems. In: SPIN 2004 Workshop on Model Checking Software (2004)
Majdoub, L., Robbana, R.: Testing Duration Systems using an Approximation Method. In: Second International Conference on Dependability of Computer Systems Depcos-RELCOMEX 2007, Szklarska Poreba, Poland, June 207, pp. 119–126 (2007)
Majdoub, L., Robbana, R.: Testing Duration Systems. Journal Européen des Systèmes Automatisés, approches formelles pour la validation de systèmes temps-réel 42(9), 1111–1134 (2008)
Majdoub, L., Robbana, R.: Soundness Test cases Generation for Duration Systems. In: Proc. third International Design and Test Workshop, pp. 57-62, Monastir, Tunisie (December 2008)
Majdoub, L., Robbana, R.: Test Cases Generation for Nondeterministic Duration Systems. In: 7th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems- MSVVEIS 2009, Milan, Italy, May 2009, pp. 14–23 (2009)
Robbana, R.: Verification of Duration Systems using an Approximation Approach. Journal of computer Science and Technology 18(2), 153–162 (2003)
Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Majdoub, L. (2011). A Formal Framework for Testing duration Systems. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds) Dependable Computer Systems. Advances in Intelligent and Soft Computing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21393-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-21393-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21392-2
Online ISBN: 978-3-642-21393-9
eBook Packages: EngineeringEngineering (R0)