Test sequence generation of a communication protocol by an heuristic state configuration exploration

被引：0
作者：
Shu, Ting [1 ,2 ]
Sun, Shou-Qian [1 ]
Wang, Hai-Ning [1 ]
Xu, Wei-Qiang [2 ]
Li, Wen-Shu [2 ]
机构：
[1] College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China
[2] College of Informatics and Electronics, Zhejiang Sci-Tech University, Hangzhou 310018, China
来源：
Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications | 2009年 / 32卷 / 06期
关键词：
Testing;
D O I：
暂无
中图分类号：
TN911 [通信理论];
学科分类号：
081002 ;
摘要：
引用
收藏
页码：120 / 124
相关论文
共 12 条
  • [1] Verification and conformance test generation of communication protocol for railway signaling systems
    Lee, Jae-Dong
    Jung, Jae-Il
    Lee, Jae-Ho
    Hwang, Jong-Gyu
    Hwang, Jin-Ho
    Kim, Sung-Un
    COMPUTER STANDARDS & INTERFACES, 2007, 29 (02) : 143 - 151
  • [2] HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy
    Su, Zhuo
    Yu, Zehong
    Wang, Dongyan
    Yang, Yixiao
    Wang, Rui
    Chang, Wanli
    Cui, Aiguo
    Jiang, Yu
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (12) : 3088 - 3103
  • [3] Test Sequence Generation from Classification Trees
    Kruse, Peter M.
    Wegener, Joachim
    SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, 2011, : 807 - +
  • [4] Design of the smart meter communication protocol performance testing method based on configuration software
    Wang Sike
    Ye Li
    Shu Kaiqi
    Shen Li
    PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON TEST AUTOMATION & INSTRUMENTATION, VOLS 1 AND 2, 2014, : 621 - 625
  • [5] Dynamic state traversal for sequential circuit test generation
    Hsiao, MS
    Rudnick, EM
    Patel, JH
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2000, 5 (03) : 548 - 565
  • [6] Timed test cases generation based on state characterization technique
    En-Nouaary, A
    Dssouli, R
    Khendek, F
    Elqortobi, A
    19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 220 - 229
  • [7] ASM-based testing: Coverage criteria and automatic test sequence generation
    Gargantini, A
    Riccobene, E
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11) : 1050 - 1067
  • [8] A HIL Test Approach for Data Generation on CAN Communication Under Disturbance Injections
    Pohren, Daniel H.
    Roque, Alexandre S.
    de Freitas, Edison P.
    Pereira, Carlos E.
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2025, 21 (03) : 2729 - 2737
  • [9] Test Case Generation from UML State Machine Diagram: A Survey
    Aggarwal, Manuj
    Sabharwal, Sangeeta
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION TECHNOLOGY (ICCCT), 2012, : 133 - 140
  • [10] Model Based Test Case Generation from UML Sequence and Interaction Overview Diagrams
    Jena, Ajay Kumar
    Swain, Santosh Kumar
    Mohapatra, Durga Prasad
    COMPUTATIONAL INTELLIGENCE IN DATA MINING, VOL 2, 2015, 32 : 247 - 257
12