2009 Seventh IEEE International Conference on Software Engineering and Formal Methods Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol Hanoi, Vietnam November 23-November 27 ISBN: 978-0-7695-3870-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.21
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 {\it 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.
Index Terms:
Formal Methods, Timed Systems, Passive Testing
Citation:
César Andrés, Mercedes G. Merayo, Manuel Núñez, "Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol," sefm, pp.73-82, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb