Testing interruptions in reactive systems
Pages 331 - 353
Abstract
Modelling and testing of reactive systems with interruptions are discussed. These systems are commonly found in portable devices, where interruptions to a running application can be demanded at any time, due to concurrent execution of processes sharing a single resource, such as screen, as well as arrival of calls from network distributed services. Since the possible number of combinations of allowed interruptions is large, proper test case selection activities need to be performed. But, in order to systematically investigate and select test cases, it is fundamental to explicitly model interruption behaviour in a compositional way, avoiding the need for explicit enumeration. This work presents a strategy for testing interruptions in reactive systems that covers modelling for testing of systems with interruptions, generation and selection of sound test cases. The strategy is supported by the LTS-BT tool. Moreover, a formal model of an environment devoted to execution of test cases with interruptions is presented. Finally, a case study illustrates its applicability in the mobile phone application domain.
References
References
[1]
Aceto L, Ingólfsdóttir A, Larsen KG, and Srba J Reactive systems: modelling, specification and verification 2007 Cambridge University Press
[2]
Andrade WL and Machado PDL Oliveira MVM and Woodcock J Interruption testing of reactive systems Formal methods: foundations and applications. 12th Brazilian symposium on formal methods. Lecture notes in computer science, vol 5902 2009 Berlin Springer 37-53
[3]
Bryce RC, Colbourn CJ (2005) Test prioritization for pairwise interaction coverage. In: A-MOST ’05: Proceedings of the first international workshop on advances in model-based testing, pp 1–7, New York, NY, USA. ACM Press
[4]
Binder RV Testing object-oriented systems: models, patterns, and tools 1999 Boston Addison-Wesley
[5]
Cartaxo EG, Andrade WL, Neto FGO, Machado PDL (2008) LTSBT: a tool to generate and select functional test cases for embedded systems. In: SAC’08: Proceedings of the 2008 ACM symposium on applied computing, vol 2. ACM Press, New York, pp 1540–1544
[6]
Cohen MB, Gibbons PB, Mugridge WB, Colbourn CJ (2003) Constructing test suites for interaction testing. In: ICSE ’03: Proceedings of the 25th international conference on software engineering, Washington, DC, USA. IEEE Computer Society, pp 38–48
[7]
Cartaxo EG, Machado PDL, Neto FGO (2009) On the use of a similarity function for test case selection in the context of model-based testing. Softw Testing Verif Reliab.
[8]
Cabral G and Sampaio A Formal specification generation from requirement documents Electron Notes Theor Comput Sci 2008 195 171-188
[9]
Figueiredo ALL, Andrade WL, and Machado PDL Generating interaction test cases for mobile phone systems from use case specifications SIGSOFT Softw Eng Notes 2006 31 6 1-10 Proceedings of the AMOST’2006
[10]
de Vries RG, Tretmans J (2001) Towards formal test purposes. In: Proceedings of 1st international workshop on formal approaches to testing of software 2001 (FATES’01), vol NS-01-4 of BRICS notes series. Aarhus, Denmark, pp 61–76, August 2001
[11]
Fink G and Bishop M Property-based testing: a new approach to testing for assurance SIGSOFT Softw Eng Notes 1997 22 4 74-80
[12]
Fernandez J-C, Mounier L, Pachon C (2004) Property oriented test case generation. In: Formal approaches to software testing. Proceedings of FATES 2003. Lecture notes in computer science, vol 2931, Montreal, Canada. Springer, pp 147–163
[13]
Halbwachs N Synchronous programming of reactive systems 1993 Berlin Springer
[14]
Hartman A and Nagin K The AGEDIS tools for model based testing SIGSOFT Softw Eng Notes 2004 29 4 129-132
[15]
Hoare CAR (1985) Communicating sequential processes. Prentice Hall
[16]
Jard C and 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 2005 7 4 297-315
[17]
Jovanovic DS, Orlic B, Broenink JF (2005) On issues of constructing an exception handling mechanism for CSP-based process-oriented concurrent software. In: Proceedings of communicating process architectures CPA 2005, Eindhoven, NL. IOS Press, pp 18–21
[18]
Laplante PA Real-time system design and analysis 2004 New York Wiley
[19]
Ledru Y, du Bousquet L, Bontron P, Maury O, Oriat C, Potet M-L (2001) Test purposes: adapting the notion of specification to testing. In: ASE ’01: Proceedings of the 16th IEEE international conference on automated software engineering, Washington, DC, USA. IEEE Computer Society, pp 127–134
[20]
Leitao D, Torres D, Barros F (2007) NLForSpec: translating natural language descriptions into formal test case specifications. In: Proceedings of the nineteenth international conference on software engineering & knowledge engineering (SEKE’2007), Boston, Massachusetts, USA. Knowledge Systems Institute Graduate School, pp 129–134
[21]
Lorentsen L, Tuovinen A-P, Xu J (2001) Modelling feature interactions in mobile phones. In: Feature interaction in composed systems (ECOOP 2001), Budapest, Hungary, pp 7–13
[22]
Li Q, Yao C (2003) Real-time concepts for embedded systems. CMP Books
[23]
Machado PDL, Sampaio ACA (2009) Automatic test case generation. Pernambuco Summer School on Software Testing PSSE07. LNCS series. Springer (to be published)
[24]
Machado PDL, Silva DA, and Mota AC Towards property oriented testing Electron Notes Theor Comput Sci 2007 184 3-19
[25]
Nogueira S, Sampaio A, Mota A (2008) Guided test generation from CSP models. In: Proceedings of the 5th international colloquium on theoretical aspects of computing. Springer, Berlin, Heidelberg, pp 258–273
[26]
Roscoe AW, Hoare CAR, Bird R (1997) The theory and practice of concurrency. Prentice Hall PTR, Upper Saddle River
[27]
Schneider S Concurrent and real-time systems: the CSP approach 2000 New York Wiley
[28]
Torres D, Leitao D, Barros F (2006) Motorola SpecNL: a hybrid system to generate nl descriptions from test case specifications. In: HIS ’06: Proceedings of the sixth international conference on hybrid intelligent systems, Washington, DC, USA. IEEE Computer Society, p 45
[29]
Tretmans J Conformance testing with labelled transition systems: implementation relations and test generation Comput Netw ISDN Syst 1996 29 1 49-79
[30]
Tretmans J (1996) Test generation with inputs, outputs, and quiescence. In: TACAs ’96: Proceedings of the second international workshop on tools and algorithms for construction and analysis of systems, London, UK. Springer, pp 127–146
[31]
Tretmans J (1999) Testing concurrent systems: a formal approach. In: CONCUR ’99: Proceedings of the 10th international conference on concurrency theory, London, UK. Springer, pp 46–65
Index Terms
- Testing interruptions in reactive systems
Index terms have been assigned to the content through auto-classification.
Recommendations
Generating test case chains for reactive systems
Testing of reactive systems is challenging because long input sequences are often needed to drive them into a state to test a desired feature. This is particularly problematic in on-target testing, where a system is tested in its real-life application ...
Effects of content and time of delivery on receptivity to mobile interruptions
MobileHCI '10: Proceedings of the 12th international conference on Human computer interaction with mobile devices and servicesIn this paper we investigate effects of the content of interruptions and of the time of interruption delivery on mobile phones. We review related work and report on a naturalistic quasi-experiment using experience-sampling that showed that the ...
Model-based testing leveraged for automated web tests
AbstractAgile methods and their practices have fostered the widespread presence of automated test cases. Such test cases have been successfully and extensively adopted to test different software levels, from unit tests (e.g., JUnit) to end-to-end Web ...
Comments
Information & Contributors
Information
Published In
© British Computer Society 2011.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 May 2012
Accepted: 01 November 2010
Revision received: 23 August 2010
Received: 10 March 2010
Published in FAC Volume 24, Issue 3
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 38Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)4
Reflects downloads up to 03 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in