Sistema de testing de aspectos cuantitativos

Abstract

El proyecto aquí presentado ha constado en la realización de una herramienta para el testeo de sistemas de aspectos cualitativos. Se ha realizado dicha herramienta tanto para el testeo de especificaciones de propiedades funcionales, como de especificaciones de propiedades no funcionales, concretamente como ejemplo de propiedad no funcional se tiene el tiempo. Este proyecto ha sido realizado en dos fases. La primera fase ha consistido en la implementación de un máquina de estados finita para la comprobación de la conformidad entre especificaciones e implementaciones. Por otro lado, la segunda fase ha sido una ampliación de la primera 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, y un sistemas con tiempos estocásticos por otro. [ABSTRACT] The project here mentioned has consisted on the creation of a tool for testing systems of qualitative features. The tool has been implemented for testing specifications of functional properties, as well as for testing specifications of non functional properties. To be more precise, the time attribute is an example of these last type of properties. This project has been carried out in two phases. The first one consists on the implementation of a finite states machine to check the conformance between specifications and implementations. On the other hand, the second phase is based on the first one just mentioned in order to allow, the testing of non functional properties by means of the development of a timed system, firstly, and a system with stochastic times, finally.