This paper is about testability analysis for data-flow software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of critical data-flow software, such as avionics software. We first propose the transformation of the source code generated from data-flow designs into the Static Single Assignment (SSA) form; then we describe the algorithm to automatically translate the SSA form into a testability model. Thus, analyzing the testability model can allow the detection of the software parts which induce a testability weakness. © 2005 Published by Elsevier B.V.
Nguyen, T. B., Delaunay, M., & Robach, C. (2005). Testability Analysis of Data-Flow Software. In Electronic Notes in Theoretical Computer Science (Vol. 116, pp. 213–225). https://doi.org/10.1016/j.entcs.2004.02.078