Analysis of Testability Metrics for Lustre/Scade Programs

Testing is a validation process carried out to find errors in a system. Testability metrics aims at identifying parts of a design/code that are difficult to test. In this article, we focus on two testability metrics defined for systems written in Lustre/Scade. An intuitive interpretation was proposed for these metrics. The aims of the work described here is to check whether this intuitive interpretation can be consolidated with factual evidences.