The application of module regression testing at TRIUMF

Brown, Pamela; Hoffman, Daniel

doi:10.1016/0168-9002(90)91464-m

Cited by 8 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Affecting Data Dependence (Affecting DD) Let t i be an added or a changed transition, and v be a variable in MM, then there exists an Affecting DD from t j to t i w.r.t. v in MM iff (1) there is a DD(t j , t i ,v) in MM, and (2) if t i is a changed transition, changes in t i include addition of a use of v (before v is possibly defined at t i ), or deletion of a def of v before uses of v at t i Affecting Control Dependence (Affecting CD)…”

Section: Effects Of the Model On The Modificationmentioning

confidence: 99%

“…Let t i be a deleted or a changed transition, and v be a variable in OM, then there exists an Affecting GDD from t j to t i w.r.t. v in MM, iff: (1) there is a DD(t j , t i ,v) in OM, (2) there exists a definition-clear path from t j to the starting state of t i w.r.t. v in MM, (3) i(t i ) occurs and c(t i ) evaluates to TRUE at the starting state of t i in MM and (4) if t i is a changed transition, t i does not have a use of v (before v is possibly defined) at t i in MM Affecting Ghost Control Dependence (Affecting GCD)…”

Section: Effects Of the Model On The Modificationmentioning

confidence: 99%

“…In Step (3) of our method, we adapt Rampone's probability-driven greedy algorithm to select a minimum set of test cases from the RTS that covers all IPs generated in Step (2). In our case, the universe U is the set of IPs generated in Step (2). Each test case ts in the given RTS covers several IPs, which is a subset A i of U .…”

Section: • Step (3) Selects a Minimum Set Of Test Cases From The Rts mentioning

confidence: 99%

“…Regression testing is employed to validate the modified software (system under test or SUT, in short) to increase our confidence that the changed parts of the software behave as intended and that the unchanged parts of the software have not been adversely affected by the modifications [1]. The literature on regression testing techniques spans a wide variety of topics (for example [2][3][4][5]). Among these topics, regression test selection has received a great deal of attention [1,[6][7][8].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Regression test suite reduction based on SDL models of system requirements

Chen

Probert

Ural

2009

J. Softw. Maint. Evol.: Res. Pract.

View full text Add to dashboard Cite

This paper proposes a model-based regression test suite reduction method. The proposed method considers an SDL model representing the requirements of a system under test and a set of modifications on this model, applies dependence analysis to identify interaction patterns related to each type of modifications, i.e., adding, deleting, and changing transitions in the SDL model, and reduces the size of a given regression test suite by examining interaction patterns covered by each test case in the test suite. Results of empirical studies are reported. modified to reflect the changes in system requirements. When a system model is changed, modelbased testing techniques can be applied to the modified model, to partially test the SUT with respect to the selected requirements. But the size of such a regression test suite (RTS) may be very large even for relatively small systems [16]. In addition, model-based testing techniques usually attempt to satisfy some coverage criterion for constructing a test suite [13,15,17,18]. However, an RTS may not need to target the same coverage as an original test suite. This is mainly for two reasons. The first reason is that, only part of the SUT is tested by the RTS to verify that modifications have not caused unintended effects in the SUT and that the SUT complies with the changes in the requirements. The second reason is that, the cost and complexity of frequent regression testing during software maintenance are reduced by minimizing the size of the RTS.In this paper, we propose a method for reducing the size of a given RTS with respect to a given set of modifications to an SDL (Specification Description Language [19]) model of the requirements of an SUT. SDL is an internationally standardized formal description language for specifying the expected behaviour of state-based systems. Often requirements are given in the form of a set of use cases, scenarios expressed in Message Sequence Charts (MSC [20]). These MSCs can then be used to automatically construct an SDL model of the requirements, as done, e.g., by TeleLogic TAU with KLOCwork's MSC2SDL synthesizer integrated [21].The proposed method is an extension of the work of Korel et al. [22] and Xie [23] for test suite reduction. In [22], Korel et al. presented a requirements-based RTS reduction approach utilizing dependence analysis of a given Extended Finite State Machine (EFSM) model on the basis of a given set of modifications. During the traversal of each test case in the given RTS, 'interaction patterns' caused by the modifications are computed and only those test cases such that at least one of their interaction patterns is not produced for any other test case are included in the reduced RTS. In [23], Xie formalized Korel et al.'s approach, defined sub-types of some of the dependencies introduced by Korel et al., and proposed algorithms to exploit these dependencies to reduce the given RTS. Our proposed method differs from the work of Korel et al. [22] and Xie [23] in terms of its coverage: we considered changes in transitions a...

show abstract

Section: Effects Of the Model On The Modificationmentioning

confidence: 99%

Section: Effects Of the Model On The Modificationmentioning

confidence: 99%

Section: • Step (3) Selects a Minimum Set Of Test Cases From The Rts mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Regression test suite reduction based on SDL models of system requirements

Chen

Probert

Ural

2009

J. Softw. Maint. Evol.: Res. Pract.

View full text Add to dashboard Cite

show abstract

“…Moreover, it is to ensure that the new changes have not introduced more errors in the software. A quite good amount of research has been conducted in the area of regression testing including traceability of regression [1], test automation, test environment [2], reduction of the code size [3] [4] [5] [6] where several regression testing techniques and tools are used and compared. Regression testing uses the previous test suites to find if the new modification caused errors or not, as such, it would be very expensive to run all the test cases.…”

Section: Introductionmentioning

confidence: 99%

Regression Test-Selection Technique Using Component Model Based Modification: Code to Test Traceability

Saifan¹,

Akour²,

Alazzam³

et al. 2016

ijacsa

View full text Add to dashboard Cite

Abstract-Regression testing is a safeguarding procedure to validate and verify adapted software, and guarantee that no errors have emerged. However, regression testing is very costly when testers need to re-execute all the test cases against the modified software. This paper proposes a new approach in regression test selection domain. The approach is based on metamodels (test models and structured models) to decrease the number of test cases to be used in the regression testing process. The approach has been evaluated using three Java applications. To measure the effectiveness of the proposed approach, we compare the results using the re-test to all approaches. The results have shown that our approach reduces the size of test suite without negative impact on the effectiveness of the fault detection.

show abstract