DMCA
Test Generation for Sequential Nets of Abstract State Machines with Information Passing (2013)
| Citations: | 4 - 3 self |
BibTeX
@MISC{Arcaini13testgeneration,
author = {Paolo Arcaini and Angelo Gargantini},
title = {Test Generation for Sequential Nets of Abstract State Machines with Information Passing},
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Model-based test generation consists in deriving system traces from specifications of systems under test. There exist several techniques for test generation, which, however, may suffer from scalability problems. In this paper, we assume that the system under test can be divided in several subsystems such that only one subsystem is active at the time. Moreover, each subsystem decides when and to which other subsystem to pass the control, by also initializing the initial state of the next subsystem in a desired way. We model these systems and we show how it is possible to generate tests in a very efficient way that exploits the division of the entire system in subsystems. Test generation for the whole system is performed by visiting each subsystem and generating tests for it. The tests are combined in order to obtain valid system traces. We show how several visiting policies influence the completeness of the test generation process.
Keyphrases
test generation sequential net abstract state machine exist several technique next subsystem system trace desired way initial state test generation process entire system valid system trace whole system scalability problem model-based test generation several subsystem generating test effi-cient way
