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 sequential 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.
Test Generation for Sequential Nets of Abstract State Machines / P. Arcaini, F. Bolis, A. Gargantini - In: Abstract state machines, alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / [a cura di] J. Derrick, J. Fitzgerald, S. Gnesi. - New York : Springer, 2012. - ISBN 9783642308840. - pp. 36-50 (( Intervento presentato al 3. convegno International Conference ABZ tenutosi a Pisa nel 2012 [10.1007/978-3-642-30885-7_3].
Test Generation for Sequential Nets of Abstract State Machines
P. ArcainiPrimo
;
2012
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 sequential 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.File | Dimensione | Formato | |
---|---|---|---|
testSeqMachinesasm12_cameraReady.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
486.91 kB
Formato
Adobe PDF
|
486.91 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.