A framework for the specification of test cases for real-time distributed systems

被引:9
|
作者
Walter, T
Grabowski, J
机构
[1] Swiss Fed Inst Technol, Comp Engn & Networks Lab, CH-8092 Zurich, Switzerland
[2] Univ Lubeck, Inst Telemat, D-23538 Lubeck, Germany
关键词
software testing; conformance testing; real-time; real-time distributed systems; testing architectures; test notations; real-time distributed systems resting;
D O I
10.1016/S0950-5849(99)00037-3
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The OSI conformance testing methodology and framework (CTMF) is a well established standard which defines and regulates the conformance testing procedure for protocol implementations. Conformance testing is meant to be functional black-box testing. Besides concepts and terminology, the CTMF standardizes testing architectures and the Tree and Tabular Combined Notation (TTCN) test specification language. As more and more distributed systems such as multimedia, safety-critical and real-time systems rely on the timely availability of information, testing of real-time requirements becomes a serious issue, too. Unfortunately, testing real-time and other non-functional requirements (performance and reliability) are outside the scope of CTMF. In this paper we present an extension of CTMF which allows us to specify rest cases for testing real-time requirements. The extension includes a generic testing architecture and a notation for test specification, which is called real-time TTCN. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:781 / 798
页数:18
相关论文
共 50 条
  • [1] Specification and modeling of dynamic, distributed real-time systems
    Welch, LR
    Ravindran, B
    Shirazi, BA
    Bruggeman, C
    [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 72 - 81
  • [2] COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS
    SHYAMASUNDAR, RK
    LIU, LY
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 75 - 93
  • [3] Real-time framework for distributed embedded systems
    Chaaban, K
    Crubillé, P
    Shawky, M
    [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 96 - 107
  • [4] Model Checking MASL Specification of Distributed Real-Time Systems
    Bugaichenko, D. Yu.
    [J]. VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (03) : 201 - 208
  • [5] Verifying automata specification of distributed probabilistic real-time systems
    Luo Tiegeng
    Chen Huowang
    Wang Bingshan
    Wang Ji
    Gong Zhenghu
    Qi Zhichang
    [J]. Journal of Computer Science and Technology, 1998, 13 (6) : 588 - 596
  • [6] A process algebraic framework for specification and validation of real-time systems
    Sherif, Adnan
    Cavalcanti, Ana
    He Jifeng
    Sampaio, Augusto
    [J]. FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 153 - 191
  • [7] A Framework for Specification and Verification of Timeout Models of Real-Time Systems
    Misra, Janardan
    [J]. CONTEMPORARY COMPUTING, 2011, 168 : 146 - 157
  • [8] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [9] A specification framework for real-time scheduling
    Subramani, K
    [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 195 - 207
  • [10] A framework for modelling dependable real-time distributed systems
    Chen, YJ
    Mosse, D
    Chang, SK
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1997, 28 (11) : 1025 - 1043