Testing from algebraic specifications: test data set selection by unfolding axioms

Marc Aiguier (1) , Agnès Arnould (2) , Clément Boin (1) , Pascale Le Gall (1) , Bruno Marre (3)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 SIC - SIGNAL-IMAGE-COMMUNICATION
3 LRI - Laboratoire de Recherche en Informatique

This paper deals with test data set selection from algebraic specifications. Test data sets are generated from selection criteria which are usually defined to cover specification axioms. The unfolding selection criterion consists in covering the input domain of an operation using case analysis. The unfolding procedure can be iterated in order to split input domains of operations into finer subdomains. In this paper we propose to extend an unfolding procedure previously developed by Bruno Marre that could only be performed on very low level, i.e. executable specifications. On the contrary, our new unfolding procedure can be applied to any positive conditional specification. We show that our unfolding procedure is sound (no test is added) and complete (no test is lost) with respect to the starting reference test data set.

Domaines: Langage de programmation [cs.PL]; Web; Génie logiciel [cs.SE]; Système multi-agents [cs.MA]

Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩. ⟨hal-00341964⟩