| EPSRC Reference: |
GR/N03389/01 |
| Title: |
TEST CASE EXTRACTION FROM CORRECTNESS PROOFS |
| Principal Investigator: |
Maharaj, Dr S |
| Other Investigators: |
|
| 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: |
|
| 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 |