Mutation Testing Applied to Estelle Specifications
Software Quality Control
An Overview of Evolutionary Computation
ECML '93 Proceedings of the European Conference on Machine Learning
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Formulation of the Interaction Test Coverage Problem as an Integer Program
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Test Selection, Trace Distance and Heuristics
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Automatic test selection based on CEFSM specifications
Acta Cybernetica
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Specification and simulation of real time concurrent systems using standard SDL tools
SDL'03 Proceedings of the 11th international conference on System design
Hi-index | 0.00 |
Standardized languages used for protocol specification provide an excellent basis for both automatic and manual test generation. Test generation is composed of two steps, the derivation of test cases from the specification, and the selection of the test cases to be included in the final test suite in order to reduce its execution time. This article proposes a new method that aims to decrease the total number of test cases generated automatically by a test derivation algorithm and at the same time to reduce the computation requirements for the test selection procedure. It creates an iteration cycle on the model of evolutionary algorithms, where the test derivation and selection are done simultaneously. In each cycle first a ''small'' test suite is derived then optimized, evaluated and finally compared to the best suite so far. It is kept as the best suite, if it is found better according to some well-defined evaluation criteria and test suite metrics. This iteration condition is based on the test selection criteria. The article presents an experiment where iterative algorithms are compared to two simple test derivation methods from different aspects.