Time constraint and test case generation in conformance testing

被引：0
|
作者：
Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China [1 ]
不详 [2 ]
机构：
来源：
Hsi An Chiao Tung Ta Hsueh | 2006年 / 4卷 / 381-385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A test case generation approach for conformance testing of SDL systems
    Bourhfir, C
    Aboulhamid, E
    Dssouli, R
    Rico, N
    COMPUTER COMMUNICATIONS, 2001, 24 (3-4) : 319 - 333
  • [2] A test case generation tool for conformance testing of SDL systems
    Bourhfir, C
    Dssouli, R
    Aboulhamid, E
    Rico, N
    SDL'99: THE NEXT MILLENNIUM, 1999, : 405 - 419
  • [3] A test sequence generation method for protocol conformance testing
    Zhang X.
    Yang M.
    Luo W.
    Geng G.
    Gaojishu Tongxin/Chinese High Technology Letters, 2011, 21 (10): : 1034 - 1041
  • [4] Automatic test case generation from the industrial point of view: Conformance testing in Iskratel
    Frey-Pucko, M
    Kapus-Kolar, M
    Novak, R
    TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS, 1999, 21 : 347 - 362
  • [5] A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols
    Bourhfir, C
    Dssouli, R
    Aboulhamid, E
    Rico, N
    TESTING OF COMMUNICATING SYSTEMS, 1998, : 279 - 294
  • [6] Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
    Liu, Shaoying
    Nakajima, Shin
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (02) : 691 - 712
  • [7] Conformance Testing Based on UML State Machines Automated Test Case Generation, Execution and Evaluation
    Seifert, Dirk
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 45 - 65
  • [8] Conformance testing with labelled transition systems: Implementation relations and test generation
    Tretmans, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 49 - 79
  • [9] Data abstraction and constraint solving for conformance testing
    Calamé, JR
    Ioustinova, N
    van de Pol, J
    Sidorova, N
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 541 - 548
  • [10] ON STATIC AND DYNAMIC TEST CASE SELECTIONS IN PROTOCOL CONFORMANCE TESTING
    CHANSON, ST
    LI, Q
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 255 - 266
12345