Testability Analysis of Data-Flow Software

Citations of this article
Mendeley users who have this article in their library.


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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free