Safety-critical software testing in airborne systems : the modified condition/decision coverage criterion

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999. === Includes bibliographical references (p. 112-113). === In order to be certified by the FAA, airborne software must comply with the D0-178B standard. For the unit testing of safety-critical software,...

Full description

Bibliographic Details
Main Author: Dupuy, Arnaud (Arnaud Guillaume), 1973-
Other Authors: Nancy G. Leveson.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2005
Subjects:
Online Access:http://hdl.handle.net/1721.1/9478