CP-SST : approche basée sur la programmation par contraintes pour le test structurel du logiciel

 

fichier pdf

lien publication

Année de publication : 2011

Référence bibliographique:
A. Sakti, Y.-G. Guéhéneuc, G. Pesant. CP-SST : approche basée sur la programmation par contraintes pour le test structurel du logiciel. Actes des Septièmes JFPC

Résumé:
Le coût du test peut facilement dépasser 50% du coût total d'un logiciel critique. Le test structurel est la stratégie de choix pour tester un système critique. En fonction de la criticité du système, différentes applications de test structurel sont exigées (analyse de couverture structurelle, génération des données de test, preuve de la post condition). Cet article s'intéresse au probléme de combinaison des applications de test structurel, peu touché jusqu'à  maintenant, qui peut faciliter l'automatisation du processus de test structurel et réduire de manière significative le nombre de données de test générées. Pour intégrer plusieurs applications de test structurel en une seule approche, nous modélisons le programme sous test et son graphe de flot de contrôle (GFC) par un problème de satisfaction de contraintes (PSC). Nous utilisons une nouvelle classification des sommets du GFC, la dépendance de contrôle, les techniques statiques d'assignation unique (SSA) et l'inférence de la programmation par contraintes. Le modèle PSC que nous proposons conserve toute la sémantique structurelle du programme, cette caractéristique le rendant utilisable pour différentes applications de test structurel: analyser une couverture structurelle, générer des données de test ou prouver la post condition. Nos expérimentations sur des benchmarks traditionnels montrent un gain de temps par rapport aux approches existanes de test structurel.

Bibtex: 

@InProceedings{SAK11,
    title = "CP-SST : approche  basée sur la programmation par contraintes pour le test structurel du logiciel",
    booktitle =    {Septitièmes Journées Francophones de Programmation par Contraintes (JFPC) },
    author = "A. Sakti, Y.-G. Guéhéneuc, G. Pesant.",
    publisher = "JFPC",
    pages = {289--298},
    year = "2011",
    location =     {Lyon, France}
}

 

 

Membre(s) (co)auteur(s) de la publication

| Gilles Pesant || Abdelilah Sakti |

 

Projet(s) lié(s) à la publication

Vérification de logiciel/matériel par programmation par contraintes

 

Fichier(s) lié(s) à la publication