Learn More
Structural testing criteria are m a n d a t e d in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural coverage metric is labour intensive and expensive. This paper presents an approach to automate the generation of such test-data. The test-data generation is based on the(More)
One of the major costs in a software project is the construction of test-data. This paper outlines a gen-eralised test-case data generation framework based on optimisation techniques. This framework can incorporate a number of testing criteria unifying both functional and non-function testing. Application of the optimisation based approach are given for(More)
One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. The framework can incorporate a number of testing criteria, for both functional and non-functional properties. Application of the optimisation framework to testing(More)
A CIP catalogue record for this book is available at the British Library. All trademarks, registered names etc. acknowledged in this publication to be the property of their respective owners. Disclaimer: Although every care has been taken by the authors and The British Computer Society in the preparation of the publication, no warranty is given by the(More)
SUMMARY This paper presents a technique for automatically generating test-data to test exceptions. The approach is based on the application of a dynamic global optimization based search for the required test-data. The authors' work has focused on test-data generation for safety-critical systems. Such systems must be free from anomalous and uncontrolled(More)
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(More)