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

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 t...

Full description

Saved in:
Bibliographic Details
Published in2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications pp. 315 - 318
Main Authors Cavalli, Ana Rosa, De Oca, Edgardo Montes, Mallouli, Wissam, Lallali, Mounir
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2008
Subjects
Active and Passive Testing
Automatic testing
Computational modeling
Costs
Formal specifications
Formal Testing
Protocols
Real time systems
Software testing
System testing
Telecommunications
Time factors
Online AccessGet full text
ISBN0769534252
9780769534251
ISSN1550-6525
DOI10.1109/DS-RT.2008.43

Cover

More Information
Summary: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 set of formal properties called Invariants.
ISBN:0769534252
9780769534251
ISSN:1550-6525
DOI:10.1109/DS-RT.2008.43