RT Generic
T1 Extensión de una herramienta para testear propiedades temporales y probabilísticas
A1 Cuesta Rubio, María
A1 García Martín, Laura
A1 Pérez Jiménez, Estefanía
AB 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.
YR 2006
FD 2006
LK https://hdl.handle.net/20.500.14352/54326
UL https://hdl.handle.net/20.500.14352/54326
LA spa
NO Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2005-2006)
DS Docta Complutense
RD 17 abr 2025