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 条
  • [21] FSM-based programmable memory BIST with macro command
    Tsai, PC
    Wang, SJ
    Chang, FM
    [J]. 2005 IEEE INTERNATIONAL WORKSHOP ON MEMORY TECHNOLOGY, DESIGN, AND TESTING - PROCEEDINGS, 2005, : 72 - 77
  • [22] A FSM-Based hardware monitoring technology for packet processing
    Li, Jun-Nan
    Hu, Kai
    Li, Tao
    Tang, Lu
    [J]. Ruan Jian Xue Bao/Journal of Software, 2016, 27 : 50 - 57
  • [23] FSM-based fault detection for sensor node software
    Ma, Jun-Yan
    Zhou, Xing-She
    Li, Shi-Ning
    [J]. Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2013, 36 (02): : 107 - 112
  • [24] FSM-Based Object-Oriented Organization Modeling and Simulation
    Merunka, Vojtech
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 398 - 412
  • [25] On FSM-Based Testing An Empirical Study: Complete Round-Trip Versus Transition Trees
    Khalil, Hoda
    Labiche, Yvan
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 305 - 315
  • [26] Unique input/output set: Universal formal method for automated testing FSM-based systems
    El-Gendy, H
    EL Kadhi, N
    [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 242 - 247
  • [27] Testing from partial deterministic FSM specifications
    Petrenko, A
    Yevtushenko, N
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2005, 54 (09) : 1154 - 1165
  • [28] Reducing FSM-Based Test Suites with Guaranteed Fault Coverage
    Cutigi, Jorge Francisco
    Simao, Adenilso
    Souza, Simone R. S.
    [J]. COMPUTER JOURNAL, 2016, 59 (08): : 1129 - 1143
  • [29] Object-Oriented FSM-Based Approach to Process Modelling
    Tuma, Jakub
    Merunka, Vojtech
    Pergl, Robert
    [J]. MODERN TRENDS AND TECHNIQUES IN COMPUTER SCIENCE (CSOC 2014), 2014, 285 : 597 - 606
  • [30] An FSM-based Automatic Detection in AODV for Ad Hoc network
    Ye, Xia
    Li, Junshan
    [J]. 2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 605 - 609
12345