A Formal Data-Centric Approach for Passive Testing of Communication Protocols

There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description techniques and formal testing approaches, we are able to validate the conformance of implementations to the requirements of communication protocols...

Full description

Saved in:
Bibliographic Details
Published inIEEE/ACM transactions on networking Vol. 21; no. 3; pp. 788 - 801
Main Authors Lalanne, F., Maag, S.
Format Journal Article
LanguageEnglish
Published New York IEEE 01.06.2013
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
IEEE/ACM
Subjects
Communication
Compounds
Computer Science
Conformance
data
IP Multimedia Subsystem (IMS)
Monitoring
Networking and Internet Architecture
passive testing
Protocols
Runtime
Semantics
Software
Studies
Syntactics
Testing
Passive testing
IP multimedia subsystem (IMS)
Conformance testing
Protocols
Data
Online AccessGet full text
ISSN1063-6692
1558-2566
DOI10.1109/TNET.2012.2210443

Cover

Abstract There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description techniques and formal testing approaches, we are able to validate the conformance of implementations to the requirements of communication protocols. In this context, passive testing techniques are used whenever the system under test cannot be interrupted or access to its interfaces is unavailable. Under such conditions, communication traces are extracted from points of observation and compared to the expected behavior formally specified as properties. Since most works on the subject come from a formal model context, they are optimized for testing the control part of the communication with a secondary focus on the data parts. In the current work, we provide a data-centric approach for black-box testing of network protocols. A formalism is provided to express complex properties in a bottom-up fashion starting from expected data relations in messages. A novel algorithm is provided for evaluation of properties in protocol traces. Experimental results on Session Initiation Protocol (SIP) traces for IP Multimedia Subsystem (IMS) services are provided.
AbstractList There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description techniques and formal testing approaches, we are able to validate the conformance of implementations to the requirements of communication protocols. In this context, passive testing techniques are used whenever the system under test cannot be interrupted or access to its interfaces is unavailable. Under such conditions, communication traces are extracted from points of observation and compared to the expected behavior formally specified as properties. Since most works on the subject come from a formal model context, they are optimized for testing the control part of the communication with a secondary focus on the data parts. In the current work, we provide a data-centric approach for black-box testing of network protocols. A formalism is provided to express complex properties in a bottom-up fashion starting from expected data relations in messages. A novel algorithm is provided for evaluation of properties in protocol traces. Experimental results on Session Initiation Protocol (SIP) traces for IP Multimedia Subsystem (IMS) services are provided.
Author Maag, S.
Lalanne, F.
Author_xml – sequence: 1
  givenname: F.
  surname: Lalanne
  fullname: Lalanne, F.
  email: Felipe.Lalanne@it-sudparis.eu
  organization: TELECOM SudParis, Evry, France
– sequence: 2
  givenname: S.
  surname: Maag
  fullname: Maag, S.
  email: Stephane.Maag@it-sudparis.eu
  organization: TELECOM SudParis, Evry, France
