Abstrait

TESTS BASÉS SUR DES MODÈLES TENANT COMPTE DES ÉTAPES, DES NIVEAUX, DES OUTILS ET DES NORMES DE QUALITÉ DU LOGICIEL

Sanjeev Dhawan, Nirmal Kumar et Shiva Saini

Cet article donne un aperçu du sujet des tests basés sur des modèles. Le processus de test basé sur des modèles est décrit et les étapes disponibles à chaque étape sont considérées. Les différents types d'outils nécessaires pour soutenir le processus sont expliqués et des exemples d'outils sont répertoriés avec les normes qu'ils prennent en charge. La position des normes dans les tests basés sur des modèles est examinée et les nouvelles compétences requises par le testeur sont discutées. Tout au long des recherches sur les tests basés sur des modèles au cours des 5 à 10 dernières années, la probabilité de cette approche a été vérifiée. Il a été démontré qu'elle peut être rentable et a permis de développer une variété de stratégies de génération de tests et de critères de couverture de modèles. Certains outils commerciaux ont commencé à émerger, aux États-Unis (T-Vec, Reactive Systems, I-logix), et également en Europe (Conformiq, Leirios Technologies, Telelogic), ainsi qu'une grande variété d'outils universitaires et de recherche [BFS05]. La discussion dans cet article se limite aux tests fonctionnels, car les tests basés sur des modèles sont moins matures dans d'autres domaines. Enfin, les moyens de déterminer la pertinence des projets pour les tests basés sur des modèles sont envisagés. Dans cet article, les facteurs suivants sont analysés : tests basés sur des modèles, étapes, niveaux, méthodes et outils qui affectent le MBT.