A Formal Framework for Conformance Testing of Distributed Real-Time Systems

被引：0
|
作者：
Krichen, Moez [1 ]
机构：
[1] Higher Inst Comp Sci & Multimedia Sfax, Res Unit Dev & Control Distributed Applicat, Sfax 3021, Tunisia
来源：
PRINCIPLES OF DISTRIBUTED SYSTEMS | 2010年 / 6490卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We extend our previous work on model-based testing [2]. We propose a formal framework for black-box conformance testing for distributed real-time systems. Our framework is based on the model of partially-observable, non-deterministic timed automata. A given distributed system can be modeled either as a single timed automaton or a network of timed automata. Our algorithm for generating test suites is based on an on-the-fly determinization of the specification automaton. Our testing architecture may be either centralized or not.
引用
收藏
页码：139 / 142
页数：4
相关论文
共 50 条
  • [21] A formal approach for architectural modeling and prototyping of distributed real-time systems
    Deng, Y
    Lu, SK
    Evangelist, M
    THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1: SOFTWARE TECHNOLOGY AND ARCHITECTURE, 1997, : 481 - 490
  • [22] A framework for the specification of test cases for real-time distributed systems
    Walter, T
    Grabowski, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) : 781 - 798
  • [23] Java']Java framework for distributed real-time embedded systems
    Silva, Elias Teodoro, Jr.
    Freitas, Edison Pignaton
    Wagner, Flavio Rech
    Carvalho, Fabiano Costa
    Pereira, Carlos Eduardo
    NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 85 - 92
  • [24] A Software Framework for Hard Real-Time Distributed Embedded Systems
    Angelov, Christo
    Sierszecki, Krzysztof
    Zhou, Feng
    PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 385 - 392
  • [25] An advanced control framework for a class of distributed real-time systems
    Song, I
    Karray, F
    Guedea, F
    SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17, 2004, 17 : 62 - 67
  • [26] A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
    Garibay-Martinez, Ricardo
    Ferreira, Luis Lino
    Pinho, Luis Miguel
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 39 - 46
  • [27] A Code Generation Framework for Distributed Real-Time Embedded Systems
    Bambagini, Mario
    Di Natale, Marco
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [28] A novel scheduling framework for open distributed real-time systems
    Tan, Pengliu
    Zhang, Minghu
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3449 - 3454
  • [29] Testing deadlock-freeness in real-time systems: A formal approach
    Bordbar, B
    Okano, K
    FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 95 - 109
  • [30] Model-Based Testing of Real-Time Distributed Systems
    Vain, Jueri
    Halling, Evelin
    Kanter, Gert
    Anier, Aivo
    Pal, Deepak
    DATABASES AND INFORMATION SYSTEMS, DB&IS 2016, 2016, 615 : 272 - 286
12345