Evolutionary Functional Testing of an Automated Parking System

Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully applied evolutionary algorithms for test data generation. However, none of these papers address functional testing the testing of the system's logical behavior on the basis of the system specification which is, in practice, the most important and most common class of the methods. In this work we present the application of evolutionary testing to the functional testing of an automatic parking system which could automate the parking procedure in future cars. A test environment is described which automatically generates interesting driving maneuvers, performs a simulation of the system with the generated maneuvers and continuously improves the test quality.

[1]  Matthias Grochtmann,et al.  Systematic Testing of Real-Time Systems , 2000 .

[2]  John J. Grefenstette,et al.  Test and evaluation by genetic algorithms , 1993, IEEE Expert.

[3]  B. F. Jones,et al.  The Automatic Generation Of Software Test Data Sets Using Adaptive Search Techniques , 1970 .

[4]  Leonardo Bottaci,et al.  A Genetic Algorithm Fitness Function for Mutation Testing , 2001 .

[5]  John A. Clark,et al.  An automated framework for structural test-data generation , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[6]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[7]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[8]  Joachim Wegener,et al.  A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints , 2004, Real-Time Systems.

[9]  Bryan F. Jones,et al.  Automatic structural testing using genetic algorithms , 1996, Softw. Eng. J..

[10]  Harmen-Hinrich Sthamer,et al.  The automatic generation of software test data using genetic algorithms , 1995 .

[11]  Joachim Wegener,et al.  Evolutionary test environment for automatic structural testing , 2001, Inf. Softw. Technol..

[12]  Matthias Grochtmann,et al.  Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing , 1998, Real-Time Systems.

[13]  Gary McGraw,et al.  Generating Software Test Data by Evolution , 2001, IEEE Trans. Software Eng..

[14]  Bryan F. Jones,et al.  Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems , 2000, IEE Proc. Softw..

[15]  Peter P. Puschner,et al.  Testing the results of static worst-case execution-time analysis , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[16]  Roy P. Pargas,et al.  Test‐data generation using genetic algorithms , 1999, Softw. Test. Verification Reliab..