CP-SST : approche bassée sur la programmation par contraintes pour le test structurel du logiciel. Sakti, A., Guéhéneuc, Y., & Pesant, G. In Actes des 7<sup>e</sup> Journées Francophones de Programmation par Contraintes (JFPC), pages 289–298, juin, 2011. LIRIS. 10 pages.Paper abstract bibtex 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 et 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 existantes de test structurel.
@INPROCEEDINGS{Sakti11-JFPC-CPTestGeneration,
author = {Abdelilah Sakti and Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and Gilles Pesant},
title = {CP-SST : approche bass{\'e}e sur la programmation par contraintes pour le test structurel du logiciel},
booktitle = {Actes des 7<sup>{e}</sup> Journ{\'e}es Francophones de Programmation par Contraintes ({JFPC})},
year = {2011},
month = {juin},
editor = {Arnaud Lallouet},
publisher = {LIRIS},
note = {10 pages.},
abstract = {Le co{\^u}t du test peut facilement d{\'e}passer 50\% du co{\^u}t total d'un logiciel critique. Le test structurel est la strat{\'e}gie de choix pour tester un syst{\`e}me critique. En fonction de la criticit{\'e} du syst{\`e}me, diff{\'e}rentes applications de test structurel sont exig{\'e}es (analyse de couverture structurelle, g{\'e}n{\'e}ration des donn{\'e}es de test, preuve de la post condition). Cet article s'int{\'e}resse au probl{\`e}me de combinaison des applications de test structurel, peu touch{\'e} jusqu'{\`a} maintenant, qui peut faciliter l'automatisation du processus de test structurel et r{\'e}duire de mani{\`e}re significative le nombre de donn{\'e}es de test g{\'e}n{\'e}r{\'e}es. Pour int{\'e}grer plusieurs applications de test structurel en une seule approche, nous mod{\'e}lisons le programme sous test et son graphe de flot et de contr{\^o}le (GFC) par un probl{\`e}me de satisfaction de contraintes (PSC). Nous utilisons une nouvelle classification des sommets du GFC, la d{\'e}pendance de contr{\^o}le, les techniques statiques d'assignation unique (SSA) et l'inf{\'e}rence de la programmation par contraintes. Le mod{\`e}le PSC que nous proposons conserve toute la s{\'e}mantique structurelle du programme, cette caract{\'e}ristique le rendant utilisable pour diff{\'e}rentes applications de test structurel : analyser une couverture structurelle, g{\'e}n{\'e}rer des donn{\'e}es de test ou prouver la post condition. Nos exp{\'e}rimentations sur des benchmarks traditionnels montrent un gain de temps par rapport aux approches existantes de test structurel.},
grant = {Projet en {\'e}quipe FQRNT},
keywords = {Test case generation ; JFPC},
kind = {MNSA},
language = {francais},
url = {http://www.ptidej.net/publications/documents/JFPC11.doc.pdf},
pdf = {http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf},
pages = {289--298}
}
Downloads: 0
{"_id":"2Byb8J4FbbQHry3tw","bibbaseid":"sakti-guhneuc-pesant-cpsstapprochebassesurlaprogrammationparcontraintespourleteststructureldulogiciel-2011","downloads":0,"creationDate":"2018-01-17T20:29:42.434Z","title":"CP-SST : approche bassée sur la programmation par contraintes pour le test structurel du logiciel","author_short":["Sakti, A.","Guéhéneuc, Y.","Pesant, G."],"year":2011,"bibtype":"inproceedings","biburl":"http://www.yann-gael.gueheneuc.net/Work/BibBase/guehene (automatically cleaned).bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Abdelilah"],"propositions":[],"lastnames":["Sakti"],"suffixes":[]},{"firstnames":["Yann-Gaël"],"propositions":[],"lastnames":["Guéhéneuc"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Pesant"],"suffixes":[]}],"title":"CP-SST : approche bassée sur la programmation par contraintes pour le test structurel du logiciel","booktitle":"Actes des 7<sup>e</sup> Journées Francophones de Programmation par Contraintes (JFPC)","year":"2011","month":"juin","editor":[{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Lallouet"],"suffixes":[]}],"publisher":"LIRIS","note":"10 pages.","abstract":"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 et 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 existantes de test structurel.","grant":"Projet en équipe FQRNT","keywords":"Test case generation ; JFPC","kind":"MNSA","language":"francais","url":"http://www.ptidej.net/publications/documents/JFPC11.doc.pdf","pdf":"http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf","pages":"289–298","bibtex":"@INPROCEEDINGS{Sakti11-JFPC-CPTestGeneration,\n author = {Abdelilah Sakti and Yann-Ga{\\\"e}l Gu{\\'e}h{\\'e}neuc and Gilles Pesant},\n title = {CP-SST : approche bass{\\'e}e sur la programmation par contraintes pour le test structurel du logiciel},\n booktitle = {Actes des 7<sup>{e}</sup> Journ{\\'e}es Francophones de Programmation par Contraintes ({JFPC})},\n year = {2011},\n month = {juin},\n editor = {Arnaud Lallouet},\n publisher = {LIRIS},\n note = {10 pages.},\n abstract = {Le co{\\^u}t du test peut facilement d{\\'e}passer 50\\% du co{\\^u}t total d'un logiciel critique. Le test structurel est la strat{\\'e}gie de choix pour tester un syst{\\`e}me critique. En fonction de la criticit{\\'e} du syst{\\`e}me, diff{\\'e}rentes applications de test structurel sont exig{\\'e}es (analyse de couverture structurelle, g{\\'e}n{\\'e}ration des donn{\\'e}es de test, preuve de la post condition). Cet article s'int{\\'e}resse au probl{\\`e}me de combinaison des applications de test structurel, peu touch{\\'e} jusqu'{\\`a} maintenant, qui peut faciliter l'automatisation du processus de test structurel et r{\\'e}duire de mani{\\`e}re significative le nombre de donn{\\'e}es de test g{\\'e}n{\\'e}r{\\'e}es. Pour int{\\'e}grer plusieurs applications de test structurel en une seule approche, nous mod{\\'e}lisons le programme sous test et son graphe de flot et de contr{\\^o}le (GFC) par un probl{\\`e}me de satisfaction de contraintes (PSC). Nous utilisons une nouvelle classification des sommets du GFC, la d{\\'e}pendance de contr{\\^o}le, les techniques statiques d'assignation unique (SSA) et l'inf{\\'e}rence de la programmation par contraintes. Le mod{\\`e}le PSC que nous proposons conserve toute la s{\\'e}mantique structurelle du programme, cette caract{\\'e}ristique le rendant utilisable pour diff{\\'e}rentes applications de test structurel : analyser une couverture structurelle, g{\\'e}n{\\'e}rer des donn{\\'e}es de test ou prouver la post condition. Nos exp{\\'e}rimentations sur des benchmarks traditionnels montrent un gain de temps par rapport aux approches existantes de test structurel.},\n grant = {Projet en {\\'e}quipe FQRNT},\n keywords = {Test case generation ; JFPC},\n kind = {MNSA},\n language = {francais},\n url = {http://www.ptidej.net/publications/documents/JFPC11.doc.pdf},\n pdf = {http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf},\n pages = {289--298}\n}\n\n","author_short":["Sakti, A.","Guéhéneuc, Y.","Pesant, G."],"editor_short":["Lallouet, A."],"key":"Sakti11-JFPC-CPTestGeneration","id":"Sakti11-JFPC-CPTestGeneration","bibbaseid":"sakti-guhneuc-pesant-cpsstapprochebassesurlaprogrammationparcontraintespourleteststructureldulogiciel-2011","role":"author","urls":{"Paper":"http://www.ptidej.net/publications/documents/JFPC11.doc.pdf"},"keyword":["Test case generation ; JFPC"],"metadata":{"authorlinks":{"gu�h�neuc, y":"https://bibbase.org/show?bib=http%3A%2F%2Fwww.yann-gael.gueheneuc.net%2FWork%2FPublications%2FBiblio%2Fcomplete-bibliography.bib&msg=embed","guéhéneuc, y":"https://bibbase.org/show?bib=http://www.yann-gael.gueheneuc.net/Work/BibBase/guehene%20(automatically%20cleaned).bib"}},"downloads":0,"html":""},"search_terms":["sst","approche","bass","sur","programmation","par","contraintes","pour","test","structurel","logiciel","sakti","guéhéneuc","pesant"],"keywords":["test case generation ; jfpc"],"authorIDs":["AfJhKcg96muyPdu7S","xkviMnkrGBneANvMr"],"dataSources":["Sed98LbBeGaXxenrM","8vn5MSGYWB4fAx9Z4"]}