Software Reliability: A Federal Highway Administration Preliminary Handbook
-
2004-01-01
Details:
-
Creators:
-
Corporate Contributors:
-
Subject/TRT Terms:
-
Publication/ Report Number:
-
Resource Type:
-
Geographical Coverage:
-
Corporate Publisher:
-
Abstract:The overall objective of this handbook is to provide a reference to aid the highway engineer, software developer, and project manager in software verification and validation (V&V), and in producing reliable software. Specifically, the handbook: demonstrates the need for V&V of highway-related software; introduces the important software V&V concepts; defines the special V&V problems for highway-related software; provides a reference to several new software V&V techniques developed under this and earlier related projects to address the special needs of highway-related software [Wrapping, i.e., the use of embedded code to make a program self-verifying; SpecChek (Trademark), a V&V tool to check software with its specifications; Real-time computation of roundoff and other numerical errors; and Phased introduction of new software to minimize failures]; and helps the highway engineer, software developer, and project manager integrate software V&V into the development of new software and retrofit V&V into existing software. The handbook emphasizes techniques that address the special needs of highway software, and provides pointers to information on standard V&V tools and techniques of the software industry.
-
Format:
-
Funding:
-
Collection(s):
-
Main Document Checksum:
-
Download URL:
-
File Type: