A Pattern Language of Black-Box Test Design for Reactive Software Systems

We found that Combinatorial Interaction Testing (CIT) and diversity- based techniques (Input Model Diversity and Input Test Set Diameter) perform best among the black-box

The main advantages of our proposed approach are (a) the specification of the system is the main artefact to decide for further test activities; (b) a domain specific language

Towards this, in Figures 4 and 5, we illus- trate how test suites change over time for the Rational and DocType classes, illustrating the branch coverage achieved, the number of

We propose an engineering framework process and an editing tool to manage this design activity, able to support different pedagogical design schemes. We experienced

Some of these factors were already in the literature and some were added by the researcher i.e., whether the words are content or function words, the length of the

Conclusions: In this paper, we combined model-based test design for software product lines with boundary transition analysis.. We extended our previous work on product-line

Les résultats numériques obtenus, de déplacement vertical (Flèche), des contraintes normales et des contraintes de cisaillement de la poutre de type FGM hybride

Dans cette thèse, nous avons atteint deux objectifs : 1 Nous avons introduit un nouveau modèle appelé systèmes symboliques de transitions à entrées/sorties IOSTS2 et qui