E-Prints Complutense

Passive Testing of Stochastic Timed Systems

Impacto

Descargas

Último año

García Merayo, Mercedes y Nuñez García, Manuel y Andrés Sánchez, César (2009) Passive Testing of Stochastic Timed Systems. Second International Conference on Software Testing, Verification, and Validation, Proceedings . pp. 71-80. ISSN 978-1-4244-3775-7

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

548kB

URL Oficial: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4815339


URLTipo de URL
http://www.ieee.org/Institución


Resumen

In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected it? the invariant. We present algorithms to decide the correctness of the proposed invariants with respect to a given specification. Once we know that an invariant is correct, we check whether the execution traces observed from the implementation respect the invariant. In addition to the theoretical framework we have developed a tool., called PASTE, that helps in the automation of our passive testing approach. We have used the tool to obtain experimental results front the application of our methodology.


Tipo de documento:Artículo
Información Adicional:

2nd International Conference on Software Testing, Verification and Validation Workshops. APR 01-04, 2009. Denver, CO.

Palabras clave:Computer Science; Software Engineering; Engineering; Electrical & Electronic ; Finite-State Machines
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15566
Depositado:11 Jun 2012 07:37
Última Modificación:15 Sep 2015 08:40

Descargas en el último año

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