Analysis of Testability Metrics for Lustre/Scade Programs
Lydie du Bousquet, Michel Delaunay, Huy-Vu Do, Chantal Robach · 2010
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.