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 条
  • [1] Conformance testing for real-time systems
    Moez Krichen
    Stavros Tripakis
    Formal Methods in System Design, 2009, 34 : 238 - 304
  • [2] Conformance testing for real-time systems
    Krichen, Moez
    Tripakis, Stavros
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (03) : 238 - 304
  • [3] TAM - A FORMAL FRAMEWORK FOR THE DEVELOPMENT OF DISTRIBUTED REAL-TIME SYSTEMS
    SCHOLEFIELD, DJ
    ZEDAN, HSM
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 411 - 428
  • [4] Conformance testing to real-time communications systems
    Koné, O
    COMPUTER COMMUNICATIONS, 2002, 25 (01) : 32 - 45
  • [5] An expressive and implementable formal framework for testing real-time systems
    Krichen, M
    Tripakis, S
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 209 - 225
  • [6] Conformance testing of real-time component based systems
    Tarhini, A
    Fouchal, H
    ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 167 - 181
  • [7] Testing distributed real-time systems
    Thane, H
    Hansson, H
    MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 463 - 478
  • [8] Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
    Zoebel, Dieter
    Polock, David
    van Arkel, Andreas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 315 - 332
  • [9] Black-box conformance testing for real-time systems
    Krichen, M
    Tripakis, S
    MODEL CHECKING SOFTWARE, 2004, 2989 : 109 - 126
  • [10] A Formal Architecture Pattern for Real-Time Distributed Systems
    Al-Nayeem, Abdullah
    Sun, Mu
    Qiu, Xiaokang
    Sha, Lui
    Miller, Steven P.
    Cofer, Darren D.
    2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, : 161 - +
12345