Universidad Complutense de Madrid
E-Prints Complutense

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

Impacto

Downloads

Downloads per month over past year

García Merayo, Mercedes and Andrés Sánchez, César and 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
380kB

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


URLURL Type
http://www.ieee.org/Organisation


Abstract

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.


Item Type:Book Section
Additional Information:

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

Uncontrolled Keywords:Finite-state machines; Timed automata; Weak mutation; Systems; Implementation; Specification; Generation ; Computer Science; Software Engineering
Subjects:Sciences > Mathematics > Operations research
ID Code:15643
Deposited On:15 Jun 2012 07:54
Last Modified:22 Aug 2018 11:07

Origin of downloads

Repository Staff Only: item control page