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

Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.

Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Number 3997, Revised Selected Papers - 2006

Télécharger la publication :

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 in [6,20] 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.

Références BibTex

@InProceedings{AABLM2006_1344,

	author	= {Aiguier, M. and Arnould, A. and Boin, C. and Le Gall, P. and Marre, B.},
	title	= {Testing from algebraic specifications: test data set selection by unfolding axioms.},
	booktitle	= {Formal Approaches to Software Testing, 5th International Workshop, FATES 2005},
	number	= {3997},
	series	= {LNCS},
	year	= {2006},
	editor	= {G. Wolfgang and W. Carsten},
	publisher	= {Springer},
	note	= {Revised Selected Papers},
	keywords	= {Specification-based testing, algebraic specifications, selection criteria, unfolding, proof tree normalization, conditional rewriting.},

}