Des tests automatisés pour garantir la qualité logicielle
À l'ère de l'information, l'évolution des logiciels est rapide, avec pour résultat la création de systèmes toujours plus compliqués. C'est pourquoi la qualité logicielle joue un rôle important pour la commercialisation et l'utilisation du produit final. Cependant, le test des logiciels est souvent une procédure manuelle, qui prend du temps et coûte de l'argent mais qui, surtout, est sujet à des erreurs. Par contre, le test automatisé des logiciels s'avère rigoureux tout en demandant moins de main-d'oeuvre. C'est dans cette perspective que le projet AGEDIS a mis au point une technologie appropriée qui se traduit par la génération et l'exécution automatique de séquences de test des logiciels à base de composants distribués. La modélisation et l'analyse du comportement de divers systèmes, en particulier de ceux reposant sur la création de processus, se fait grâce à l'Intermediate Format (IF). Le langage IF étendu permet de définir les objectifs du test et les critères de portée en vue de la génération de tests basés sur des modèles. La version dynamique de l'IF est particulièrement adaptée aux processus systèmes à composants multiples qui s'exécutent en parallèle et interagissent via le passage de messages point à point. Pendant les tests, le nombre de processus n'est pas constant mais peut être modifié dynamiquement au fil du temps. L'IF novateur est à la fois flexible et versatile et peut être utilisé comme interface avec d'autres langages de modèles dans le générateur de tests AGEDIS. Un autre résultat important du projet est la conception d'un profil XML spécial, une suite de tests abstraits (ATS) qui comprend un ensemble d'instructions de test en vue de l'exécution sur l'application. Cette suite inclut plusieurs tests élémentaires et une série de stimulations et d'observations du système testé et s'exécute indépendamment du moteur d'exécution de tests utilisé. L'ATS applique non seulement de manière cohérente la méthode de langage de modélisation unifiée (UML), mais a en outre été conçue avec des fonctionnalités supplémentaires. Il est ainsi possible de tester des événements asynchrones, de prendre en compte les interactions de l'environnement, d'utiliser des exceptions et le paramétrage de tests avec des sources d'entrée combinatoires, pour ne citer que quelques exemples. Pour plus d'informations, visitez le site: http://www.agedis.de
