The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2009)
Hanoi, Vietnam
Nov. 23, 2009 to Nov. 27, 2009
ISBN: 978-0-7695-3870-9
pp: 73-82
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 {\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
Manuel Núñez, Mercedes G. Merayo, César Andrés, "Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol", Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), vol. 00, no. , pp. 73-82, 2009, doi:10.1109/SEFM.2009.21
79 ms
(Ver 3.3 (11022016))