Automated unique input output sequence generation or conformance testing of FSMs

被引：0
|
作者：
Derderian, Karnig [1 ]
Hierons, Robert M. [1 ]
Harman, Mark [2 ]
Guo, Qiang [3 ]
机构：
[1] Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex UB8 3PH, United Kingdom
[2] Department of Computer Science, King's College London, London WC2R 2LS, United Kingdom
[3] Department of Computer Science, University of Sheffield, Sheffield S1 4DP, United Kingdom
来源：
Computer Journal | 2006年 / 49卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：331 / 344
相关论文
共 50 条
  • [31] Time constraint and test case generation in conformance testing
    Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
    不详
    Hsi An Chiao Tung Ta Hsueh, 2006, 4 (381-385):
  • [32] Logical characterisations, rule formats and compositionality for input-output conformance simulation
    Aceto, Luca
    Fabregas, Ignacio
    Gregorio-Rodriguez, Carlos
    Ingolfsdottir, Anna
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 106 (78-106) : 78 - 106
  • [33] A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
    Carvalho, Gustavo
    Sampaio, Augusto
    Mota, Alexandre
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 148 - 164
  • [34] Compositional Verification of Input-Output Conformance via CSP Refinement Checking
    Sampaio, Augusto
    Nogueira, Sidney
    Mota, Alexandre
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 20 - 48
  • [35] Effectiveness for Input Output Conformance Simulation ioco(s)under-bar
    Gregorio-Rodriguez, Carlos
    Llana, Luis
    Martinez-Torres, Rafael
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 100 - 116
  • [36] Automated functional conformance test generation for semantic web services
    Paradkar, Amit M.
    Sinha, Avik
    Williams, Clay
    Johnson, Robert D.
    Outterson, Susan
    Shriver, Charles
    Liang, Carol
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 110 - +
  • [37] Automatic generation of conformance tests from Message Sequence Charts
    Baker, P
    Bristow, P
    Jervis, C
    King, D
    Mitchell, B
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 170 - 198
  • [38] Obtaining unique input/output sequences of communication protocols
    Ming Chuan Univ, Taipei, Taiwan
    IEICE Trans Commun, 10 (1509-1513):
  • [39] Obtaining unique input/output sequences of communication protocols
    Chen, WH
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1997, E80B (10) : 1509 - 1513
  • [40] A two-level approach to automated conformance testing of VHDL designs
    Moonen, J
    Romijn, J
    Sies, O
    Springintveld, J
    Feijs, L
    Koymans, R
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 432 - 447
12345