Biblioteca de la Universidad Complutense de Madrid

Sistema de testing de aspectos cuantitativos

Impacto



Pablo Gutierrez, Itziar, de y Donadiós Algarra, Mercedes y Sánchez Codoni, Miguel (2005) Sistema de testing de aspectos cuantitativos. [Trabajo de curso] (No publicado)

[img] PDF
4MB


Resumen

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.


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

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

Palabras clave:Especificación, Implementación, Derivación, Test, Conforme
Materias:Ciencias > Informática > Sistemas expertos
Código ID:8992
Depositado:28 May 2009 07:38
Última Modificación:28 May 2009 07:38

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