| EPSRC Reference: |
GR/R43150/01 |
| Title: |
NETWORK: Formal Methods and Testing (FORTEST) |
| Principal Investigator: |
Hierons, Professor R |
| Other Investigators: |
| Holcombe, Professor WML |
Mander, Professor K |
Bowen, Professor JP |
| Clark, Professor JA |
Cowling, Eur Ing Dr A |
King, Dr S |
| Gheorghe, Professor M |
Simons, Dr AJH |
Derrick, Professor J |
| Woodward, Dr M |
Woodcock, Professor JCP |
Harman, Professor M |
| Holcombe, Professor M |
Bogdanov, Dr K |
|
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Information Systems & Computing |
| Organisation: |
Brunel University London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 2001 |
Ends: |
30 April 2005 |
Value (£): |
63,158
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
FORTEST will build a new community that will explore ways in which formal methods and software testing complement. This will allow these fields to inform one another in a systematic and effective manner and thus facilitate the development of new approaches and techniques that assist the production of high quality software. The significance of this topic and the lack of any large UK groups, working on links between testing and formal methods, make it vital that such a network is established in the near future. The main aims of FORTEST are: to bring together academics and industrialists interested in formal methods and software testing; to stimulate collaboration between individuals and groups in these fields; and to disseminate problems and results to researchers and practitioners in these two fields and to the wider Software Engineering community.The network will focus on the following problems: How can the relationships between formal methods and software testing be utilised? ; How can the software development process be adapted in ways that simplify the utilisation of these relationships? ; and How can techniques, developed to utilise the relationships between formal methods and testing, be automated? .
|
|
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.brunel.ac.uk |