Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion

Details

• Creators:
  Chilenski, John Joseph
• Corporate Creators:
  Boeing Commercial Airplane Company
• Corporate Contributors:
  United States. Federal Aviation Administration. Office of Aviation Research
• Subject/TRT Terms:
  • Reliability (Statistics)
  • Aircraft
  • Certification
  • Flight tests
  • Decision making
  • Software
  • Fault tolerant computing
  • Structural analysis
• Publication/ Report Number:
  DOT/FAA/AR-01/18
• Resource Type:
  Tech Report
• Geographical Coverage:
  United States
• Edition:
  Final Report
• Corporate Publisher:
  United States. Federal Aviation Administration. Office of Aviation Research
• Abstract:
  This report compares three forms of Modified Condition Decision Coverage (MCDC). MCDC is a structural coverage criterion used to assist with the assessment of the adequacy of the requirements-based testing process. This level of coverage is required for Level A software. The purpose of these comparisons is to provide data to enable a rational choice for what form of structural coverage is required for Level A software. This report provides justification why structural coverage, in general, and MCDC in particular, should be part of the software system development process. Definitions for three forms of MCDC are given, along with extensions for relational operators. These three forms of MCDC are compared theoretically and empirically for minimum probability of error detection performance and ease of satisfaction. Conclusions from the data are drawn and limitations of the study methodology are identified.
• Format:
  PDF
• Download URL:
  https://rosap.ntl.bts.gov/view/dot/42764/dot_42764_DS1.pdf
• File Type:
  [PDF - 1.02 MB]
• Collection(s):
  US Transportation Collection
• Main Document Checksum:
  urn:sha256:b4ebb9667397767a62b03780c62aa951819c9a66e0cd1b9c88c3a5cff5524ccc