Guidelines for the verification and validation of expert system software and conventional software. Volume 7, User`s manual: Final report
Technical Report
·
OSTI ID:80353
- Science Applications International Corp., McLean, VA (United States)
Reliable software is required for nuclear power industry applications. Verification and validation techniques applied during the software development process can help eliminate errors that could inhibit the proper operation of digital systems and cause availability and safety problems. Most of the techniques described in this report are valid for conventional software systems as well as for expert systems. The project resulted in a set of 16 V&V guideline packages and 11 sets of procedures based on the class, development phase, and system component being tested. These guideline packages and procedures help a utility define the level of V&V, which involves evaluating the complexity and type of software component along with the consequences of failure. In all, the project identified 153 V&V techniques for conventional software systems and demonstrated their application to all aspects of expert systems except for the knowledge base, which requires specially developed tools. Each of these conventional techniques covers anywhere from 2-52 total types of conventional software defects, and each defect is covered by 21-50 V&V techniques. The project also identified automated tools to Support V&V activities.
- Research Organization:
- Electric Power Research Inst., Palo Alto, CA (United States); Science Applications International Corp., McLean, VA (United States)
- Sponsoring Organization:
- Electric Power Research Inst., Palo Alto, CA (United States)
- OSTI ID:
- 80353
- Report Number(s):
- EPRI-TR--103331-V7
- Country of Publication:
- United States
- Language:
- English
Similar Records
Guidelines for the verification and validation of expert system software and conventional software. Volume 1: Project summary. Final report
Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1
Guidelines for the verification and validation of expert system software and conventional software: User`s manual. Volume 7
Technical Report
·
Mon May 01 00:00:00 EDT 1995
·
OSTI ID:83817
Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1
Technical Report
·
Tue Feb 28 23:00:00 EST 1995
·
OSTI ID:42512
Guidelines for the verification and validation of expert system software and conventional software: User`s manual. Volume 7
Technical Report
·
Tue Feb 28 23:00:00 EST 1995
·
OSTI ID:42514