EPSRC logo

Details of Grant 

EPSRC Reference: GR/M76775/01
Title: HIGH RELIABILITY TESTING FOR COMPLEX SOFTWARE USING BAYESIAN GRAPHICAL MODELLING AND PROGRAM COMPREHENSION
Principal Investigator: Goldstein, Professor M
Other Investigators:
Munro, Professor M Wooff, Professor D Coolen, Professor F
Researcher Co-Investigators:
Project Partners:
BT
Department: Mathematical Sciences
Organisation: Durham, University of
Scheme: Standard Research (Pre-FEC)
Starts: 01 October 1999 Ends: 30 September 2002 Value (£): 145,729
EPSRC Research Topic Classifications:
Statistics & Appl. Probability
EPSRC Industrial Sector Classifications:
Communications Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
Software reliability is a problem of enormous practical importance. However, in most software testing, there is no quantification of the uncertainties associated with potential software failures. We address the problem of rigorously and efficiently testing complex systems such as computer software. We construct generalised Bayesian graphical models for system testing, synthesising probabilistic, Bayes linear, and imprecise components reflecting partial knowledge of the complex system. These models combine expert prior judgements with logical information about the structure of the software as provided by program comprehension analysis, to provide a unified framework for software comprehension. We shall develop a design methodology for these generalised graphical models, which is appropriate both for early stages of testing, where we must identify major faults as quickly as possible, and also for testing to high reliability later in the development cycle, where we must be confident that the system is acceptable if it successfully passes the final testing stage. The methodology may be adapted to cover many types of complex system which must be tested to high reliability under severe time constraints. The approach will be tested on a series of case studies provided by our collaborator BT.
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: