@INPROCEEDINGS{Sakti11-JFPC-CPTestGeneration,
   AUTHOR       = {Abdelilah Sakti and Yann-Ga�l Gu�h�neuc and 
      Gilles Pesant},
   BOOKTITLE    = {Actes des 7<sup>e</sup> Journ�es Francophones de Programmation par Contraintes (JFPC)},
   TITLE        = {CP-SST : approche bass�e sur la programmation par 
      contraintes pour le test structurel du logiciel},
   YEAR         = {2011},
   OPTADDRESS   = {},
   OPTCROSSREF  = {},
   EDITOR       = {Arnaud Lallouet},
   MONTH        = {juin},
   NOTE         = {10 pages.},
   OPTNUMBER    = {},
   OPTORGANIZATION = {},
   PAGES        = {289&ndash;298},
   PUBLISHER    = {LIRIS},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   KEYWORDS     = {Topic: <b>Test case generation</b>, 
      Rubrique : <b>g�n�ration de cas de test</b>, Colloque : JFPC},
   URL          = {http://www.ptidej.net/publications/documents/JFPC11.doc.pdf},
   PDF          = {http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf},
   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.}
}

{"_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/Publications/Biblio/complete-bibliography.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":[]}],"booktitle":"Actes des 7^e Journ�es Francophones de Programmation par Contraintes (JFPC)","title":"CP-SST : approche bass�e sur la programmation par contraintes pour le test structurel du logiciel","year":"2011","optaddress":"","optcrossref":"","editor":[{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Lallouet"],"suffixes":[]}],"month":"juin","note":"10 pages.","optnumber":"","optorganization":"","pages":"289&ndash;298","publisher":"LIRIS","optseries":"","optvolume":"","keywords":"Topic: <b>Test case generation</b>, Rubrique : <b>g�n�ration de cas de test</b>, Colloque : JFPC","url":"http://www.ptidej.net/publications/documents/JFPC11.doc.pdf","pdf":"http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf","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.","bibtex":"@INPROCEEDINGS{Sakti11-JFPC-CPTestGeneration,\r\n AUTHOR = {Abdelilah Sakti and Yann-Ga�l Gu�h�neuc and \r\n Gilles Pesant},\r\n BOOKTITLE = {Actes des 7^e Journ�es Francophones de Programmation par Contraintes (JFPC)},\r\n TITLE = {CP-SST : approche bass�e sur la programmation par \r\n contraintes pour le test structurel du logiciel},\r\n YEAR = {2011},\r\n OPTADDRESS = {},\r\n OPTCROSSREF = {},\r\n EDITOR = {Arnaud Lallouet},\r\n MONTH = {juin},\r\n NOTE = {10 pages.},\r\n OPTNUMBER = {},\r\n OPTORGANIZATION = {},\r\n PAGES = {289&ndash;298},\r\n PUBLISHER = {LIRIS},\r\n OPTSERIES = {},\r\n OPTVOLUME = {},\r\n KEYWORDS = {Topic: <b>Test case generation</b>, \r\n Rubrique : <b>g�n�ration de cas de test</b>, Colloque : JFPC},\r\n URL = {http://www.ptidej.net/publications/documents/JFPC11.doc.pdf},\r\n PDF = {http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf},\r\n ABSTRACT = {Le co�t du test peut facilement d�passer 50% du co�t \r\n total d'un logiciel critique. Le test structurel est la strat�gie de \r\n choix pour tester un syst�me critique. En fonction de la criticit� du \r\n syst�me, diff�rentes applications de test structurel sont exig�es \r\n (analyse de couverture structurelle, g�n�ration des donn�es de test, \r\n preuve de la post condition). Cet article s'int�resse au probl�me de \r\n combinaison des applications de test structurel, peu touch� jusqu'� \r\n maintenant, qui peut faciliter l'automatisation du processus de test \r\n structurel et r�duire de mani�re significative le nombre de donn�es \r\n de test g�n�r�es. Pour int�grer plusieurs applications de test \r\n structurel en une seule approche, nous mod�lisons le programme sous \r\n test et son graphe de flot et de contr�le (GFC) par un probl�me de \r\n satisfaction de contraintes (PSC). Nous utilisons une nouvelle \r\n classification des sommets du GFC, la d�pendance de contr�le, les \r\n techniques statiques d'assignation unique (SSA) et l'inf�rence de la \r\n programmation par contraintes. Le mod�le PSC que nous proposons \r\n conserve toute la s�mantique structurelle du programme, cette \r\n caract�ristique le rendant utilisable pour diff�rentes applications \r\n de test structurel : analyser une couverture structurelle, g�n�rer \r\n des donn�es de test ou prouver la post condition. Nos \r\n exp�rimentations sur des benchmarks traditionnels montrent un gain de \r\n temps par rapport aux approches existantes de test structurel.}\r\n}\r\n\r\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":["Topic: <b>Test case generation</b>","Rubrique : <b>g�n�ration de cas de test</b>","Colloque : 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},"search_terms":["sst","approche","bass","sur","programmation","par","contraintes","pour","test","structurel","logiciel","sakti","gu�h�neuc","pesant"],"keywords":["topic: <b>test case generation</b>","rubrique : <b>g�n�ration de cas de test</b>","colloque : jfpc"],"authorIDs":["AfJhKcg96muyPdu7S","xkviMnkrGBneANvMr"],"dataSources":["Sed98LbBeGaXxenrM","8vn5MSGYWB4fAx9Z4"]}