Title :
Structural coverage analysis method
Author :
Gifford, William
Author_Institution :
Air Transp. Syst. Div., Honeywell Inc., Phoenix, AZ, USA
Abstract :
This paper describes a method to obtain structural coverage using a combination of structural coverage attained through Requirement-Based Testing (RBT) and Analysis. This method sets a specific coverage level that must be obtained through RBT alone for each element. The remaining code, not structurally covered, is then analyzed using a number of criteria. This combination of testing and analysis provides the structural coverage, which is part of the requirement-based formal verification test results
Keywords :
aerospace computing; program testing; program verification; Requirement-Based Testing; analysis; coverage level; criteria; formal verification; structural coverage; testing; Assembly; Computer errors; Computer graphics; Documentation; Fault tolerance; Guidelines; Logic testing; Software systems; System testing; Text analysis;
Conference_Titel :
Digital Avionics Systems Conference, 1996., 15th AIAA/IEEE
Conference_Location :
Atlanta, GA
Print_ISBN :
0-7803-3385-3
DOI :
10.1109/DASC.1996.559132
