DETERMINISTIC EXECUTION TESTING OF FSM-BASED PROTOCOLS

被引：3
|
作者：
HUBBARD, D
机构：
来源：
AT&T TECHNICAL JOURNAL | 1990年 / 69卷 / 01期
关键词：
D O I：
10.1002/j.1538-7305.1990.tb00106.x
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses how the deterministic execution testing approach can be applied to solve the synchronization and nondeterminism problems in protocol testing. Deterministic execution testing is achieved by incorporating test coordination procedures to control the execution of the test system and to control specific non‐deterministic behavior in the implementation under test. The deterministic execution testing approach is applied to the Open Systems Interface Class 0 Transport Layer protocol. © 1990 AT&T Technical Journal
引用
收藏
页码：119 / 128
页数：10
相关论文
共 50 条
  • [1] FSM-Based Formal Compliance Verification of Interface Protocols
    Shih, Che-Hua
    Yang, Ya-Ching
    Yen, Chia-Chih
    Huang, Juinn-Dar
    Jou, Jing-Yang
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2010, 26 (05) : 1601 - 1617
  • [2] Experimental evaluation of FSM-based testing methods
    Dorofeeva, R
    El-Fakih, K
    Maag, S
    Cavalli, AR
    Yevtushenko, N
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 23 - 32
  • [3] FSM-based incremental conformance testing methods
    El-Fakih, K
    Yevtushenko, N
    Von Bochmann, G
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (07) : 425 - 436
  • [4] FSM-based power modeling of wireless protocols: The case of bluetooth
    Negri, L
    Sami, M
    Macii, D
    Terranegra, A
    [J]. ISLPED '04: PROCEEDINGS OF THE 2004 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, 2004, : 369 - 374
  • [5] libfsmtest An Open Source Library for FSM-Based Testing
    Bergenthal, Moritz
    Krafczyk, Niklas
    Peleska, Jan
    Sachtleben, Robert
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2021, 2022, 13045 : 3 - 19
  • [6] An Improved FSM-based Method for BGP Protocol Conformance Testing
    Xie, Lei
    Wei, Jiaolong
    Zhu, Guangxi
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1 AND 2, 2008, : 631 - 635
  • [7] Experimental Evaluation of FSM-based Test Derivation Strategy for Telecommunication Protocols
    Forostyanova, F.
    [J]. PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
  • [8] On FSM-based fault diagnosis
    Pap, Z
    Csopaki, G
    Dibuz, S
    [J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 159 - 174
  • [9] Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines
    Fragal, Vanderson Hafemann
    Simao, Adenilso
    Endo, Andre Takeshi
    Mousavi, Mohammad Reza
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 329 - 336
  • [10] FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing
    El-Fakih, K. A.
    Dorofeeva, R.
    Yevtushenko, N. V.
    Bochmann, G. V.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2012, 38 (04) : 201 - 209
12345