www.smartesting.com
Smartesting (ex-Leirios) a développé une technologie logicielle qui automatise et optimise la génération de tests de validation fonctionnelle pour les industries de la carte à puce, des télécommunications, des transactions électroniques et de la finance. Cette solution trouve son fondement dans les travaux de recherche et, plus spécifiquement, dans une innovation du Laboratoire d’Informatique de l’Université de Franche-Comté (LIFC). L'entreprise développe des outils destinés à automatiser le test des systèmes logiciels, embarqués ou non, à partir de leurs spécifications fonctionnelles (disponibles en UML ou système B). Jusqu'à présent, contrairement aux tests matériels, les tests logiciels restaient souvent manuels et empiriques. Avec la technologie Smartesting®, l'outil Test Generator™ analyse les diagrammes UML de l'application pour générer les tests adaptés à sa validation fonctionnelle.
|