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 条
  • [31] FSM-Based Pronunciation Modeling using Articulatory Phonological Code
    Hu, Chi
    Zhuang, Xiaodan
    Hasegawa-Johnson, Mark
    [J]. 11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 3 AND 4, 2010, : 2274 - 2277
  • [32] Genetic algorithms for automated negotiations: A FSM-based application approach
    Tu, MT
    Wolff, E
    Lamersdorf, W
    [J]. 11TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATION, PROCEEDINGS, 2000, : 1029 - 1033
  • [33] Low Area FSM-Based Memory BIST for Synchronous SRAM
    Noor, Nur Qamarina Mohd
    Yusof, Yusrina
    Saparon, Azilah
    [J]. CSPA: 2009 5TH INTERNATIONAL COLLOQUIUM ON SIGNAL PROCESSING AND ITS APPLICATIONS, PROCEEDINGS, 2009, : 409 - 412
  • [34] Using an SMT Solver for Checking the Completeness of FSM-Based Tests
    Vinarskii, Evgenii
    Laputenko, Andrey
    Yevtushenko, Nina
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2020, 2020, 12543 : 289 - 295
  • [35] Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing
    Asoudeh, Nesa
    Labiche, Yvan
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018), 2018, 10890 : 199 - 215
  • [36] Area-Effective Programmable FSM-Based MBIST for Synchronous SRAM
    Noor, Nur Qamarina Mohd
    Saparon, Azilah
    Yusof, Yusrina
    Adnan, Mahmud
    [J]. 2009 1ST ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2009, : 203 - +
  • [37] An FSM-based IP Protection Technique using Added Watermarked States
    Kim-Hung Nguyen
    Trong-Thuc Hoang
    Trong-Tu Bui
    [J]. 2013 INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR COMMUNICATIONS (ATC), 2013, : 718 - 723
  • [38] CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme
    Rahman, Mridha Md Mashahedur
    Rahman, M. Sazadur
    Kibria, Rasheed
    Borza, Mike
    Reddy, Bandy
    Cron, Adam
    Rahman, Fahim
    Tehranipoor, Mark
    Farahmandi, Farimah
    [J]. 2023 IEEE 41ST VLSI TEST SYMPOSIUM, VTS, 2023,
  • [39] FSM-based Wi-Fi Power Estimation Method for Smart Devices
    Li, Jian
    Xiao, Jin
    Hong, James Won-Ki
    Boutaba, Raouf
    [J]. PROCEEDINGS OF THE 2015 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM), 2015, : 147 - 155
  • [40] FSM-based model for spatio-temporal event recognition for HCS
    Ahmed, Wamiq Manzoor
    Liu, Jia
    Lenz, Dominik
    Ghafoor, Arif
    Robinson, J. Paul
    [J]. ICSC 2007: INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING, PROCEEDINGS, 2007, : 569 - +
12345