Standardization of formal methods in conformance testing of communication protocols

被引：6
|
作者：
Cavalli, AR
Favreau, JP
Phalippou, M
机构：
[1] NIST, COMP SYST LAB, GAITHERSBURG, MD 20899 USA
[2] FRANCE TELECOM, CNET, LAA, EIA, EVP, F-22301 LANNION, FRANCE
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1996年 / 29卷 / 01期
关键词：
conformance testing; formal description techniques; testing theory; standardization;
D O I：
10.1016/S0169-7552(96)00015-3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents the work developed by the joint ISO/ITU-T working group on ''Formal Methods in Conformance Testing'' (FMCT) in order to obtain a future standard. It concerns several areas of conformance testing: terminology, testing concepts, test architecture, specification languages for tests and test generation methods, The influence of FMCT on testing methodology is also analysed and future trends in the area are addressed.
引用
收藏
页码：3 / 14
页数：12
相关论文
共 50 条
  • [41] Research on formal models of communication protocols
    Li, Layuan
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 21 (05): : 419 - 427
  • [42] On the Generation of Minimal-Length Conformance Tests for Communication Protocols
    Miller, Raymond E.
    Paul, Sanjoy
    [J]. IEEE-ACM TRANSACTIONS ON NETWORKING, 1993, 1 (01) : 116 - 129
  • [43] Communication protocol conformance testing - Example LIN
    Lawrenz, Wolfhard
    [J]. PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, 2006, : 155 - 162
  • [44] PROTOCOL CONFORMANCE TESTING - A FORMAL PERSPECTIVE ON ISO IS-9646
    TRETMANS, J
    KARS, P
    BRINKSMA, E
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 131 - 142
  • [45] Combining formal verification and conformance testing for validating reactive systems
    Rusu, V
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (03): : 157 - 180
  • [46] Hardware testing using a communication protocol conformance testing tool
    Kahlouche, H
    Viho, C
    Zendri, M
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 315 - 329
  • [47] Audition of web services for testing conformance to open specified protocols
    Bertolino, Antonia
    Frantzen, Lars
    Polini, Andrea
    Tretmans, Jan
    [J]. ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 1 - 25
  • [48] Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
    Horel, Jean-Baptiste
    Laugier, Christian
    Marsso, Lina
    Mateescu, Radu
    Muller, Lucie
    Paigwar, Anshul
    Renzaglia, Alessandro
    Serwe, Wendelin
    [J]. PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 532 - 537
  • [49] FORMAL PROTOCOL SPECIFICATION AND CONFORMANCE TESTING - 4 TUTORIAL PAPERS
    RUDIN, H
    WEST, CH
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 1 - 2
  • [50] Enhancing Conformance Testing Using Symbolic Execution for Network Protocols
    Song, JaeSeung
    Kim, Hyoungshick
    Park, Soojin
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2015, 64 (03) : 1024 - 1037
12345