EPSRC logo

Details of Grant 

EPSRC Reference: GR/N03389/01
Title: TEST CASE EXTRACTION FROM CORRECTNESS PROOFS
Principal Investigator: Maharaj, Dr S
Other Investigators:
Anderson, Professor S
Researcher Co-Investigators:
Project Partners:
Department: Computing Science and Mathematics
Organisation: University of Stirling
Scheme: Standard Research (Pre-FEC)
Starts: 18 December 2000 Ends: 17 March 2004 Value (£): 57,773
EPSRC Research Topic Classifications:
Software Engineering
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
A major difficulty in software testing is finding ways to select test data which is effective at detecting flaws without requiring an excessive number of tests. Formal proof represents a competing method for achieving dependable software. However, formal proof usually focuses on abstract models of systems rather than complete, concrete implementations. Our goal is to develop ways to extract from a formal proof information to be used in testing more concrete implementations of the system that has been proved correct.The proposed programme of work is as follows: After an initial period of training for the student, we will carry out small manual case studies. These will focus our techniques by situating them in a specific framework and allowing us to develop specific algorithms. We shall then implement software tolls to perform test case extraction, test case simplification, and test data selection. Next the tools and techniques will be evaluated empirically via larger case studies. This will measure their effectiveness and suggest ways to refine them. Concurrently, we shall conduct a theoretical analysis. This has two facets: development of a new theoretical foundation for our techniques: application of existing theory on evaluating test effectiveness.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.stir.ac.uk