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.
| Identifer | oai:union.ndltd.org:siu.edu/oai:opensiuc.lib.siu.edu:theses-3391 |
| Date | 01 August 2018 |
| Creators | Veskoukis, Damianos |
| Publisher | OpenSIUC |
| Source Sets | Southern Illinois University Carbondale |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | Theses |
Page generated in 0.0017 seconds