| EPSRC Reference: |
GR/K63702/01 |
| Title: |
TEST AUTOMATION FOR VERIFICATION OF NON-FUNCTIONAL PROPERTIES |
| Principal Investigator: |
McDermid, Professor JA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
ROPA |
| Starts: |
01 January 1996 |
Ends: |
31 October 1997 |
Value (£): |
124,406
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of this project is to develop new techniques for automating the generation and analysis of tests for non-functional program properties, particularly worst case execution time and resource usage, and to validate them on real-world examples. Testing of functional properties is well-understood but non-functional properties are often addressed in an ad hoc and costly manner. This project will build on advances in static program analysis to derive new techniques for automating the testing of non-functional properties.
|
|
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.york.ac.uk |