Abstracto

PRUEBAS BASADAS EN MODELOS CONSIDERANDO PASOS, NIVELES, HERRAMIENTAS Y ESTÁNDARES DE CALIDAD DE SOFTWARE

Sanjeev Dhawan Nirmal Kumarand Shiva Saini

Este artículo ofrece una visión general del tema de las pruebas basadas en modelos. Se describe el proceso de pruebas basadas en modelos y se consideran los pasos disponibles en cada etapa. Se explican los diferentes tipos de herramientas necesarias para respaldar el proceso y se enumeran herramientas de ejemplo junto con los estándares que respaldan. Se examina la posición de los estándares en las pruebas basadas en modelos y se discuten las nuevas habilidades requeridas por el evaluador. A lo largo de la investigación sobre pruebas basadas en modelos en los últimos 5 a 10 años se ha verificado la probabilidad de este enfoque. Se ha demostrado que puede ser rentable y se ha desarrollado una variedad de estrategias de generación de pruebas y criterios de cobertura de modelos. Han comenzado a surgir algunas herramientas comerciales, de los EE. UU. (T-Vec, Reactive Systems, I-logix) y también de Europa (Conformiq, Leirios Technologies, Telelogic), así como una amplia variedad de herramientas académicas y de investigación [BFS05]. El análisis de este artículo se limita a las pruebas funcionales, porque las pruebas basadas en modelos son menos maduras en otras áreas. Finalmente, se consideran los medios para determinar la idoneidad de los proyectos para las pruebas basadas en modelos. En este artículo se analizan los siguientes factores: pruebas basadas en modelos, pasos, niveles, métodos y herramientas que afectan al MBT.