Model-based regression test suite generation using dependence analysis

Abstract

A regression test suite (RTS) is constructed to ensure that the changed parts of the system under test (SUT) behave as desired and that the unchanged parts of the SUT are not adversely affected. Model-based testing is a system testing technique in which systems are modeled by formal description languages, e.g., Extended Finite State Machine (EFSM) models. In this paper, a model-based RTS generation method based on EFSM dependence analysis is proposed. Twelve types of dependences are identified related to three types of elementary modifications (EMs), i.e., adding, deleting, and changing transitions in an EFSM model representing an SUT. These dependences capture the effects of the model on the EMs, the effects of the EMs on the model, and the side-effects of the EMs. The proposed method constructs an RTS by covering all occurrences of these dependences caused in a given EFSM model by a given set of EMs.

An Effective Regression Testing Approach for PHP Web Applications

“…Recently, researchers have started working on test suite augmentation techniques which create new test cases for areas that have been affected by changes [6], [7], [9], [8], [29]. Apiwattanapong et al [6] and Santelices et al [7] present an approach to identify areas affected by code changes using program dependence analysis and symbolic execution, and provide test requirements for changed software.…”

“…dynamic programming languages deployed using multitier architecture). Chen et al [29] present a model-based approach that generates a regression test suite using dependence analysis of the modified elements in the model.…”

Automating regression test selection based on UML designs

“…A new invariant may require that the operation be changed to preserve that new invariant after execution. 8 Definition 9. Given I the set of class invariants and R IC the relation that defines invariants in classes, some of the elements of R c OC are identified using the following rule:…”

“…8 This is a rough assumption since a changed invariant may not affect some operations. Future work will look into refining this definition and precisely identifying which operations are impacted or not by changes to invariants.…”

A safe regression testing approach for safety critical systems

“…In our case mentioned above change is syntactical which has no impact on the semantics of the operation so operation is added to the unchanged operation list by the semantic checker in our proposed approach. All test cases of that operation are same as for the baseline version and test cases for that operation are selected by the regression test selector [22,19,23,24].…”