La calidad del software está relacionada con las pruebas automatizadas
En la era de la información, el desarrollo de software es rápido, y lleva a generar sistemas cada vez más complicados. Por eso, la calidad del software juega un papel importante en la comercialización y el uso del producto final. No obstante, las pruebas de software se hacen de forma manual a menudo, lo que conlleva tiempo y dinero y, lo que es más importante, errores. Las pruebas automatizadas de software, por el contrario, son más rigurosas y requieren menos trabajo. Con esta perspectiva, el proyecto AGADIS desarrolló una tecnología adecuada que genera y ejecuta de forma automatizada las pruebas para el software basado en la distribución de sus componentes. El modelado y análisis del comportamiento de determinados sistemas, sobre todo de los que se basan en la creación de un proceso dinámico y tipos de datos, se consigue con ayuda del Formato Intermedio (IF). El lenguaje extendido IF permite expresar los criterios de cobertura y los objetivos de las pruebas para respaldar la generación de las mismas. La versión dinámica del IF es adecuada para los procesos de sistemas multicomponentes que funcionan de forma paralela e interactúan a través del intercambio de mensajes punto a punto. Durante las pruebas, el número de procesos no se mantiene constante, sino que puede cambiar de forma dinámica con el tiempo. El formato IF es flexible y versátil, y puede usarse como interfaz con otros lenguajes modelo del generador de pruebas AGADIS. Otro de los resultados importantes del proyecto es un perfil especial XML; la Sucesión de Pruebas Abstractas (SPA) que comprende una serie de instrucciones para ejecutar las pruebas en la aplicación. Incluye varios estudios y una serie de estimulaciones y observaciones del sistema que se está probando, y funciona independientemente del motor de ejecución de pruebas que se utilice. La SPA no solamente sirve para el método de Lenguaje Unificado de Modelado (UML), sino que también se ha diseñado con otras funcionalidades, como por ejemplo comprobar los sucesos asincrónicos, tratar las interacciones ambientales, o utilizar excepciones y parametrizaciones de pruebas con fuentes de entrada combinatorias, por nombrar algunas. Para más información, visite la siguiente dirección: http://www.agedis.de
