Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Data flow-based test adequacy analysis for languages with pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
A Hybrid Genetic Algorithm for School Timetabling
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Automated Software Test Data Generation for Complex Programs
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Muiltiobjective optimization using nondominated sorting in genetic algorithms
Evolutionary Computation
Control and data flow testing on function block diagrams
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Companion of the 30th international conference on Software engineering
Automated unit and integration testing for component-based software systems
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Software reliability testing covering subsystem interactions
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Reducing test effort: A systematic mapping study on existing approaches
Information and Software Technology
Optimised realistic test input generation using web services
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Hi-index | 0.00 |
This paper presents a technique for automated test data generation applicable to both procedural and object-oriented programs. During the generation, the test cases are optimised such as to maximise structural code coverage by minimising at the same time the number of test cases required. To cope with these two inherently conflicting goals, hybrid self-adaptive and multi-objective evolutionary algorithms are applied. Our approach is based on a preliminary activity that provides support for the automatic instrumentation of source code in order to record the relevant data flow information at runtime. By exclusively utilising the insight gained hereby, test data sets are successively enhanced towards the goals mentioned above. Finally, the efficiency of the test set generated is evaluated in terms of its fault detection capability by means of mutation testing. In addition, the actual coverage percentage achieved is determined by taking into account the results of a static data flow analysis of the system under test. Thanks to the dramatic decrease of effort required for generating and verifying test cases, the technique presented here allows to substantially improve the V&V-phase of complex, safety-relevant software. Preliminary experimental results gained so far are reported in the paper.