Automatic generation of test purposes for testing distributed systems

被引：0
|
作者：
Henniger, O
Lu, M
Ural, H
机构：
[1] Fraunhofer Inst Secure Telecooperat, D-64295 Darmstadt, Germany
[2] Univ Ottawa, Sch Informat Technol & Engn, Ottawa, ON K1N 6N5, Canada
来源：
FORMAL APPROACHES TO SOFTWARE TESTING | 2004年 / 2931卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present an algorithm for generating test purpose descriptions in form of MSC's from a given labeled event structure that represents the behavior of a system of asynchronously communicating extended finite state machines. The labeled event structure is a non-interleaving behavior model describing the behavior of a system in terms of the partial ordering of events.
引用
收藏
页码：178 / 191
页数：14
相关论文
共 50 条
  • [1] Test of distributed, cooperative Systems - Test Generation and automatic Test Execution
    Krause, Jan
    Holzmueller, Bernd
    [J]. AUTOMATION 2011, 2011, 213 : 73 - 77
  • [2] A PVM tool for automatic test generation on parallel and distributed systems
    Corno, F
    Prinetto, P
    Rebaudengo, M
    Reorda, MS
    Veiluva, E
    [J]. HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1995, 919 : 39 - 44
  • [3] AUTOMATIC TESTING AND AUTOMATIC TEST SYSTEMS FOR COMMUNICATIONS SYSTEMS
    BEARCROFT, K
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1972, CO20 (05) : 1029 - +
  • [4] Implementation of a test model generation for testing distributed systems with middleware layers
    Chen, J
    Li, CH
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XV, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS III, 2002, : 332 - 337
  • [5] AUTOMATIC TEST PATTERN GENERATION WITH BRANCH TESTING
    MAKKI, RZ
    BOUGHAZALE, S
    TIANSHANG, C
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (06) : 785 - 791
  • [6] AUTOMATED GENERATION OF TEST PURPOSES FOR THE OSI DISTRIBUTED TRANSACTION PROCESSING PROTOCOL
    BARKER, RM
    BRADY, FA
    [J]. PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 273 - 288
  • [7] Automatic Test Generation for Mutation Testing on Database Applications
    Pan, Kai
    Wu, Xintao
    Xie, Tao
    [J]. 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), 2013, : 111 - 117
  • [8] An Approach to Automatic Test Case Generation for Unit Testing
    Liu, Pan
    Xu, Zhenning
    Ai, Jun
    [J]. 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 545 - 552
  • [9] Automatic generation of run-time test oracles for distributed real-time systems
    Wang, X
    Wang, J
    Qi, ZC
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 199 - 212
  • [10] Automatic Distribution of Local Testers for Testing Distributed Systems
    Vain, Jueri
    Halling, Evelin
    Kanter, Gert
    Anier, Aivo
    Pal, Deepak
    [J]. DATABASES AND INFORMATION SYSTEMS IX, 2016, 291 : 297 - 310
12345