Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656049 | Electronic Notes in Theoretical Computer Science | 2005 | 13 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach,