Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

被引：11
|
作者：
Cavalli, Ana Rosa [1 ]
de Oca, Edgardo Montes [2 ]
Mallouli, Wissarn [1 ,2 ]
Lallali, Mounir [1 ]
机构：
[1] Telecom SudParis, Inst Telecom, CNRS, SAMOVAR, Paris, France
[2] Montimage Res Labs, F-75013 Paris, France
来源：
DS-RT 2008: 12TH 2008 IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS, PROCEEDINGS | 2008年
关键词：
Formal Testing; Active and Passive Testing; Real-Time Systems;
D O I：
10.1109/DS-RT.2008.43
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The complexity and the variety of the deployed time-dependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to the design of the best possible tests. Moreover; it is significant to automate these steps with an aim of reducing the time and the development cost and especially of increasing the reliability of the offered products. In this paper we present two different tools to test systems with time constraints. The first one allows to automatically generate test cases based on model-based active testing techniques. Whereas the second tool is based on passive testing approach to check that the collected system traces respect a silt of formal properties called Invariants.
引用
收藏
页码：315 / +
页数：2
相关论文
共 50 条
  • [1] A Formal Framework for Conformance Testing of Distributed Real-Time Systems
    Krichen, Moez
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 139 - 142
  • [2] Two architectures for testing distributed real-time systems
    Siddiquee, Shoukat Hayat
    En-Nouaary, Abdeslam
    Proc. - Int. Conf. Inf. Commun. Technol.: Theory Appl., ICTTA, (3388-3393):
  • [3] Formal passive testing of timed systems: theory and tools
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06): : 365 - 405
  • [4] Principles and tools for testing open distributed systems
    Benattou, M
    Cacciari, L
    Pasini, R
    Rafiq, O
    TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS, 1999, 21 : 77 - 92
  • [5] A Formal Passive Testing Approach For Checking Real Time Constraints
    Bessayah, Faycal
    Cavalli, Ana
    QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, 2010, : 274 - 279
  • [6] A Formal Approach to Robustness Testing of Network Protocol with Time Constraints
    Jing, Chuanming
    Yin, Xia
    Wang, Zhiliang
    Wu, Jianping
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2168 - 2174
  • [7] A formal approach to robustness testing of network protocol with time constraints
    Yin, Xia
    Wang, Zhiliang
    Jing, Chuanming
    Wu, Jianping
    SECURITY AND COMMUNICATION NETWORKS, 2011, 4 (06) : 622 - 632
  • [8] A Formal Passive Performance Testing Approach for Distributed Communication Systems
    Che, Xiaoping
    Maag, Stephane
    ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2013, : 74 - 84
  • [9] Distributed cooperative formal methods tools
    Goguen, J
    Lin, K
    Mori, A
    Rosu, G
    Sato, A
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 55 - 62
  • [10] Test execution control with timing constraints for testing distributed systems
    Laboratory of Research in Computer Science and Telecommunication, Faculty of Science Ibn Tofail University, Kenitra, Morocco
    J. Theor. Appl. Inf. Technol., 1 (486-498):
12345