An automata-based approach to property testing in event traces

被引：0
|
作者：
Hallal, H
Boroday, S
Ulrich, A
Petrenko, A
机构：
[1] CRIM, Montreal, PQ H3A 1B9, Canada
[2] Siemens AG, Crop Technol SE1, D-81739 Munich, Germany
来源：
TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS | 2003年 / 2644卷
关键词：
monitoring; passive testing; distributed traces; property checking; SDL;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that the model exactly characterizes the causality relation between the events in the observed trace. We present the implementation of this approach in SDL, where ObjectGEODE is used to verify properties, and illustrate the approach with an industrial case study.
引用
收藏
页码：180 / 196
页数：17
相关论文
共 50 条
  • [1] A compositional automata-based semantics and preserving transformation rules for testing property patterns
    Taha, Safouan
    Julliand, Jacques
    Dadeau, Frederic
    Castillos, Kalou Cabrera
    Kanso, Bilal
    FORMAL ASPECTS OF COMPUTING, 2015, 27 (04) : 641 - 664
  • [2] An automata-based approach to CSCW verification
    Papadopoulos, C
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2004, 13 (02) : 183 - 209
  • [3] Automata-Based Software Engineering with Event-B
    Shelekhov, V. I.
    PROGRAMMING AND COMPUTER SOFTWARE, 2023, 49 (05) : 470 - 483
  • [4] Automata-Based Software Engineering with Event-B
    V. I. Shelekhov
    Programming and Computer Software, 2023, 49 : 470 - 483
  • [5] AUTOMATA-BASED APPROACH FOR KERNEL TRACE ANALYSIS
    Matni, Gabriel
    Dagenais, Michel
    2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1 AND 2, 2009, : 219 - 222
  • [6] An Automata-based Approach for CTL star With Constraints
    Gascon, Regis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 239 : 193 - 211
  • [7] Symbolic string verification: An automata-based approach
    Yu, Fang
    Bultan, Tevfik
    Cova, Marco
    Ibarra, Oscar H.
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 306 - 324
  • [8] Logic programming approach to automata-based decision procedures
    Unel, Gulay
    Toman, David
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 165 - +
  • [9] ANTICHAINS FOR THE AUTOMATA-BASED APPROACH TO MODEL-CHECKING
    Doyen, Laurent
    Raskin, Jean-Francois
    LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (01)
  • [10] Automata-Based Approach to Design and Analyze Security Policies
    Krombi, Wadie
    Erradi, Mohammed
    Khoumsi, Ahmed
    2014 TWELFTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2014, : 306 - 313
12345