BackLink https://hal.science/hal-00838645$$DView record in HAL
BookMark eNp9kEtPAjEYRRuDiYL-AOOmiSsXg1-f01kSxEeCygLXTakdrRmm2A4k_nuLoAsXrto05zb3nj7qtaF1CJ0RGBIC1dX8cTIfUiB0SCkBztkBOiZCqIIKKXv5DpIVUlb0CPVTegcgDKg8Rg8jfBPi0jT42nSmGLu2i97i0WoVg7FvuA4Rz0xKfuPw3KXOt6841Hgclst1663pfGjxLIYu2NCkE3RYmya50_05QM83k_n4rpg-3d6PR9PCsop1xYK-iIo7Xgpa2opXFARUdc1qBcoyKY0SiwUIUnKnKiDcSmpeBFsAJUpZ5dgAXe7-fTONXkW_NPFTB-P13Wiqt28AiinJxYZk9mLH5kUf6zxBv4d1bHM9TVgJjJFsK1PljrIxpBRdra3vvtd10fhGE9Bbz3rrWW89673nnCR_kj-F_suc7zLeOffLSyo55EZfdt6Htg
CODEN IEANEP
CitedBy_id crossref_primary_10_1007_s11280_015_0324_6
crossref_primary_10_1016_j_comnet_2013_06_019
crossref_primary_10_1007_s12243_015_0457_8
crossref_primary_10_1007_s00446_017_0308_0
crossref_primary_10_1016_j_iot_2020_100352
crossref_primary_10_3390_s151129250
crossref_primary_10_1007_s12243_014_0454_3
crossref_primary_10_1016_j_comcom_2014_06_001
Cites_doi 10.1093/logcom/exn078
10.1109/CSFW.2001.930148
10.1145/1459352.1459354
10.1007/978-3-540-73066-8_23
10.1109/TNET.2006.872572
10.1109/EDOC.2008.32
10.1109/ICWS.2010.19
10.1109/CSFW.2005.20
10.1007/11430230_2
10.1016/j.comnet.2004.09.009
10.1007/978-3-540-89247-2_4
10.1006/inco.1993.1025
10.1007/11596141_7
10.1109/ICNP.2002.1181393
10.1145/322326.322339
10.1109/ICNP.1997.643699
10.1007/978-3-540-77395-5_11
10.1145/1592434.1592436
10.1109/ASWEC.2006.6
10.1016/S0950-5849(99)00039-7
10.1109/ICWS.2010.17
10.1109/ASE.2009.33
10.1016/S0950-5849(03)00063-6
10.1007/3-540-44830-6_22
10.1016/j.jlap.2008.08.004
10.1109/PCCC.1998.659924
10.1145/1710035.1710043
10.1145/321978.321991
10.17487/rfc3261
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jun 2013
Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jun 2013
– notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID 97E
RIA
RIE
AAYXX
CITATION
7SC
7SP
8FD
JQ2
L7M
L~C
L~D
1XC
DOI 10.1109/TNET.2012.2210443
DatabaseName IEEE Xplore (IEEE)
IEEE All-Society Periodicals Package (ASPP) 1998–Present
IEEE Electronic Library (IEL)
CrossRef
Computer and Information Systems Abstracts
Electronics & Communications Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Hyper Article en Ligne (HAL)
DatabaseTitle CrossRef
Technology Research Database
Computer and Information Systems Abstracts – Academic
Electronics & Communications Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList Technology Research Database
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISSN 1558-2566
EndPage 801
ExternalDocumentID oai_HAL_hal_00838645v1
3001842431
10_1109_TNET_2012_2210443
6264070
Genre orig-research
GroupedDBID -DZ
-~X
.DC
0R~
29I
4.4
5GY
5VS
6IK
85S
8US
97E
9M8
AAJGR
AAKMM
AALFJ
AARMG
AASAJ
AAWTH
AAWTV
ABAZT
ABPPZ
ABQJQ
ABVLG
ACGFS
ACGOD
ACIWK
ACM
ADBCU
ADL
AEBYY
AEFXT
AEJOY
AENSD
AETEA
AETIX
AFWIH
AFWXC
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AIKLT
AKJIK
AKQYR
AKRVB
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ATWAV
BDXCO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CCLIF
CS3
D0L
EBS
EJD
FEDTE
GUFHI
HF~
HGAVV
HZ~
H~9
I07
ICLAB
IEDLZ
IES
IFIPE
IFJZH
IPLJI
JAVBF
LAI
LHSKQ
M43
MVM
O9-
OCL
P1C
P2P
PQQKQ
RIA
RIE
RNS
ROL
TN5
UPT
UQL
VH1
XOL
YR2
ZCA
AAYOK
AAYXX
CITATION
RIG
7SC
7SP
8FD
JQ2
L7M
L~C
L~D
1XC
ID FETCH-LOGICAL-c393t-b2d594e47527c94920509ff3f808c366a85bb05174e89014c62ad53b02188c8e3
IEDL.DBID RIE
ISSN 1063-6692
IngestDate Wed Sep 03 07:04:55 EDT 2025
Sun Sep 07 03:45:06 EDT 2025
Tue Jul 01 01:49:16 EDT 2025
Thu Apr 24 23:04:30 EDT 2025
Tue Aug 26 16:47:26 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 3
Keywords Passive testing
IP multimedia subsystem (IMS)
Conformance testing
Protocols
Data
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c393t-b2d594e47527c94920509ff3f808c366a85bb05174e89014c62ad53b02188c8e3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-0305-4712
PQID 1370331443
PQPubID 32020
PageCount 14
ParticipantIDs crossref_citationtrail_10_1109_TNET_2012_2210443
hal_primary_oai_HAL_hal_00838645v1
proquest_journals_1370331443
ieee_primary_6264070
crossref_primary_10_1109_TNET_2012_2210443
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2013-06-01
PublicationDateYYYYMMDD 2013-06-01
PublicationDate_xml – month: 06
  year: 2013
  text: 2013-06-01
  day: 01
