Model-Based Testing of Industrial Transformational Systems

Abstract : We present an approach for modeling and testing transformational systems in an industrial context. The systems are modeled as a set of boolean formulas. Each formula is called a clause and is an expression for an expected output value. To manage complexities of the models, we employ a modeling trick for handling dependencies, by using some output values from the system under test to verify other output values. To avoid circular dependencies, the clauses are arranged in a hierarchy, where each clause depends on the outputs of its children. This modeling trick enables us to model and test complex systems, using relatively simple models. Pairwise testing is used for test case generation. This manages the number of test cases for complex systems. The approach is developed based on a case study for testing printer controllers in professional printers at Océ. The model-based testing approach results in increased maintainability and gives better understanding of test cases and their produced output. Using pairwise testing resulted in measurable coverage, with a test set smaller than the manually created test set. To illustrate the applicability of the approach, we show how the approach can be used to model and test parts of a controller for ventilation in livestock stables.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.131-145, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_10〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01583924
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:35
Dernière modification le : mardi 24 avril 2018 - 16:16:53

Fichier

978-3-642-24580-0_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Petur Olsen, Johan Foederer, Jan Tretmans. Model-Based Testing of Industrial Transformational Systems. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.131-145, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_10〉. 〈hal-01583924〉

Partager

Métriques

Consultations de la notice

26

Téléchargements de fichiers

12