Génération de tests “tous-les-chemins” : quelle complexité pour quelles contraintes ? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Génération de tests “tous-les-chemins” : quelle complexité pour quelles contraintes ?

Nikolai Kosmatov
  • Function : Author
  • PersonId : 940734

Abstract

La génération automatique de tests structurels à l'aide de la programmation par contraintes se répand de plus en plus dans l'industrie du logiciel. Parmi les critères de couverture les plus stricts, le critère tous-les-chemins exige la génération d'un ensemble de cas de tests tel que tout chemin d'exécution faisable du programme sous test soit exécuté par un des cas de test. Cet article étudie des aspects de calculabilité et de complexité de la génération de tests tous-les-chemins et le rapport entre la complexité et la forme des contraintes issues du programme sous test. Nous définissons deux classes de programmes importantes pour la pratique. Nous montrons d'abord que pour une classe contenant des programmes simples avec de fortes restrictions, la génération de tests est possible en temps polynomial. Pour une classe de programmes plus large où les entrées peuvent être utilisées comme des indices de tableaux (ou décalages de pointeurs), la génération de tests tous-les-chemins s'avère NP-difficile. Quelques expérimentations montrent le temps de génération pour des exemples de programmes des deux classes.
Fichier principal
Vignette du fichier
kosmatov.pdf (149.08 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520283 , version 1 (22-09-2010)

Identifiers

  • HAL Id : inria-00520283 , version 1

Cite

Nikolai Kosmatov. Génération de tests “tous-les-chemins” : quelle complexité pour quelles contraintes ?. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.187-196. ⟨inria-00520283⟩
58 View
102 Download

Share

Gmail Facebook X LinkedIn More