Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing

This paper presents a method for test scenario generation based on formal specifications and usage profiles. It is a major component of a framework for testing object-oriented programs. In this framework, the requirements of a software system are formally specified. The anticipated application of the system is expressed in a usage profile, which is a state model that indicates the dynamic behavior of the system and execution probabilities for the behaviors. The state model is used as a guide to derive the anticipated operation scenarios. An enhanced state transition diagram is used to represent the state model, which incorporates hierarchy, usage and parameter information. Since the number of feasible scenarios can be extremely large, probability and importance criteria are used to select the most probable and important scenarios.

Download Full-text

Model-based regression test suite generation using dependence analysis

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291541 ◽

2007 ◽

Cited By ~ 23

Author(s):

Yanping Chen ◽

Robert L. Probert ◽

Hasan Ural

Keyword(s):

Test Suite ◽

Dependence Analysis ◽

Model Based ◽

Regression Test ◽

Test Suite Generation

Download Full-text

Testing object-oriented programs: from formal specification to test scenario generation

Journal of Systems and Software ◽

10.1016/s0164-1212(98)10005-5 ◽

1998 ◽

Vol 42 (2) ◽

pp. 141-151 ◽

Cited By ~ 12

Author(s):

Kai H. Chang ◽

Shih-Sung Liao ◽

Stephen B Seidman ◽

Richard Chapman

Keyword(s):

Formal Specification ◽

Object Oriented ◽

Scenario Generation ◽

Test Scenario

Download Full-text

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs

Advances in Software Engineering ◽

10.1155/2016/7132404 ◽

2016 ◽

Vol 2016 ◽

pp. 1-20 ◽

Cited By ~ 3

Author(s):

S. Panda ◽

D. Munjal ◽

D. P. Mohapatra

Keyword(s):

Impact Analysis ◽

Object Oriented ◽

Test Suite ◽

Optimal Order ◽

Test Case ◽

Test Cases ◽

Test Case Prioritization ◽

Regression Test ◽

Static Approach ◽

Change Impact

Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are more prone to errors and will detect more errors if executed early during the testing process. Finding an optimal order of execution for the selected regression test cases saves time and cost of retesting. This paper presents a static approach to prioritizing the test cases by computing the affected component coupling (ACC) of the affected parts of object-oriented programs. We construct a graph named affected slice graph (ASG) to represent these affected program parts. We determine the fault-proneness of the nodes of ASG by computing their respective ACC values. We assign higher priority to those test cases that cover the nodes with higher ACC values. Our analysis with mutation faults shows that the test cases executing the fault-prone program parts have a higher chance to reveal faults earlier than other test cases in the test suite. The result obtained from seven case studies justifies that our approach is feasible and gives acceptable performance in comparison to some existing techniques.

Download Full-text