Date of Award


Degree Name

Master of Science


Electrical and Computer Engineering

First Advisor

Tragoudas, Spyros


Today’s critical systems of military and aviation grade consist of several complex requirements that need to be assessed for a safe and continuous operation before they are deployed for use. Several coverage methodologies have been proposed over the years with Modified Condition / Decision Coverage (MC/DC) being chosen by the aviation industry. This practice is becoming a highly recommended coverage methodology among several modern standards such as the Automotive Safety Integrity Level (ASIL) of automotive standard ISO 26262 and the Safety integrity level (SIL) 4 in part 3 Annex B of the basic safety publication. The main focus of this thesis is to provide an automated process that can provide test vectors suitable for applying MC/DC testing. By using as the core engine a modified version of a hardware-oriented technique used in Automatic Test Pattern Generation (ATPG) called PODEM (Path-Oriented Decision Making) we get to produce several test vectors that can contribute towards MC/DC structural coverage.




This thesis is only available for download to the SIUC community. Current SIUC affiliates may also access this paper off campus by searching Dissertations & Theses @ Southern Illinois University Carbondale from ProQuest. Others should contact the interlibrary loan department of your local library or contact ProQuest's Dissertation Express service.