Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Testing real-time systems using genetic algorithms
Software Quality Control
Fitness Function Design To Improve Evolutionary Structural Testing
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Selective Integration of Formal Methods in the Development of Electronic Control Units
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Side-Effect Removal Transformation
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Evolutionary Testing Using an Extended Chaining Approach
Evolutionary Computation
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
A systematic review of search-based testing for non-functional system properties
Information and Software Technology
Evolutionary functional testing of continuous control systems
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Testability transformation: program transformation to improve testability
Formal methods and testing
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Evolutionary functional black-box testing in an industrial setting
Software Quality Control
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focuses on searching for a high coverage of the test object by generating separate inputs for single function calls. We have identified a large set of real world application for which this approach does not perform well because only sequential calls of the tested function can reach a high structural coverage (white box test) or can check functional behavior (black box tests). Especially, control software which is responsible for controlling and constraining a system cannot be tested successfully with ET. Such software is characterized by storing internal data during a sequence of calls. In this paper we present the Evolutionary Sequence Testing approach for white box and black box tests. For automatic sequence testing, a fitness function for the application of ET will be introduced, which allows the optimization of input sequences that reach a high coverage of the software under test. The authors also present a new compact description for the generation of real-world input sequences for functional testing. A set of objective functions to evaluate the test output of systems under test have been developed. These approaches are currently used for the structural and safety testing of car control systems.