{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:21:35Z","timestamp":1742397695893,"version":"3.38.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/s00165-011-0197-0","type":"journal-article","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T03:34:03Z","timestamp":1316057643000},"page":"331-353","source":"Crossref","is-referenced-by-count":5,"title":["Testing interruptions in reactive systems"],"prefix":"10.1145","volume":"24","author":[{"given":"Wilkerson L.","family":"Andrade","sequence":"first","affiliation":[{"name":"Software Practices Laboratory (SPLAB), Systems and Computing Department (DSC), Federal University of Campina Grande (UFCG), CEP 58429-900, Av.Apr\u00edgio Veloso, 882 Bairro Universit\u00e1rio, Campina Grande, PB, Brazil"}]},{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"additional","affiliation":[{"name":"Software Practices Laboratory (SPLAB), Systems and Computing Department (DSC), Federal University of Campina Grande (UFCG), CEP 58429-900, Av.Apr\u00edgio Veloso, 882 Bairro Universit\u00e1rio, Campina Grande, PB, Brazil"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814105"},{"key":"e_1_2_1_2_2_2","first-page":"37","volume-title":"Formal methods: foundations and applications. 12th Brazilian symposium on formal methods. Lecture notes in computer science, vol 5902","author":"Andrade WL","year":"2009"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Bryce RC Colbourn CJ (2005) Test prioritization for pairwise interaction coverage. In: A-MOST \u201905: Proceedings of the first international workshop on advances in model-based testing pp 1\u20137 New York NY USA. ACM Press","DOI":"10.1145\/1083274.1083275"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/338330"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Cartaxo EG Andrade WL Neto FGO Machado PDL (2008) LTSBT: a tool to generate and select functional test cases for embedded systems. In: SAC\u201908: Proceedings of the 2008 ACM symposium on applied computing vol 2. ACM Press New York pp 1540\u20131544","DOI":"10.1145\/1363686.1364045"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Cohen MB Gibbons PB Mugridge WB Colbourn CJ (2003) Constructing test suites for interaction testing. In: ICSE \u201903: Proceedings of the 25th international conference on software engineering Washington DC USA. IEEE Computer Society pp 38\u201348","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"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. doi:10.1002\/stvr.413","DOI":"10.1002\/stvr.413"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.032"},{"issue":"6","key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1218776.1218788","article-title":"Generating interaction test cases for mobile phone systems from use case specifications","volume":"31","author":"Figueiredo ALL","year":"2006","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"e_1_2_1_2_10_2","unstructured":"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\u201901) vol NS-01-4 of BRICS notes series. Aarhus Denmark pp 61\u201376 August 2001"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/263244.263267"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"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\u2013163","DOI":"10.1007\/978-3-540-24617-6_11"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007529"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"},{"key":"e_1_2_1_2_17_2","unstructured":"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\u201321"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.5555\/984434"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"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 \u201901: Proceedings of the 16th IEEE international conference on automated software engineering Washington DC USA. IEEE Computer Society pp 127\u2013134","DOI":"10.1109\/ASE.2001.989798"},{"key":"e_1_2_1_2_20_2","unstructured":"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\u20192007) Boston Massachusetts USA. Knowledge Systems Institute Graduate School pp 129\u2013134"},{"key":"e_1_2_1_2_21_2","unstructured":"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\u201313"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Li Q Yao C (2003) Real-time concepts for embedded systems. CMP Books","DOI":"10.1201\/9781482280821"},{"key":"e_1_2_1_2_23_2","unstructured":"Machado PDL Sampaio ACA (2009) Automatic test case generation. Pernambuco Summer School on Software Testing PSSE07. LNCS series. Springer (to be published)"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.001"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"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\u2013273","DOI":"10.1007\/978-3-540-85762-4_18"},{"key":"e_1_2_1_2_26_2","unstructured":"Roscoe AW Hoare CAR Bird R (1997) The theory and practice of concurrency. Prentice Hall PTR Upper Saddle River"},{"volume-title":"Concurrent and real-time systems: the CSP approach","year":"2000","author":"Schneider S","key":"e_1_2_1_2_27_2"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Torres D Leitao D Barros F (2006) Motorola SpecNL: a hybrid system to generate nl descriptions from test case specifications. In: HIS \u201906: Proceedings of the sixth international conference on hybrid intelligent systems Washington DC USA. IEEE Computer Society p 45","DOI":"10.1109\/HIS.2006.264928"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(96)00017-7"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Tretmans J (1996) Test generation with inputs outputs and quiescence. In: TACAs \u201996: Proceedings of the second international workshop on tools and algorithms for construction and analysis of systems London UK. Springer pp 127\u2013146","DOI":"10.1007\/3-540-61042-1_42"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"Tretmans J (1999) Testing concurrent systems: a formal approach. In: CONCUR \u201999: Proceedings of the 10th international conference on concurrency theory London UK. Springer pp 46\u201365","DOI":"10.1007\/3-540-48320-9_6"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-011-0197-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-011-0197-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-011-0197-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T00:15:37Z","timestamp":1741652137000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-011-0197-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["10.1007\/s00165-011-0197-0"],"URL":"https:\/\/doi.org\/10.1007\/s00165-011-0197-0","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}