The Event-Flow Technique for Selecting Test Cases for Object-Oriented Programs
نویسنده
چکیده
We present a technique, termed event-flow, for selecting system level test cases using a hierarchical state machine model of the system. The strategy is to require test cases which stress the interactions between related events rather than to simply exercise each transition in the model. Event-flow selects test cases which are functionally meaningful to the system level tester.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملClass Level Test Case Generation in Object Oriented Software Testing
Object-oriented programming consists of several different levels of abstraction, namely, the algorithmic level, class level, cluster level, and system level. In this article, we discuss a testing technique to generate test cases at class level for object-oriented programs. The formal object oriented class specification is used to develop a test model. This test model is based on finite state ma...
متن کاملSelecting Test Cases for Object Oriented Programs
Testing is used to assess the correctness of a program by running the program against a set of test data. The main problem in testing is that only a tiny fraction of the possible inputs of a program can be used to test it. Test selection techniques choose the test cases using models of the program and the bug distribution. Many different test selection techniques have been proposed. Each test s...
متن کاملRegression Test Selection for C++ Software
Regression testing is an important but expensive software maintenance activity performed with the aim of providing confidence in modified software. Regression test selection techniques reduce the cost of regression testing by selecting test cases for a modified program from a previously existing test suite. Many researchers have addressed the regression test selection problem for procedural lan...
متن کامل