A Testability Analysis for Data-Flow Designs of Reactive Real-Time Systems

H.V. Do, C. Robach, M. Delaunay, and J.-S. Cruz (France)


Reactive Real-Time Software, Data-Flow Design, Testabil ity Analysis.


Reactive real-time systems require a very high level of con fidence. The validation of these systems is very important since it ensures the confidence in these systems. Two main activities of the validation are the proof of some parts of the system, and the testing of the system. However, testing of reactive systems is complex and expensive. This is where a testability analysis can help, by appraising the ease with which testing can be undertaken. In this paper, we propose a method to analyze automatically the testability of data-flow designs of reactive real-time sys tems. This method, which is based on the SATAN technol ogy, allows testability of reactive systems to be measured very soon during specification stage. Thus, weaknesses of the design can be detected, and the system can be improved in terms of testability.

Important Links:

Go Back