Complutense University Library

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

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

[img]
Preview
PDF
8MB
View download statistics for this eprint

==>>> Export to other formats

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.

Item Type:Coursework
Additional Information:Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2005-2006)
Uncontrolled Keywords:Especificación, Implementación, Derivación, Test, Conforme, Input, Output
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:9066
Deposited On:02 Jul 2009 10:52
Last Modified:06 Feb 2014 08:19

Repository Staff Only: item control page