Testability Analysis for Graphically Described Algorithms of Reactive Systems

International audienceReactive Real-Time Systems require very high level of confidence. The validation, which ensures the confidence of these systems, is often difficult and expensive. A testability analysis at the design phase of a system can identify parts that are difficult for system testing. Such an analysis helps the designer to improve the design, reduces the cost of the validation, and increases the confidence of the system. During the development of Reactive Real-Time systems, graphic environments are often used to design systems. Our approach allows analyzing automatically the testability of systems from their graphical descriptions