19 février 2010 11:34, par Thomas EGLI

Javanlanche-System : des chercheurs trouvent la parade aux phases de Test-Logiciel

Chaque programme informatique doit être vérifié avant sa commercialisation. Les phases de Test-logiciel permettent de trouver les failles et de proposer des corrections jusqu’à ce que le logiciel soit exempt de tous défauts. Seulement peut-on être sûr de ne pas être passé à côté d’une ou plusieurs erreurs ?

Des scientifiques de l’Institut de génie logiciel de l’université de la Sarre [1] ont développé un logiciel qui détecte automatiquement les erreurs d’un programme informatique. Le logiciel, appelé Javanlanche-System, sera présenté au salon mondial de l’informatique CeBIT [2] du 2 au 6 mars 2010 à Hanovre. Il est également accessible gratuitement sur Internet [3]. Chaque internaute peut l’utiliser et s’essayer à détecter des erreurs, prouvant ainsi que les phases de Test-logiciel standard ne sont pas infaillibles.

Le logiciel fonctionne grâce à une méthode assez particulière. David Schuler, doctorant à l’Université de la Sarre, explique que « le logiciel insère en permanence des erreurs dans le programme informatique, comme le font malencontreusement les programmeurs, et vérifie ensuite si celles-ci ont été détectées ». De la sorte, le logiciel s’améliore continuellement et permet de détecter des erreurs artificielles, autrement dit qui n’auraient pas été créées par des programmeurs. Ce type d’erreurs, appelées également mutations, ne modifie pas le comportement fonctionnel du logiciel mais perturbe ses performances. Ces erreurs sont soit réparées manuellement par les programmeurs, soit détectées par de petits programmes externes très limités (environ une centaine de ligne de code). Le Prof. D^r. Andreas Zeller explique que « le logiciel Javalanche-System remédie à ce problème car il détecte également les erreurs de type mutation sur des programmes de très grande taille, comme les programmes Java présents dans le commerce ».

La suite du projet devrait aboutir à une sorte d’ « élevage d’erreurs artificielles » permettant d’augmenter les performances de détection du logiciel, indique Andreas Zeller. Les chercheurs espèrent ainsi pouvoir détecter des erreurs qualifiées de « Super Mutantes », qui renversent complètement le programme, mais sont néanmoins assez fréquentes et restent le point faible des programmes informatiques actuels.

Pour en savoir plus, contacts :

 [1] Site Internet de l’Institut de génie logiciel de l’université de la Sarre - http://www.st.cs.uni-saarland.de
 [2] Plus d’informations sur le salon mondial de l’informatique CeBIT : http://www.cebit.de
 [3] Téléchargement gratuit du logiciel Javalanche-System - http://www.st.cs.uni-saarland.de/ schuler/javalanche
 Prof. D^r. Andreas Zeller, titulaire de la chaire de génie logiciel - Institut des techniques logicielles de la Sarre - Campus E1 3, 66123 Sarrebruck - tél : +49 (0) 681 302-64011 - email : zeller cs.uni-saarland.de
 David Schuler, doctorant à la chaire de génie logiciel de l’université de Sarre - Institut des techniques logicielles de la Sarre - Campus E1 3, 66123 Sarrebruck - tél : +49 (0) 681 302-64026 - email : schuler st.cs.uni-sb.de

Code brève
ADIT : 62318
http://www.bulletins-electroniques....

Source :

« CeBIT 2010 : Forscher tricksen Software-Tests aus », dépêche idw, communiqué de presse de l’Université de la Sarre - 10/02/2010

Rédacteur :

Philippe Rault, philippe.rault diplomatie.gouv.fr - http://www.science-allemagne.fr

19 février 2010 11:34, par Thomas EGLI

Javanlanche-System : des chercheurs trouvent la parade aux phases de Test-Logiciel

Chaque programme informatique doit être vérifié avant sa commercialisation. Les phases de Test-logiciel permettent de trouver les failles et de proposer des corrections jusqu’à ce que le logiciel soit exempt de tous défauts. Seulement peut-on être sûr de ne pas être passé à côté d’une ou plusieurs erreurs ?

Des scientifiques de l’Institut de génie logiciel de l’université de la Sarre [1] ont développé un logiciel qui détecte automatiquement les erreurs d’un programme informatique. Le logiciel, appelé Javanlanche-System, sera présenté au salon mondial de l’informatique CeBIT [2] du 2 au 6 mars 2010 à Hanovre. Il est également accessible gratuitement sur Internet [3]. Chaque internaute peut l’utiliser et s’essayer à détecter des erreurs, prouvant ainsi que les phases de Test-logiciel standard ne sont pas infaillibles.

Le logiciel fonctionne grâce à une méthode assez particulière. David Schuler, doctorant à l’Université de la Sarre, explique que « le logiciel insère en permanence des erreurs dans le programme informatique, comme le font malencontreusement les programmeurs, et vérifie ensuite si celles-ci ont été détectées ». De la sorte, le logiciel s’améliore continuellement et permet de détecter des erreurs artificielles, autrement dit qui n’auraient pas été créées par des programmeurs. Ce type d’erreurs, appelées également mutations, ne modifie pas le comportement fonctionnel du logiciel mais perturbe ses performances. Ces erreurs sont soit réparées manuellement par les programmeurs, soit détectées par de petits programmes externes très limités (environ une centaine de ligne de code). Le Prof. D^r. Andreas Zeller explique que « le logiciel Javalanche-System remédie à ce problème car il détecte également les erreurs de type mutation sur des programmes de très grande taille, comme les programmes Java présents dans le commerce ».

La suite du projet devrait aboutir à une sorte d’ « élevage d’erreurs artificielles » permettant d’augmenter les performances de détection du logiciel, indique Andreas Zeller. Les chercheurs espèrent ainsi pouvoir détecter des erreurs qualifiées de « Super Mutantes », qui renversent complètement le programme, mais sont néanmoins assez fréquentes et restent le point faible des programmes informatiques actuels.

Pour en savoir plus, contacts :

 [1] Site Internet de l’Institut de génie logiciel de l’université de la Sarre - http://www.st.cs.uni-saarland.de
 [2] Plus d’informations sur le salon mondial de l’informatique CeBIT : http://www.cebit.de
 [3] Téléchargement gratuit du logiciel Javalanche-System - http://www.st.cs.uni-saarland.de/ schuler/javalanche
 Prof. D^r. Andreas Zeller, titulaire de la chaire de génie logiciel - Institut des techniques logicielles de la Sarre - Campus E1 3, 66123 Sarrebruck - tél : +49 (0) 681 302-64011 - email : zeller cs.uni-saarland.de
 David Schuler, doctorant à la chaire de génie logiciel de l’université de Sarre - Institut des techniques logicielles de la Sarre - Campus E1 3, 66123 Sarrebruck - tél : +49 (0) 681 302-64026 - email : schuler st.cs.uni-sb.de

Code brève
ADIT : 62318
http://www.bulletins-electroniques....

Source :

« CeBIT 2010 : Forscher tricksen Software-Tests aus », dépêche idw, communiqué de presse de l’Université de la Sarre - 10/02/2010

Rédacteur :

Philippe Rault, philippe.rault diplomatie.gouv.fr - http://www.science-allemagne.fr