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.

Test generation for sequential nets of Abstract State Machines with information passing

ARCAINI, Paolo;GARGANTINI, Angelo Michele
2014-01-01

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.
journal article - articolo
2014
Arcaini, Paolo; Gargantini, Angelo Michele
File allegato/i alla scheda:
File Dimensione del file Formato  
Gargantini - Test generation for sequential nets of abstract state machines.pdf

Solo gestori di archivio

Descrizione: publisher's version - versione dell'editore
Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 313.82 kB
Formato Adobe PDF
313.82 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/31125
Citazioni
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 6
social impact