Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Practical methods for automatic MC/DC test case generation of Boolean expressions

Abstract : Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion that aims to prove that all conditions involved in a Boolean expression can influence the result of that expression. In the context of aeronautic and automotive, MC/DC is highly recommended and even required for most critical applications structural coverage. However, due to complex Boolean expressions that are often embedded in those applications' specifications, generating a set of MC/DC compliant test cases for any of these expressions is a non trivial and time consuming task for testers. In this paper we present an approach to automatically generate MC/DC test cases for different kinds of specification's Boolean expressions. Thus, we introduce three different techniques that can be combined to deal with MC/DC test case generation for Boolean expressions.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02514017
Contributeur : Marie-Françoise Gerard <>
Soumis le : samedi 21 mars 2020 - 12:21:15
Dernière modification le : dimanche 22 mars 2020 - 01:02:05

Identifiants

Collections

Citation

Sékou Kangoye, Alexis Todoskoff, Mihaela Barreau. Practical methods for automatic MC/DC test case generation of Boolean expressions. 2015 IEEE AUTOTESTCON, Nov 2015, National Harbor, United States. pp.203-212, ⟨10.1109/AUTEST.2015.7356490⟩. ⟨hal-02514017⟩

Partager

Métriques

Consultations de la notice

280