|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 Handbook
PDF Version (697 KB)
PDF files can be viewed with the Acrobat® Reader®
Appendix A: Wrapping Source Code
The following is the output produced by running the source code provided in chapter 6, Wrapping the Integer Factorial.
Run of Integer Factorial
This is a run of a recursive factorial using integers in C.
Run of Wrapped Factorial
This is a run of a recursive factorial with wrapping (wrap_fact(8)) using integers in C.
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