PublicationDecade 2010
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle IEEE/ACM transactions on networking
PublicationTitleAbbrev TNET
PublicationYear 2013
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
IEEE/ACM
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
– name: IEEE/ACM
References ref35
ref34
ref12
ref37
ref36
ref14
serge (ref2) 1995
bauer (ref7) 2007; x
ref11
(ref15) 2007
(ref1) 1994
ref39
ref17
ref19
nilsson (ref30) 1990; 5
ref18
pvueli (ref33) 2006
brzezinski (ref10) 2009
cavalli (ref38) 1999; 41
(ref32) 2006
ref24
ref23
ref26
ref25
ref20
ref41
christian (ref13) 2009
ref22
ref21
howard (ref6) 2004
ref28
ref27
ref29
ref8
ref9
ref4
ref3
(ref31) 2005
ref5
ref40
(ref16) 1993
References_xml – volume: 5
  year: 1990
  ident: ref30
  publication-title: Logic Programming and Prolog
– ident: ref37
  doi: 10.1093/logcom/exn078
– ident: ref34
  doi: 10.1109/CSFW.2001.930148
– year: 1993
  ident: ref16
  publication-title: ? Advanced Testing methods?Vocabulary of terms used in communication protocols conformance testing ?
– ident: ref18
  doi: 10.1145/1459352.1459354
– ident: ref39
  doi: 10.1007/978-3-540-73066-8_23
– ident: ref23
  doi: 10.1109/TNET.2006.872572
– ident: ref17
  doi: 10.1109/EDOC.2008.32
– ident: ref11
  doi: 10.1109/ICWS.2010.19
– ident: ref14
  doi: 10.1109/CSFW.2005.20
– ident: ref19
  doi: 10.1007/11430230_2
– ident: ref9
  doi: 10.1016/j.comnet.2004.09.009
– ident: ref36
  doi: 10.1007/978-3-540-89247-2_4
– ident: ref3
  doi: 10.1006/inco.1993.1025
– year: 2005
  ident: ref31
  publication-title: ?Internet messaging and presence service features and functions ?
– ident: ref27
  doi: 10.1007/11596141_7
– ident: ref22
  doi: 10.1109/ICNP.2002.1181393
– ident: ref4
  doi: 10.1145/322326.322339
– ident: ref24
  doi: 10.1109/ICNP.1997.643699
– ident: ref8
  doi: 10.1007/978-3-540-77395-5_11
– year: 1994
  ident: ref1
  publication-title: ?Information technology?Open systems interconnection?Conformance testing methodology and framework?Part 1 General concepts ?
– start-page: 143
  year: 2009
  ident: ref10
  publication-title: Towards the Methodological Harmonization of Passive Testing Across ICT Communities
– ident: ref41
  doi: 10.1145/1592434.1592436
– ident: ref26
  doi: 10.1109/ASWEC.2006.6
– volume: 41
  start-page: 813
  year: 1999
  ident: ref38
  article-title: Passive testing and application to the GSM-MAP protocol
  publication-title: Inf Softw Technol
  doi: 10.1016/S0950-5849(99)00039-7
– year: 2007
  ident: ref15
  publication-title: ?Methods for testing and specification (MTS) the testing and test control notation version 3 Part 1 TTCN-3 core language v3 2 1 ?
– ident: ref29
  doi: 10.1109/ICWS.2010.17
– ident: ref21
  doi: 10.1109/ASE.2009.33
– ident: ref12
  doi: 10.1016/S0950-5849(03)00063-6
– ident: ref5
  doi: 10.1007/3-540-44830-6_22
– start-page: 271
  year: 1995
  ident: ref2
  publication-title: Datalog and Recursion
– year: 2006
  ident: ref32
  publication-title: ?Push to talk over cellular requirements ?
– volume: x
  start-page: 1
  year: 2007
  ident: ref7
  article-title: Runtime verification for LTL and TLTL
  publication-title: Trans Softw Eng Methodol
– start-page: 277
  year: 2004
  ident: ref6
  article-title: Rule-based runtime verification
  publication-title: Verification Model Checking and Abstract Interpretation
– ident: ref25
  doi: 10.1016/j.jlap.2008.08.004
– ident: ref28
  doi: 10.1109/PCCC.1998.659924
– start-page: 135
  year: 2009
  ident: ref13
  publication-title: Formal Methods for Industrial Critical Systems
– ident: ref20
  doi: 10.1145/1710035.1710043
– ident: ref40
  doi: 10.1145/321978.321991
