Software Reliability: A Preliminary Handbook

Knaus, Rodger; Aougab, Hamid; Bentahar, Naim; Instant Recall, Inc.

Advanced Search

Select up to three search categories and corresponding keywords using the fields to the right. Refer to the Help section for more detailed instructions.

Search our Collections & Repository

Advanced Search
Custom Query

All these words:

For very narrow results

This exact word or phrase:

When looking for a specific result

Any of these words:

Best used for discovery & interchangable words

None of these words:

Recommended to be used in conjunction with other fields

Language:

Dates

Publication Date Range:

to

Document Data

Title:

Document Type:

Library

Collection:

Series:

People

Author:

Clear All

Query Builder

Query box

Clear All

For additional assistance using the Custom Query please check out our Help Page

i

Software Reliability: A Preliminary Handbook

2004-09-01
By Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim

[PDF-696.34 KB]

English

Details You May Also Like

Details:

Creators:

Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim

Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim Less -
Corporate Creators:

Instant Recall, Inc.
Contributors:

Mills, Milton K.
Corporate Contributors:

United States. Federal Highway Administration. Office of Safety Research and Development ; Turner-Fairbank Highway Research Center

United States. Federal Highway Administration. Office of Safety Research and Development ; Turner-Fairbank Highway Research Center Less -
Subject/TRT Terms:

[+]

Reliability Software Validation
Publication/ Report Number:

FHWA-HRT-04-080
Resource Type:

Tech Report
Geographical Coverage:

United States
Contracting Officer:

Mills, Milton
Corporate Publisher:

United States. Federal Highway Administration. Office of Safety Research and Development
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.

SpecChekTM, a V&V tool to check software with its specifications.

Real-time computation of roundoff and other numerical errors.

Phased introduction of new software to minimize failures.

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:

PDF
Funding:

FHWA-RD-DTFH61-02-F-00154
Collection(s):

Federal Highway Administration
Main Document Checksum:

[+]

urn:sha256:addb3798da19f210a63633bbae436acf372c26c4acb2077b09bc19a57838e23d
Download URL:

https://rosap.ntl.bts.gov/view/dot/38719/dot_38719_DS1.pdf
File Type:

No Additional Files

More +

Software Reliability: A Preliminary Handbook

Details:

Supporting Files

You May Also Like