E-Prints Complutense

Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol

Impacto

Descargas

Último año

García Merayo, Mercedes y Andrés Sánchez, César y Nuñez García, Manuel (2009) Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol. In SEFM 2009: Seventh International Conference on Software Engineering and Formal Methods. IEEE Computer Soc, LOS ALAMITOS, pp. 73-82. ISBN 978-0-7695-3870-9

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

380kB

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


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


Resumen

In this paper we present a formal passive testing framework
and use it to analyze time aspects in the Stream Control Transmission Protocol (SCTP). This protocol presents
different phases where time aspects are critical. In order
to represent temporal requirements we use so-called timed
invariants since they allow us to easily verify that the traces collected from the observation of the protocol fulfill the corresponding timed constraints. In addition to introduce our theoretical framework, we report on the results obtained
from the application of our techniques over (possibly mutated)
traces extracted from runs of the SCTP.


Tipo de documento:Sección de libro
Información Adicional:

7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009). NOV 23-27, 2009. Hanoi, VIETNAM

Palabras clave:Finite-state machines; Timed automata; Weak mutation; Systems; Implementation; Specification; Generation ; Computer Science; Software Engineering
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15643
Depositado:15 Jun 2012 07:54
Última Modificación:15 Jun 2012 07:54

Descargas en el último año

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