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 条
  • [21] Optimal test sequence generation in state based testing using moth flame optimization algorithm
    Sharma, Rashmi
    Saha, Anju
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2018, 35 (05) : 5203 - 5215
  • [22] UIOE:: a protocol test sequence generation method using the transition executability analysis (TEA)
    Huang, CM
    Chiang, MS
    Jang, MY
    COMPUTER COMMUNICATIONS, 1998, 21 (16) : 1462 - 1475
  • [23] Test sequence generation of a communication protocol by an heuristic state configuration exploration
    Shu, Ting
    Sun, Shou-Qian
    Wang, Hai-Ning
    Xu, Wei-Qiang
    Li, Wen-Shu
    Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2009, 32 (06): : 120 - 124
  • [24] A SAT Based Test Generation Method for Delay Fault Testing of Macro Based Circuits
    Mele, Santino
    Favalli, Michele
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2011, 30 (04) : 631 - 635
  • [25] Sequence search algorithm assessment and testing toolkit (SAT)
    Park, J
    Holm, L
    Chothia, C
    BIOINFORMATICS, 2000, 16 (02) : 104 - 110
  • [26] ON TEST COVERAGE METRICS FOR COMMUNICATION PROTOCOLS
    VUONG, ST
    ALILOVICCURGUS, J
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 31 - 45
  • [27] SYNCHRONIZABLE TEST SEQUENCE GENERATION USING UIO SEQUENCES
    URAL, H
    WANG, ZP
    COMPUTER COMMUNICATIONS, 1993, 16 (10) : 653 - 661
  • [28] Study of genetic algorithm method for circuit test generation
    Pan, Zhongliang
    Chen, Guangju
    Dianzi Keji Daxue Xuebao/Journal of University of Electronic Science and Technology of China, 26 (05): : 511 - 514
  • [29] An algorithm for assembly sequence generation using mating constraints
    Xiao, X.
    Yin, W.-S.
    Yue, J.-P.
    Wang, Q.-F.
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2001, 13 (08): : 730 - 735
  • [30] Enhancing SAT-Based Test Pattern Generation
    刘歆
    熊有伦
    Journal of Electronic Science and Technology, 2005, (02) : 134 - 139
12345