PUBLICATION NO. FHWA-HRT-04-080
September 2004
View PDF Version (491 kb)
( Download Acrobat Reader )
U.S. Department of
Transportation
Federal Highway
Administration
Research, Development, and
Technology
Turner-Fairbank Highway
Research Center
6300 Georgetown Pike
McLean, VA 22101-2296
A goal of the Federal Highway Administration's (FHWA) Advanced Safety Research Program is to help highway engineers, software developers, and project mangers understand software verification and validation (V&V) and produce reliable, safe software.
This handbook presents new software V&V techniques to address special needs related to highway software. Some of the techniques are:
The results of this research will be useful to transportation engineers, software managers and developers, and safety professionals who are involved in creating highway-related software.
Michael Trentacoste
Director, Office of Safety R&D
Notice:
This document is disseminated under the sponsorship of the Department of Transportation in the interest of information exchange. The United States Government assumes no liability for the contents or the use thereof. The report does not constitute a standard, specification, or regulation.
The United States Government does not endorse products or manufacturers. Trade and manufacturers’ names appear in this report because they are considered essential to the object of the document.
Quality Assurance Statement:
FHWA provides high-quality information to serve Government, industry, and the public in a manner that promotes public understanding. Standards and policies are used to ensure and maximize the quality, objectivity, utility, and integrity of its information. FHWA periodically reviews quality issues and adjusts its programs and processes to ensure continuous quality improvement.
1.
Report No. |
2. Government Accession No. |
3. Recipient's Catalog No. |
||
4. Title and
Subtitle |
5.
Report Date |
|||
6. Performing Organization Code |
||||
7.
Author(s) |
8. Performing Organization Report No. |
|||
9.
Performing Organization Name and Address |
10. Work Unit No. (TRAIS) |
|||
11.
Contract or Grant No. |
||||
12.
Sponsoring Agency Name and Address Office
of Safety Research |
13. Type of Report and Period Covered Final Report February 2000-June 2001 |
|||
14. Sponsoring Agency Code |
||||
15.
Supplementary Notes |
||||
16. 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:
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. |
||||
17.
Key Words |
18.
Distribution Statement |
|||
19.
Security Classif. (of this report) |
20.
Security Classif. (of this page) |
21.
No. of Pages |
22. Price |
CHAPTER 7. NUMERICAL RELIABILITY
CHAPTER 8. TOOLS FOR SOFTWARE RELIABILITY
APPENDIX A. WRAPPING SOURCE CODE
APPENDIX B. ROUNDOFF ERRORS IN LARGE SUM
LIST OF FIGURES
Figure 1: The V (U) Model for SDLC
Figure 2: Simplified V Model with Handbook Techniques
Figure 3: Model of SpecChek Method
Figure 4: Checking Software with SpecChek
LIST OF TABLES
Table 2: Formula for Subtraction
Table 3: Formula for Multiplication
Table 5: Order Errors for Addition
TFHRC
Home | FHWA Home | Feedback
United States Department of Transportation - Federal Highway Administration |