Abstract
Reactive systems may be composed of a number of concurrent processes and network distributed services, where interruptions in a flow of execution can occur at any time. These systems are very difficult to test. One of the reasons is that the possible number of combinations of allowed interruptions at different points of a flow of execution is huge. This makes exhaustive specification of each possibility infeasible. Without a specification, automated test case generation and selection is compromised. This work presents a strategy for testing interruptions in reactive systems that covers modelling (devoted to testing) of systems with interruptions, generation and selection of sound test cases. The strategy is supported by the LTS-BT tool. A case study is presented to illustrate its applicability in the mobile phone application domain.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hartman, A., Nagin, K.: The agedis tools for model based testing. SIGSOFT Softw. Eng. Notes 29(4), 129–132 (2004)
Cartaxo, E.G., Andrade, W.L., Neto, F.G.O., Machado, P.D.L.: LTSBT: A tool to generate and select functional test cases for embedded systems. In: SAC 2008: Proceedings of the 2008 ACM symposium on Applied computing, vol. 2, pp. 1540–1544. ACM Press, New York (2008)
Cabral, G., Sampaio, A.: Formal specification generation from requirement documents. In: Brazilian Symp. on Formal Methods (SBMF), Natal, pp. 217–232 (2006)
de Figueiredo, A.L.L., Andrade, W.L., Machado, P.D.L.: Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes 31(6), 1–10 (2006); Proceedings of the AMOST 2006
Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 127–146. Springer, Heidelberg (1996)
Jard, C., Jéron, T.: TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)
Lorentsen, L., Tuovinen, A.P., Xu, J.: Modelling feature interactions in mobile phones. In: Feature Interaction in Composed Systems (ECOOP 2001), Budapest, Hungary, pp. 7–13 (2001)
Schneider, S.: Concurrent and Real-Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York (2000)
Jovanovic, D.S., Orlic, B., Broenink, J.F.: On issues of constructing an exception handling mechanism for csp-based process-oriented concurrent software. In: Proc. of Comm. Process Architectures CPA 2005, Eindhoven, pp. 18–21. IOS Press, Amsterdam (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrade, W.L., Machado, P.D.L. (2009). Interruption Testing of Reactive Systems. In: Oliveira, M.V.M., Woodcock, J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10452-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-10452-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10451-0
Online ISBN: 978-3-642-10452-7
eBook Packages: Computer ScienceComputer Science (R0)