Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

MC/DC Test Case Generation Approaches for Decisions

Abstract : Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion that aims to prove that all conditions involved in a Boolean expression (decision) 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 decision that are often embedded in those applications, generating a set of MC/DC compliant test cases for any of these decisions is a non trivial and time consuming task for testers. In this paper we present an early work of an approach to automatically generate MC/DC test cases for different kinds of decisions. Thus, we introduce three different techniques to deal with MC/DC test case generation for decisions.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Marie-Françoise Gerard Connectez-vous pour contacter le contributeur
Soumis le : samedi 21 mars 2020 - 12:23:57
Dernière modification le : vendredi 19 novembre 2021 - 14:46:13




Sékou Kangoye, Alexis Todoskoff, Mihaela Barreau, Philippe Germanicus. MC/DC Test Case Generation Approaches for Decisions. the ASWEC 2015 24th Australasian Software Engineering Conference, Sep 2015, Adelaide, Australia. pp.74-80, ⟨10.1145/2811681.2811696⟩. ⟨hal-02514019⟩



Consultations de la notice