Logikbaserade testare designar tester från logiska uttryck som förekommer i programvaruartefakter såsom källkod, designmodeller och kravspecifikationer. I detta dokument presenteras tre förbättringar av logikbaserad testdesign. För det första, i samband med mutationstestning, presenterar vi felhierarkier för de sex relationsoperatörerna. Att tillämpa ROR-mutationsoperatören får varje relationsoperatör att generera sju mutanter per klausul. Felhierarkin visar att endast tre av dessa sju mutanter behövs. För det andra visar vi hur man kan föra ROR-operatörens kraft till logikbaserade testkriterier som det allmänt använda flervillkorsbeslutets täckningskriteriet (MCDC). För det tredje presenterar vi teoretiska resultat som stöds av empiriska data som visar att det nyare täckningskriteriet minimal-MUMCUT kan hitta betydligt fler fel än MCDC. Dokumentet innehåller tre specifika rekommendationer: (1) Ändra det sätt på vilket ROR-mutationsoperatören definieras i befintliga och framtida mutationssystem; (2) Augment logikbaserade testkriterier för att införliva relationell operatörsersättning från mutation; (3) Ersätt användningen av MCDC med minimal-MUMCUT, både i praktiken och i standarddokument som FAA-DO178B.
I samband med logikbaserade tester, Kaminski et al. I REF föreslogs en metod för utformning av tester beroende på logiska uttryck.
Improving Logic-Based Testing
{'venue': 'J. Syst. Softw.', 'journal': 'J. Syst. Softw.', 'mag_field_of_study': ['Computer Science']}