Extensión de una herramienta para testear propiedades temporales y probabilísticas

Abstract

El proyecto aquí presentado ha consistido en la extensión de una herramienta para el testeo de sistemas de aspectos cualitativos. Esta herramienta permite tanto el testeo de especificaciones de propiedades funcionales, como especificaciones de propiedades no funcionales. Para ser más preciso, un ejemplo de propiedad no funcional sería el tiempo. El proyecto está basado en la implementación de una máquina de estados finita para la comprobación de la conformidad entre especificaciones e implementaciones, y en la ampliación de la misma para permitir, como se ha comentado anteriormente, el testeo de propiedades no funcionales a través del desarrollo de un sistema temporizado por un lado (tiempo fijo), y un sistema con tiempos estocásticos por otro (tiempo variable). [ABSTRACT] The project here mentioned has consisted on the extension of a tool for testing systems of qualitative features. This tool allows both, testing specifications of functional properties, as well as the test of specifications of non functional properties. To be more precise, an example of non functional property is the time. The project is based on the implementation of a finite states machine for checking the agreement between specifications and implementations, and its extension to allow, as it was previously mentioned, the testing of non functional properties by means of the development of a timed system on the one hand, and a system with stochastic times on the other.