Testability Analysis of Data-Flow Software

Authors:
Thanh Binh Nguyen;Michel Delaunay;Chantal Robach
Affiliations:
LCIS-ESISAR, 50, rue Barthélémy de Laffemas, Valence, 26902, France;LCIS-ESISAR, 50, rue Barthélémy de Laffemas, Valence, 26902, France;LCIS-ESISAR, 50, rue Barthélémy de Laffemas, Valence, 26902, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 10
Cited 1

NPATH: a measure of execution path complexity and its applications

Communications of the ACM
Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)
Testability of Software Components

IEEE Transactions on Software Engineering
Semantic metrics for software testability

Journal of Systems and Software - Special issue on the Oregon Metric Workshop
Software Testability: The New Verification

IEEE Software
On Evaluation of Testability of Protocol Structures

Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Testability Measurements for Data Flow Designs

METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
Testability Analysis for Software Components

ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Testing Criteria for Data Flow Software

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
A Complexity Measure

IEEE Transactions on Software Engineering

Software debugging and testing using the abstract diagnosis theory

Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

Quantified Score

Hi-index	0.00

Visualization

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.