Biblioteca de la Universidad Complutense de Madrid

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

Impacto



Cuesta Rubio, María y García Martín, Laura y Pérez Jiménez, Estefanía (2006) Extensión de una herramienta para testear propiedades temporales y probabilísticas. [Trabajo de curso] (No publicado)

[img]
Vista previa
PDF
8MB


Resumen

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.


Tipo de documento:Trabajo de curso
Información Adicional:

Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2005-2006)

Palabras clave:Especificación, Implementación, Derivación, Test, Conforme, Input, Output
Materias:Ciencias > Informática > Sistemas expertos
Código ID:9066
Depositado:02 Jul 2009 10:52
Última Modificación:06 Feb 2014 08:19

Sólo personal del repositorio: página de control del artículo