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 条
  • [41] A Test Scenario Automatic Generation Strategy for Intelligent Driving Systems
    Gao, Feng
    Duan, Jianli
    He, Yingdong
    Wang, Zilong
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2019, 2019
  • [42] Automatic parallel code generation for message passing on distributed memory systems
    Johnson, SP
    Ierotheou, CS
    Cross, M
    PARALLEL COMPUTING, 1996, 22 (02) : 227 - 258
  • [43] From faults via test purposes to test cases: On the fault-based testing of concurrent systems
    Aichernig, BK
    Delgado, CC
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 3922 : 324 - 338
  • [44] Model Based Test Case Generation for Distributed Embedded Systems
    Chimisliu, Valentin
    Wotawa, Franz
    2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 656 - 661
  • [45] A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis
    Saiki, Kenya
    Liu, Shaoying
    Okamura, Hiroyuki
    Dohi, Tadashi
    2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 149 - 156
  • [46] Systematic XACML request generation for testing purposes
    Bertolino, Antonia
    Lonetti, Francesca
    Marchetti, Eda
    36TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2010, : 3 - 11
  • [47] Test purposes: adapting the notion of specification to testing
    Ledru, Y
    du Bousquet, L
    Bontron, P
    Maury, O
    Oriat, C
    Potet, ML
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 127 - 134
  • [48] Testing timed systems with timed purposes
    Fouchal, H
    Petitjean, E
    Salva, S
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 166 - 171
  • [49] A Path-Oriented Test Data Generation Approach for Automatic Software Testing
    Xu, Xiaofeng
    Chen, Yan
    Li, Xiaochao
    Guo, Donghui
    2008 2ND INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY AND IDENTIFICATION, 2008, : 63 - +
  • [50] Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion
    Wu, Tianyong
    Yan, Jun
    Zhang, Jian
    2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY, 2014, : 118 - 126
12345