Conformance of distributed systems

被引：0
|
作者：
Frey, M
Schlingloff, BH
机构：
[1] O2 Germany GMBH & CO OHG, D-80992 Munich, Germany
[2] Humboldt Univ, Inst Informat, D-12489 Berlin, Germany
[3] Fraunhofer Inst Rechnerarchitektur & Softwaretech, D-12489 Berlin, Germany
来源：
TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS | 2003年 / 2644卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper introduces a new conformance relation-between a specification and an implementation of a distributed system. It is based on a local view which allows to avoid or reduce the state explosion problem. The conformance relation is defined via Petri nets and shows not only equivalence between transitions but also equivalence between local states. This equivalence depends on the structural properties of the Petri net and is independent of any specific initial marking. We compare our notion of conformance to classical ones and give model checking and test case generation algorithms for it.
引用
收藏
页码：163 / 179
页数：17
相关论文
共 50 条
  • [1] Conformance Testing of Distributed Concurrent Systems with Executable Designs
    Aichernig, Bernhard K.
    Griesmayer, Andreas
    Johnsen, Einar Broch
    Schlatte, Rudolf
    Stam, Andries
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 61 - 81
  • [2] A tool for fault injection and conformance testing of distributed systems
    Martins, E
    Mattiello-Francisco, MD
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 282 - 302
  • [3] Designing Distributed Systems w.r.t. Conformance
    Bhateja, Puneet
    [J]. 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 104 - 110
  • [4] A Formal Framework for Conformance Testing of Distributed Real-Time Systems
    Krichen, Moez
    [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 139 - 142
  • [5] Distributed security policy conformance
    Montanari, Mirko
    Chan, Ellick
    Larson, Kevin
    Yoo, Wucherl
    Campbell, Roy H.
    [J]. COMPUTERS & SECURITY, 2013, 33 : 28 - 40
  • [6] Distributed Security Policy Conformance
    Montanari, Mirko
    Chan, Ellick
    Larson, Kevin
    Yoo, Wucherl
    Campbell, Roy H.
    [J]. FUTURE CHALLENGES IN SECURITY AND PRIVACY FOR ACADEMIA AND INDUSTRY, 2011, 354 : 210 - 222
  • [7] Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
    Lima, Bruno
    Faria, Joao Pascoal
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 356 - 365
  • [8] Conformance test of distributed transaction service
    Xu, C
    Jin, BH
    [J]. ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 216 - 219
  • [9] Distributed Process Discovery and Conformance Checking
    van der Aalst, Wil M. P.
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 1 - 25
  • [10] Conformance Relations for Distributed Testing Based on CSP
    Cavalcanti, Ana
    Gaudel, Marie-Claude
    Hierons, Robert M.
    [J]. TESTING SOFTWARE AND SYSTEMS, 2011, 7019 : 48 - 63
12345