Towards Minimization of Test Sets for Coverage Testing of Interactive Systems
نویسندگان
چکیده
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and, complementarily, the fault model of the system under test (SUT). Structural features of the SUT are exploited in order to decrease the complexity of the introduced algorithms. The approach is extended to UML statecharts to increase its applicability.
منابع مشابه
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering als...
متن کاملLook up Table Based Low Power Analog Circuit Testing
In this paper, a method of low power analog testing is proposed. In spite of having Oscillation Based Built in Self-Test methodology (OBIST), a look up table based (LUT) low power testing approach has been proposed to find out the faulty circuit and also to sort out the particular fault location in the circuit. In this paper an operational amplifier, which is the basic building block in the ana...
متن کاملTest Cost Reduction for Interactive Systems
A model-based approach for minimization of test sets for human-computer interactions is introduced. Test cases are efficiently generated and selected to cover the behavioral model of the system under test (SUT) and its fault model that is constructed by complementing the original model. Results known from statebased conformance testing and graph theory are used and extended to construct algorit...
متن کاملTest Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
An important question in software testing is whether it is reasonable to apply coverage based criteria as a lter to reduce the size of a test set. An empirical study was conducted using a test set minimization technique to explore the eeect of reducing the size of a test set, while keeping block coverage constant, on the fault detection strength of the resulting minimized test set. Two types of...
متن کاملGenetic Algorithm for Automatic Generation of Representative Test Suite for Mutation Testing
Discovering bugs in software towards quality of software is given paramount importance in research arena. Towards this end automatic test case generation became essential as manual test data generation and adding test oracles is tedious task. It is more so when there are no formal specifications to unearth the faults in test outcome. Therefore, it is important to generate representative test se...
متن کامل