Testability Analysis of Data-Flow Software | Zendy

Thanh Binh Nguyen | Zendy; Michel Delaunay | Zendy; Chantal Robach | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Testability Analysis of Data-Flow Software

Author(s) -

Thanh Binh Nguyen,

Michel Delaunay,

Chantal Robach

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.078

Subject(s) - testability , computer science , data flow diagram , software , code coverage , data flow analysis , reliability engineering , programming language , engineering , database

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research