T.B. Nguyen, M. Delaunay, and C. Robach (France)
Software Metrics, Testability Analysis, Testing Criteria.
In this paper, we propose the use of the Static Single Assignment form, which was originally proposed for code optimization in compilation techniques, to transform software components into a data-flow representation. Thus, some hardware testability concepts can be used to analyze the testability of components that are described by C or Ada programs. Such a testability analysis helps designers during the specification phases of their components and testers during testing during the testing phases to evaluate and eventually to modify the design.
Important Links:
Go Back
