abz12 Arcaini, Paolo Bolis, Francesco Gargantini, Angelo

Test Generation for Sequential Nets of Abstract State Machines

in Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Eds. Derrick, John and Fitzgerald, John and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia) Springer Berlin / Heidelberg, LNCS-Lecture Notes in Computer Science, vol. 7316 (2012): 36-50 ISBN 978-3-642-30884-0

Abstract
Test generation techniques based on model checking suffer from the state space explosion problem. However, for a family of systems that can be easily decomposed in sub-systems, we devise a technique to cope with this problem. To model such systems, we introduce the notion of \emphsequential net of Abstract State Machines (ASMs), which represents a system constituted by a set of ASMs such that only one ASM is active at every time. Given a net of ASMs, we first generate a test suite for every ASM in the net, then we combine the tests in order to obtain a test suite for the entire system. We prove that, under some assumptions, the technique preserves coverage of the entire system. We test our approach on a benchmark and we report a web application example for which we are able to generate complete test suites.


[read the copyright and download the pdf file] [DOI]

My sw links