Test Generation for Sequential Nets of Abstract State Machines

Arcaini, Paolo; Bolis, Francesco; Gargantini, Angelo

doi:10.1007/978-3-642-30885-7_3

Cited by 6 publications

(18 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It would be desirable to have a method in which the model checking must be executed only on the single machines and not on the product machine; indeed, as we have shown in [5], it is computationally easier to execute the model checker several times over small models, rather than executing it one time over a big model. The method should also provide a mechanism for combining the test suites produced for the single machines in a unique test suite to use for testing the whole system; the time taken by the combination of the test suites should be negligible.…”

Section: Test Generation For Sequential Nets Of Asmsmentioning

confidence: 99%

“…For this kind of nets, we proposed a test suite generation method in [5]. Given the independent sequential net tM 1 , .…”

Section: Generating Test Suites In Absence Of Information Flowmentioning

confidence: 99%

“…In these cases, a machine could not be covered since it never receives the control from another machine. See [5] for a detailed discussion about preservable criteria which, however, are quite rare in practice.…”

Section: Threats To Validitymentioning

confidence: 99%

“…In this paper, we extend the approach in [5] by allowing information passing among the machines: the active machine decides the next machine and also its initial state by setting some location values as in classical valuepassing of programming languages. This situation often occurs when modeling complex systems.…”

Section: Introductionmentioning

confidence: 99%

“…4, that builds tests for single submodels and combine them in order to obtain valid system traces. Differently from [5], the test generation and test combination are performed at the same time, in order to visit the ASM only starting from valid initial states. We present several policies in which the ac-tivities of test generation and combination can be performed together.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

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

Arcaini

Gargantini

2014

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Test Generation For Sequential Nets Of Asmsmentioning

confidence: 99%

“…For this kind of nets, we proposed a test suite generation method in [5]. Given the independent sequential net tM 1 , .…”

Section: Generating Test Suites In Absence Of Information Flowmentioning

confidence: 99%

Section: Threats To Validitymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

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

Arcaini

Gargantini

2014

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

An Abstraction Technique for Testing Decomposable Systems by Model Checking

2014

Self Cite

View full text Add to dashboard Cite

Abstract. Test generation by model checking exploits the capability of model checkers to return counterexamples upon property violations. The approach suffers from the state explosion problem of model checking. For property verification, different abstraction techniques have been proposed to tackle this problem. However, such techniques are not always suitable for test generation. In this paper we focus on Decomposable by Dependency Asynchronous Parallel (DDAP) systems, composed by several subsystems running in parallel and connected together in a way that the inputs of one subsystem are provided by another subsystem. We propose a test generation approach for DDAP systems based on a decompositional abstraction that considers one subsystem at a time. It builds tests for the single subsystems and combines them later in order to obtain a global system test. Such approach avoids the exponential increase of the test generation time and memory consumption. The approach is proved to be sound, but not complete.

show abstract

Model-Driven Testing for Web Applications Using Abstract State Machines

Bolis

Gargantini

Guarnieri

et al. 2012

Current Trends in Web Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. The increasing di usion and importance of Web Applications has led to strict requirements in terms of continuity of the service, because their unavailability can lead to severe economic losses. Techniques to assure the quality of these applications are thus needed in order to identify in advance possible faults. Model-driven approaches to the testing of Web Applications can provide developers with a way of checking the conformance of the actual Web Application with respect to the model built from the requirements. These approaches can be used to automatically generate from the model a set of test cases satisfying certain coverage criteria, and thus can be integrated in a classical test driven development process. In this paper we present an automated technique for Web Application testing using a model-driven approach. We present a way of modeling Web Applications by Abstract State Machines (ASMs), and a process for generating automatically from the model a concrete test suite that is executed on the Web Application under test in order to check the conformance between the application and the model. MBT can be used also in the other two scenarios presented above: (a) if the Web Application is developed by using a model-driven technique, our approach can be applied to check the correctness of the model-to-code transformations;(b) if the model is automatically built from the application, then our approach can be used to generate test suites for regression testing.This development process works better than the classical TDD if maintaining the model, deriving the abstract test cases, and transforming them in concrete test cases is easier than maintaining the test suite. To this aim, the following features of the proposed process are critical: (1) the model must be written in a notation powerful enough to express any behavior of the Web Application, and at the same time abstract enough to ease the process of model de nition; (2) it must be possible to automatically analyze and execute the models in order to nd faults in them and to gain con dence that they capture the intended behavior of the application; (3) the test generation process must be automatized; (4) the concretization of the abstract tests must be automatized and the resulting tests must be automatically executed.In this paper we propose a model-based approach to Web Application testing that uses sequential nets of ASMs and satis es all the features listed above. Section 2 presents some background about ASMs, whereas in Section 3 we present our model based approach including a technique to model Web Applications by ASMs and how to generate and execute tests for Web Applications. In Section 4 we present an example of our approach. Section 5 presents the related work, whereas in Section 6 we draw some conclusions and present future work.2 Background

show abstract

Test Generation for Sequential Nets of Abstract State Machines

Cited by 6 publications

References 11 publications

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

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

An Abstraction Technique for Testing Decomposable Systems by Model Checking

Model-Driven Testing for Web Applications Using Abstract State Machines

Contact Info

Product

Resources

About