Knaus, R., Aougab, H., & Bentahar, N. (2004). Software Reliability: A Federal Highway Administration Preliminary Handbook (Report No. FHWA-RD-04-080). United States. Federal Highway Administration. https://rosap.ntl.bts.gov/view/dot/41550
Knaus, Rodger, Hamid Aougab, and Naim Bentahar. Software Reliability: A Federal Highway Administration Preliminary Handbook. Report no. FHWA-RD-04-080. United States. Federal Highway Administration, 2004. https://rosap.ntl.bts.gov/view/dot/41550.
Knaus, Rodger, et al. Software Reliability: A Federal Highway Administration Preliminary Handbook. United States. Federal Highway Administration, 2004, Report no. FHWA-RD-04-080, ROSA P. https://rosap.ntl.bts.gov/view/dot/41550.
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.
Knaus, R., Aougab, H., & Bentahar, N. (2004). Software Reliability: A Federal Highway Administration Preliminary Handbook (Report No. FHWA-RD-04-080). United States. Federal Highway Administration. https://rosap.ntl.bts.gov/view/dot/41550
Knaus, Rodger, Hamid Aougab, and Naim Bentahar. Software Reliability: A Federal Highway Administration Preliminary Handbook. Report no. FHWA-RD-04-080. United States. Federal Highway Administration, 2004. https://rosap.ntl.bts.gov/view/dot/41550.
Knaus, Rodger, et al. Software Reliability: A Federal Highway Administration Preliminary Handbook. United States. Federal Highway Administration, 2004, Report no. FHWA-RD-04-080, ROSA P. https://rosap.ntl.bts.gov/view/dot/41550.
ROSA P serves as an archival repository of USDOT-published products including scientific
findings, journal articles, guidelines, recommendations, or other information authored or co-authored by
USDOT or funded partners. As a repository, ROSA P retains documents in their original published format to
ensure public access to scientific information.
Links with this icon indicate that you are leaving a Bureau of Transportation
Statistics (BTS)/National Transportation Library (NTL)
Web-based service.
Thank you for visiting.
You are about to access a non-government link outside of
the U.S. Department of Transportation's National
Transportation Library.
Please note: While links to Web sites outside of DOT are
offered for your convenience, when you exit DOT Web sites,
Federal privacy policy and Section 508 of the Rehabilitation
Act (accessibility requirements) no longer apply. In
addition, DOT does not attest to the accuracy, relevance,
timeliness or completeness of information provided by linked
sites. Linking to a Web site does not constitute an
endorsement by DOT of the sponsors of the site or the
products presented on the site. For more information, please
view DOT's Web site linking policy.
To get back to the page you were previously viewing, click
your Cancel button.