A Test Sequence Generation Method for Communication Protocols Using the SAT Algorithm

被引：2
|
作者：
Mori, Takanori [1 ,4 ]
Otsuka, Hirotaka [1 ]
Funabiki, Nobuo [2 ]
Nakata, Akio [3 ]
Higashino, Teruo [3 ]
机构：
[1] Grad. School of Engineering Science, Osaka University, Toyonaka 560-8531, Japan
[2] Dept. of Commun. Netwk. Engineering, Okayama University, Okayama 700-8530, Japan
[3] Grad. Sch. of Info. Sci./Technology, Osaka University, Toyonaka 560-8531, Japan
[4] Communication Research Laboratory, Tokyo, Japan
来源：
Systems and Computers in Japan | 2003年 / 34卷 / 11期
关键词：
D O I：
10.1002/scj.10482
中图分类号：
学科分类号：
摘要：
Network protocols
引用
收藏
页码：20 / 29
相关论文
共 50 条
  • [31] TEST CASE GENERATION FOR TRANSPORT PROTOCOLS
    RAGHAVAN, SV
    BHARGHAVAN, V
    SATISH, S
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 6 : 159 - 178
  • [32] Simulation and SAT Based ATPG for Compressed Test Generation
    Balcarek, J.
    Fiser, P.
    Schmidt, J.
    16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 445 - 452
  • [33] Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
    Kitamura, Takashi
    Maissonneuve, Quentin
    Choi, Eun-Hye
    Artho, Cyrille
    Gargantini, Angelo
    COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 : 123 - 138
  • [34] GENERATION OF NEW MARCH TESTS WITH LOW TEST POWER AND HIGH FAULT COVERAGE BY TEST SEQUENCE REORDERING USING GENETIC ALGORITHM
    Gayathri, C., V
    Kayalvizhi, N.
    Malligadevi, M.
    2009 INTERNATIONAL CONFERENCE ON ADVANCES IN RECENT TECHNOLOGIES IN COMMUNICATION AND COMPUTING (ARTCOM 2009), 2009, : 699 - 703
  • [35] Design of Dynamic Analysis and Grammmar Generation Method in Industrial Control Protocols Test
    Ni, Zhen
    Li, Qianmu
    Li, Ting
    2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 216 - 221
  • [36] A Test Pattern Compaction Method Using SAT-Based Fault Grouping
    Matsunaga, Yusuke
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016, E99A (12): : 2302 - 2309
  • [37] A test generation method using a compacted test table and a test generation method using a compacted test plan table for RTL data path circuits
    Hosokawa, T
    Date, H
    Muraoka, M
    20TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2002, : 328 - 335
  • [38] Interoperability test suite derivation for communication protocols
    Kang, SW
    Shin, JW
    Kim, M
    COMPUTER NETWORKS, 2000, 32 (03) : 347 - 364
  • [39] Multi-Objective Optimization of Test Sequence Generation using Multi-Objective Firefly Algorithm (MOFA)
    Iqbal, Nabiha
    Zafar, Kashif
    Zyad, Waqas
    2014 INTERNATIONAL CONFERENCE ON ROBOTICS AND EMERGING ALLIED TECHNOLOGIES IN ENGINEERING (ICREATE), 2014, : 214 - 220
  • [40] Test Service for Higher Communication Protocols.
    Giessler, Alfred
    NTZ. Nachrichtentechnische Zeitschrift, 1983, 36 (01): : 10 - 14
12345