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 条
  • [21] Test case generation and reduction by automated input-output analysis
    Saraph, P
    Last, M
    Kandel, A
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 768 - 773
  • [22] A complete test sequence using cyclic sequence for conformance testing
    Nyang, D
    Lim, SY
    Song, J
    COMPUTER COMMUNICATIONS, 1999, 22 (15-16) : 1447 - 1456
  • [23] Sound and mechanised compositional verification of input-output conformance
    Sampaio, Augusto
    Nogueira, Sidney
    Mota, Alexandre
    Isobe, Yoshinao
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (04): : 289 - 319
  • [24] Complete test sequence using cyclic sequence for conformance testing
    Nyang, D.
    Lim, S.Y.
    Song, J.
    Computer Communications, 1999, 22 (15): : 1447 - 1456
  • [25] Logical Characterisations and Compositionality of Input-Output Conformance Simulation
    Aceto, Luca
    Fabregas, Ignacio
    Gregorio-Rodriguez, Carlos
    Ingolfsdottir, Anna
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 37 - 48
  • [26] 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
  • [27] Automated Conformance Testing of Java']Java Virtual Machines
    Calvagna, Andrea
    Tramontana, Emiliano
    2013 SEVENTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS (CISIS), 2013, : 547 - 552
  • [28] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3103 : 1429 - 1430
  • [29] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 1429 - 1430
  • [30] Conformance testing of FMI calling sequence for simulation environments
    Mukbil, Awad
    Durak, Umut
    Hartmann, Sven
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2019, 10 (02)
12345