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:urn:sha-512:bb4b3a678791448ee48369d06a04e021ca7a565c9066e988f9bd768be75e7ac32f6dcfbf94d937ba66c423df8dcee15efc7484cf9128db43796751b40b503489
-
Download URL:
-
File Type: