A framework for conformance testing of systems communicating through rendezvous

被引：0
|
作者：
Tan, QM [1 ]
Petrenko, A [1 ]
vonBochmann, G [1 ]
机构：
[1] UNIV MONTREAL,DEPT IRO,MONTREAL,PQ H3C 3J7,CANADA
来源：
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING | 1996年
关键词：
D O I：
10.1109/FTCS.1996.534610
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：230 / 238
页数：9
相关论文
共 50 条
  • [1] Conformance Testing for Asynchronously Communicating Services
    Kaschner, Kathrin
    [J]. SERVICE-ORIENTED COMPUTING, 2011, 7084 : 108 - 124
  • [2] A Formal Framework for Conformance Testing of Distributed Real-Time Systems
    Krichen, Moez
    [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 139 - 142
  • [3] METHODOLOGY AND FRAMEWORK FOR OSI CONFORMANCE TESTING
    RAYNER, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 400 - 421
  • [4] On Conformance Testing for Timed Systems
    Schmaltz, Julien
    Tretmans, Jan
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 250 - 264
  • [5] 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
  • [6] Research on Web service interoperability testing framework with conformance testing
    Youyuan, Fang
    Tianyang, Gu
    [J]. World Academy of Science, Engineering and Technology, 2010, 69 : 158 - 160
  • [7] Conformance testing techniques for timed systems
    Fouchal, H
    [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 1 - 19
  • [8] Conformance testing in systems with semicontrollable interfaces
    Fecko, MA
    Uyar, MÜ
    Amer, PD
    Sethi, AS
    [J]. ANNALS OF TELECOMMUNICATIONS, 2000, 55 (1-2) : 70 - 83
  • [9] Testing the conformance and interoperability of BACnet systems
    Bushby, Steven T.
    [J]. ASHRAE Journal, 1996, 38 (11): : 45 - 49
  • [10] Conformance testing relations for timed systems
    Nunez, Manuel
    Rodriguez, Ismael
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 103 - 117
12345