Dependence analysis for regression test suite selection and augmentation

Abstract

Using dependence analysis for model-based regression test suite (RTS) selection and augmentation from Extended Finite State Machine (EFSM) representations of system requirements is proposed. Given an EFSM representing the requirements of a system under test (SUT) and a set of modifications (i.e., adding, deleting, and changing transitions) on the EFSM, dependencies between transitions in the EFSM are identified. These dependencies capture the effects of the model on the modifications, the effects of the modifications on the model, and the side-effects of the modifications. The proposed method selects and augments a subset of a given test suite to form an RTS by examining dependencies covered by test cases in the given test suite.