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 条
  • [31] Conformance testing for real-time systems
    Moez Krichen
    Stavros Tripakis
    [J]. Formal Methods in System Design, 2009, 34 : 238 - 304
  • [32] Testing the conformance and interoperability of BACnet(TM) systems
    Bushby, ST
    [J]. ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1996, 38 (11): : 45 - &
  • [33] Conformance testing for real-time systems
    Krichen, Moez
    Tripakis, Stavros
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (03) : 238 - 304
  • [34] Using TTCN for radio conformance test systems
    Poncela-Gonzalez, Javier
    Gomez-Salvador, Juan
    Valero-Roldan, Carlos
    Fernandez-Plazaola, Unai
    [J]. SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 69 - +
  • [35] On conformance testing of non-deterministic systems
    Ye, XM
    Zhou, JT
    Song, XY
    Liu, YM
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2001, 77 (01) : 55 - 72
  • [36] An approach to production conformance testing for parts of large systems
    Miller, P
    [J]. ELECTROMAGNETIC COMPATIBILITY 1999, 1999, : 33 - 38
  • [37] Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
    Roehm, Hendrik
    Rausch, Alexander
    Althoff, Matthias
    [J]. MATHEMATICS, 2022, 10 (19)
  • [38] Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
    Aichernig, Bernhard K.
    Brandl, Harald
    Wotawa, Franz
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (02) : 53 - 69
  • [39] Architectural conformance checking for KDM-represented systems
    Landi, Andre de S.
    San Martin, Daniel
    Santos, Bruno M.
    Cunha, Warteruzannan S.
    Durelli, Rafael S.
    Camargo, Valter V.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 183
  • [40] Conformance checking of communicating resource systems with RAs calculus
    Dwornikowski, Dariusz
    Stroinski, Andrzej
    Brzezinski, Jerzy
    [J]. 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2015), 2015, : 759 - 764
12345