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 条
  • [1] Optimal test sequence generation using firefly algorithm
    Srivatsava, Praveen Ranjan
    Mallikarjun, B.
    Yang, Xin-She
    SWARM AND EVOLUTIONARY COMPUTATION, 2013, 8 : 44 - 53
  • [2] A SAT method for improving test pattern generation
    Liu Xin
    Xiong Youlun
    ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL I, 2007, : 398 - 403
  • [3] AN OPTIMIZED TEST SEQUENCE GENERATION METHOD FOR COMMUNICATION-SYSTEMS - IMPROVED SW METHOD
    SATO, F
    MIZUNO, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (10) : 1024 - 1031
  • [4] An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator
    Osama, Muhammad
    Gaber, Lamya
    Hussein, Aziza I.
    Mahmoud, Hanafy
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2018, 34 (05): : 511 - 527
  • [5] An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator
    Muhammad Osama
    Lamya Gaber
    Aziza I. Hussein
    Hanafy Mahmoud
    Journal of Electronic Testing, 2018, 34 : 511 - 527
  • [6] A Hybrid Genetic Algorithm Based Test Case Generation Using Sequence Diagrams
    Shirole, Mahesh
    Kumar, Rajeev
    CONTEMPORARY COMPUTING, PT 1, 2010, 94 : 53 - +
  • [7] Automatic Test Path Generation from Sequence Diagram Using Genetic Algorithm
    Hoseini, Bahare
    Jalili, Saeed
    2014 7TH INTERNATIONAL SYMPOSIUM ON TELECOMMUNICATIONS (IST), 2014, : 106 - 111
  • [8] An effective method for executable test generation of EFSM Protocols
    Huang, T
    Chung, A
    PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2003, : 206 - 211
  • [9] Iterative automatic test generation method for telecommunication protocols
    Kovács, G
    Pap, Z
    Csopaki, G
    Tarnay, K
    COMPUTER STANDARDS & INTERFACES, 2006, 28 (04) : 412 - 427
  • [10] A test generation method for EFSM-based protocols using the transitions feasibility estimation
    Shu, Ting (shuting@zstu.edu.cn), 1600, Science and Engineering Research Support Society (09):
12345