Para la buena calidad del software es necesaria la utilización de técnicas que analicen el comportamiento del software y detecten posibles problemas y soluciones. Pero el coste de estas herramientas es alto debido a la complejidad de los sistemas software de hoy en día.
En VRAIN de la UPV utilizamos técnicas que permiten reducir el coste asociado, temporal y de memoria, como la interpretación abstracta o las representaciones simbólicas o parciales que tienen la ventaja de estar diseñadas para garantizar la fiabilidad. Por ello, mediante el uso de estas técnicas de reducción/compactación, VRAIN de la UPV es capaz de mitigar el problema del alto coste (temporal y de memoria) de las herramientas que analizan y comprueban el comportamiento de los sistemas software.
Este servicio tiene su aplicación en la optimización de herramientas de verificación, herramientas de depuración, análisis estáticos de programas y testeo de software. Sus ventajas residen en una mayor rapidez de ejecución de las herramientas y en aplicaciones informáticas de análisis y verificación de software más competitivas en tiempo de respuesta y fiabilidad. Además del soporte a la mejora de las técnicas de verificación, los sistemas concurrentes en particular tienen una complejidad añadida a la hora de garantizar su buen comportamiento debido al entrelazado de los hilos de ejecución. En VRAIN de la UPV podemos asistir al modelado de los aspectos críticos de sistemas concurrentes para poder hacer uso de herramientas existentes de verificación específicas para estos sistemas. También asesoramos en el uso de herramientas de generación automática de casos de prueba.