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 条
  • [41] Tools for support of automata-based programming
    Gurov, V. S.
    Mazin, M. A.
    Narvsky, A. S.
    Shalyto, A. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2007, 33 (06) : 343 - 355
  • [42] Cellular Automata-Based LDPC Decoder
    Queen, C. Abisha
    Anbuselvi, M.
    Salivahanan, S.
    ARTIFICIAL INTELLIGENCE AND EVOLUTIONARY COMPUTATIONS IN ENGINEERING SYSTEMS, ICAIECES 2015, 2016, 394 : 885 - 894
  • [43] Cellular automata-based noise generator
    Kokolakis, I
    Koukopoulos, S
    Andreadis, I
    Boutalis, Y
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1999, 336 (05): : 799 - 808
  • [44] A learning automata-based memetic algorithm
    Mirsaleh, M. Rezapoor
    Meybodi, M. R.
    GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 2015, 16 (04) : 399 - 453
  • [45] A formal approach to property testing in causally consistent distributed traces
    Hallal, HH
    Boroday, S
    Petrenko, A
    Ulrich, A
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (01) : 63 - 83
  • [46] Automata-based representations for infinite graphs
    La Torre, S
    Napoli, M
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (04): : 311 - 330
  • [47] Specification and analysis of automata-based designs
    Bryans, J
    Blair, L
    Bowman, H
    Derrick, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 176 - 193
  • [48] A learning automata-based memetic algorithm
    M. Rezapoor Mirsaleh
    M. R. Meybodi
    Genetic Programming and Evolvable Machines, 2015, 16 : 399 - 453
  • [49] An Automata-Based View on Configurability and Uncertainty
    Berglund, Martin
    Schaefer, Ina
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 80 - 98
  • [50] Competing with Automata-based Expert Sequences
    Mohri, Mehryar
    Yang, Scott
    INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 84, 2018, 84
12345