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 条
  • [31] Cellular automata-based approach for salt-and-pepper noise filtration
    Jeelani, Zubair
    Qadir, Fasel
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2022, 34 (02) : 365 - 374
  • [32] A Learning Automata-Based Approach to Lifetime Optimization in Wireless Sensor Networks
    Gasior, Jakub
    Seredynski, Franciszek
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING (ICAISC 2021), PT I, 2021, 12854 : 371 - 380
  • [33] An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
    Bombarda, Andrea
    Gargantini, Angelo
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2020, : 157 - 166
  • [34] Cellular automata-based systematic risk analysis approach for emergency response
    Ji, Xuewei
    Weng, Wenguo
    Fan, Weicheng
    RISK ANALYSIS, 2008, 28 (05) : 1247 - 1259
  • [35] High performance nanocomparator: a quantum dot cellular automata-based approach
    Khan, Angshuman
    Arya, Rajeev
    JOURNAL OF SUPERCOMPUTING, 2022, 78 (02): : 2337 - 2353
  • [36] Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation
    M'Hemdi, Hana
    Julliand, Jacques
    Masson, Pierre-Alain
    Robbana, Riadh
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 198 - 203
  • [37] Immune-like system approach to cellular automata-based scheduling
    Seredynski, F
    Swiecicka, A
    PARALLEL PROCESSING APPLIED MATHEMATICS, 2002, 2328 : 626 - 633
  • [38] An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
    Linden, Alexander
    Wolper, Pierre
    MODEL CHECKING SOFTWARE, 2010, 6349 : 212 - 226
  • [39] High performance nanocomparator: a quantum dot cellular automata-based approach
    Angshuman Khan
    Rajeev Arya
    The Journal of Supercomputing, 2022, 78 : 2337 - 2353
  • [40] Automata-Based CSL Model Checking
    Zhang, Lijun
    Jansen, David N.
    Nielson, Flemming
    Hermanns, Holger
    Automata, Languages and Programming, ICALP, Pt II, 2011, 6756 : 271 - 282
12345