– start-page: 573
  year: 2006
  ident: ref33
  article-title: Psl model checking and run-time verification via testers
  publication-title: Proc 14th Int Symp Formal Methods
– ident: ref35
  doi: 10.17487/rfc3261
SSID ssj0013026
Score 2.2209697
Snippet There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description...
SourceID hal
proquest
crossref
ieee
SourceType Open Access Repository
Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 788
SubjectTerms Communication
Compounds
Computer Science
Conformance
data
IP Multimedia Subsystem (IMS)
Monitoring
Networking and Internet Architecture
passive testing
Protocols
Runtime
Semantics
Software
Studies
Syntactics
Testing
Title A Formal Data-Centric Approach for Passive Testing of Communication Protocols
URI https://ieeexplore.ieee.org/document/6264070
https://www.proquest.com/docview/1370331443
https://hal.science/hal-00838645
Volume 21
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3fT9swED4BT-xhwLppHT9kTTwh3Ca248aPFaOqEEU8tBJvUew4bAI1E6Q88Ndz56SFbmjaWxTZkpXvbH-Xu_sO4NiHesvccRXnmivrSp5rJHIxbjy0kIFKC6odnlzp8Uxd3CQ3G3C6qoXx3ofkM9-jxxDLLyq3oF9lfSTf6H-gg76JZtbUar1GDKLQWg09HMm1NqKNYMaR6U-vzqeUxCV6Ah0cpeTaHbT5kzIgQ2uVv87jcMmMdmCyXF6TW3LXW9S2557_UG783_XvwseWbbJhYx57sOHnn-DDGw3CDkyGbES89Z79yOuch7-9vxwbtlrjDEktu0aGjacim5Ikx_yWVSVbKyxh1w9VXaFJPX6G2eh8ejbmbY8F7qSRNbeiSIzyapCIgTPKCNKDKUtZplHqpNZ5mlgb5Kx9ShFXp0VeJNISNUhd6uUX2JpXc_8VGGXLxoX2xiaFEsrZMqewbVDk98q4LkTLr565VoCc-mDcZ8ERiUxGQGUEVNYC1YWT1ZTfjfrGvwZ_RyhX40g3ezy8zOgdEc1Uq-Qp7kKHcFmNaiHpwsES-azdxI9ZLPE4lOhxym_vz9qHbdF0x-BRfABb9cPCHyJHqe1RMM4Xg_TeMQ
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Rb9MwED5t44HxwICBKGxgIZ4QbhPbcePHaltVoK32kEl7s2LHAcTUoC3lgV_PnZMWBgjxFkW2lOQ729_l7r4DeB1ivWXpuUpLzZXzNS81ErkUFx5ayFjlFdUOL5Z6dqHeX2aXO_B2WwsTQojJZ2FIlzGWXzV-Tb_KRki-0f9AB_0Onvsq66q1fsYMkthcDX0cybU2oo9hpokZFcuzgtK4xFCgi6OUvHUK7X6iHMjYXOWPHTkeM9MDWGwesMsu-TJct27ov_-m3fi_b_AA7vd8k006A3kIO2H1CO79okJ4CIsJmxJzvWKnZVvy-L_3s2eTXm2cIa1l58ixcV9kBYlyrD6ypma3SkvY-XXTNmhUN4_hYnpWnMx432WBe2lky52oMqOCGmdi7I0yghRh6lrWeZJ7qXWZZ85FQeuQU8zVa1FWmXREDnKfB_kE9lbNKjwFRvmyaaWDcVmlhPKuLilwGzX5gzJ-AMnmq1vfS5BTJ4wrG12RxFgCyhJQtgdqAG-2U752-hv_GvwKodyOI-Xs2WRu6R5RzVyr7Fs6gEPCZTuqh2QARxvkbb-Mb2wqcUOU6HPKZ3-f9RLuzorF3M7fLT88h33R9crgSXoEe-31OhwjY2ndi2ioPwBShuF-
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Formal+Data-Centric+Approach+for+Passive+Testing+of+Communication+Protocols&rft.jtitle=IEEE%2FACM+transactions+on+networking&rft.au=Lalanne%2C+Felipe&rft.au=Maag%2C+Stephane&rft.date=2013-06-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=1063-6692&rft.eissn=1558-2566&rft.volume=21&rft.issue=3&rft.spage=788&rft_id=info:doi/10.1109%2FTNET.2012.2210443&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3001842431
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1063-6692&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1063-6692&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1063-6692&client=summon