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

  • Authors:

  • Marc Aiguier;Agnès Arnould;Clément Boin;Pascale Le Gall;Bruno Marre

  • Affiliations:

  • LaMI CNRS UMR 8042, Université d'Évry-Val d'Essonne, Évry, France;SIC, CNRS FRE 2731, SP2MI, Université de Poitiers, Futuroscope, France;LaMI CNRS UMR 8042, Université d'Évry-Val d'Essonne, Évry, France;LaMI CNRS UMR 8042, Université d'Évry-Val d'Essonne, Évry, France;CEA/DRT/LIST/DTSI/SLA Saclay, Gif sur Yvette

  • Venue:
  • FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 [5, 19] 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.