EPSRC logo

Details of Grant 

EPSRC Reference: GR/K63702/01
Title: TEST AUTOMATION FOR VERIFICATION OF NON-FUNCTIONAL PROPERTIES
Principal Investigator: McDermid, Professor J
Other Investigators:
Clark, Professor JA
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:
Software Engineering
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