Keith Mander

Learn More
Structural testing criteria are mandated 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 generalised 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)
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 behaviour.(More)
The conference on grand challenges, held in Newcastle on 30 and 31 March 2004, occurred at a particularly opportune time. The strand on the educational aspects was particularly relevant and the idea innovative in the sense that this was the first occasion on which a grand challenge event with a focus on educational issues in computing had taken place. This(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)
LI SA H A N EY Did it happen? Well, no, not yet anyway. The late 1990s were characterized not by massive unemployment among programmers worldwide but by considerable shortages of such skilled personnel. This was caused in part by the demands of addressing myriad Y2K problems, particularly those relating to longterm legacy software. As these problems passed,(More)
Software implementations are renowned for representing the wrong system. System users suggest that this is because implementations do not match their requirements, while system developers claim that their systems represent what the clients describe. In practice it is difficult for the developer to elicit user requirements reliably. So-called ‘structured’(More)