![]() ![]() | ![]() |
![]() |
![]() |
This report is an archived publication and may contain dated technical, contact, and link information |
|
Publication Number: FHWA-RD-04-080
Date: September 2004 |
|||||||||||||||||||||||||||||||||||||||||||||||||||
Software Reliability: A Federal Highway Administration Preliminary HandbookPDF Version (697 KB)
PDF files can be viewed with the Acrobat® Reader® U.S. Department of Transportation ForewordA 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 Notice This document is disseminated under the sponsorship of the
U.S. Department of Transportation in the interest of information exchange. The
U.S. Government assumes no liability for the use of the information contained in this document. The
U.S. Government does not endorse products or manufacturers. Trademarks or manufacturers' names appear in this report only because they are considered essential to the objective of the document. Quality Assurance Statement The Federal Highway Administration (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. Technical Report Documentation Page
CHAPTER 7. NUMERICAL RELIABILITY CHAPTER 8. TOOLS FOR SOFTWARE RELIABILITY APPENDIX A. WRAPPING SOURCE CODE APPENDIX B. ROUNDOFF ERRORS IN LARGE SUM
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 |
Topics: research, safety, data and analysis tools Keywords: research, safety, software reliability, roundoff errors, floating points errors, software verification and validation, software testing, SpecChek TRT Terms: Computer software--Reliability, Computer software--Verification, Computer software--Validation, Highway engineering, Highway design, Highway safety, Software, Validation Updated: 04/12/2012
|