A search-based automated test-data generation framework for safety-critical systems

Authors:
Nigel Tracey;John Clark;John McDermid;Keith Mander
Affiliations:
Department of Computer Science, University of York, Heslington, York YO10 5DD;Department of Computer Science, University of York, Heslington, York YO10 5DD;Department of Computer Science, University of York, Heslington, York YO10 5DD;Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF
Venue:
Systems engineering for business process change
Year:
2002

Citing 17
Cited 6

Real-time systems and their programming languages

Real-time systems and their programming languages
Automated Software Test Data Generation

IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation

IEEE Transactions on Software Engineering
Adaptation in natural and artificial systems

Adaptation in natural and artificial systems
Testing: a challenge to method and tool developers

Software Engineering Journal - Special issue on safety-critical systems
Safeware: system safety and computers

Safeware: system safety and computers
The chaining approach for software test data generation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test data generation for programs with procedures

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Genetic algorithms + data structures = evolution programs (3rd ed.)

Genetic algorithms + data structures = evolution programs (3rd ed.)
Automated program flaw finding using simulated annealing

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Software change and evolution (SCE '99)

Proceedings of the 21st international conference on Software engineering
The dynamic domain reduction procedure for test data generation

Software—Practice & Experience
Automated test-data generation for exception conditions

Software—Practice & Experience
Software Testing Techniques

Software Testing Techniques
Testing real-time systems using genetic algorithms

Software Quality Control
The Value of Verification: Positive Experience of Industrial Proof

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Automated Framework for Structural Test-Data Generation

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering

Automatic Timing Model Generation by CFG Partitioning and Model Checking

Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software

Information and Software Technology
A multi-objective evolutionary algorithm to obtain test cases with variable lengths

Proceedings of the 13th annual conference on Genetic and evolutionary computation
A framework for automated generation of examination questions from web based semantically treated search results

Proceedings of the 12th International Conference on Computer Systems and Technologies
Test data regeneration: generating new test data from existing test data

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the results of a three year research program to develop an automated test-data generation framework to support the testing of safety-critical software systems. The generality of the framework comes from the exploitation of domain independent search techniques, allowing new test criteria to be addressed by constructing functions that quantify the suitability of test-data against the test-criteria. The paper presents four applications of the framework - specification falsification testing, structural testing, exception condition testing and worst-case execution time testing. The results of three industrial scale case-studies are also presented to show that the framework offers useful support in the development safety-critical software systems.