@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--298},
   PUBLISHER    = {LIRIS},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   KEYWORDS     = {Topic: <b>Test case generation</b>, Venue: <i>JFPC</i>},
   URL          = {http://www.ptidej.net/publications/documents/JFPC11.doc.pdf},
   PDF          = {http://www.ptidej.net/publications/documents/JFPC11.ppt.pdf},
   ABSTRACT     = {Le co{\^u}t du test peut facilement d{\'e}passer 50\NOdu 
      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.}
}

{"_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–298","publisher":"LIRIS","optseries":"","optvolume":"","keywords":"Topic: <b>Test case generation</b>, Venue: <i>JFPC</i>","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\\NOdu 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--298},\r\n PUBLISHER = {LIRIS},\r\n OPTSERIES = {},\r\n OPTVOLUME = {},\r\n KEYWORDS = {Topic: <b>Test case generation</b>, Venue: <i>JFPC</i>},\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{\\^u}t du test peut facilement d{\\'e}passer 50\\NOdu \r\n co{\\^u}t total d'un logiciel critique. Le test structurel est la \r\n strat{\\'e}gie de choix pour tester un syst{\\`e}me critique. En \r\n fonction de la criticit{\\'e} du syst{\\`e}me, diff{\\'e}rentes \r\n applications de test structurel sont exig{\\'e}es (analyse de \r\n couverture structurelle, g{\\'e}n{\\'e}ration des donn{\\'e}es de test, \r\n preuve de la post condition). Cet article s'int{\\'e}resse au \r\n probl{\\`e}me de combinaison des applications de test structurel, peu \r\n touch{\\'e} jusqu'{\\`a} maintenant, qui peut faciliter \r\n l'automatisation du processus de test structurel et r{\\'e}duire de \r\n mani{\\`e}re significative le nombre de donn{\\'e}es de test \r\n g{\\'e}n{\\'e}r{\\'e}es. Pour int{\\'e}grer plusieurs applications de \r\n test structurel en une seule approche, nous mod{\\'e}lisons le \r\n programme sous test et son graphe de flot et de contr{\\^o}le (GFC) \r\n par un probl{\\`e}me de satisfaction de contraintes (PSC). Nous \r\n utilisons une nouvelle classification des sommets du GFC, la \r\n d{\\'e}pendance de contr{\\^o}le, les techniques statiques \r\n d'assignation unique (SSA) et l'inf{\\'e}rence de la programmation par \r\n contraintes. Le mod{\\`e}le PSC que nous proposons conserve toute la \r\n s{\\'e}mantique structurelle du programme, cette caract{\\'e}ristique \r\n le rendant utilisable pour diff{\\'e}rentes applications de test \r\n structurel : analyser une couverture structurelle, g{\\'e}n{\\'e}rer \r\n des donn{\\'e}es de test ou prouver la post condition. Nos \r\n exp{\\'e}rimentations sur des benchmarks traditionnels montrent un \r\n gain de temps par rapport aux approches existantes de test \r\n 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>","Venue: <i>JFPC</i>"],"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>","venue: <i>jfpc</i>"],"authorIDs":["AfJhKcg96muyPdu7S","xkviMnkrGBneANvMr"],"dataSources":["Sed98LbBeGaXxenrM","8vn5MSGYWB4fAx9Z4"]}