Testability analysis of reactive software

Author

Nguyen, Thanh Binh ; Robach, Chad ; Delaunay, M.

Author_Institution

LCIS-ESISAR, Valence, France

fYear

2004

fDate

2 Nov. 2004

Firstpage

15

Lastpage

25

Abstract

This paper is about testability analysis for reactive 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 reactive 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

avionics; data flow computing; design for testability; program testing; real-time systems; SATAN method; SSA form; avionics software; data-flow designs; reactive software; source code transformation; static single assignment; testability analysis; testability weakness; Aerospace electronics; Algorithm design and analysis; Application software; Automatic testing; Data analysis; Programming; Software measurement; Software quality; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Testability Assessment, 2004. IWoTA 2004. Proceedings. First International Workshop on

Print_ISBN

0-7803-8851-8

Type

conf

DOI

10.1109/IWOTA.2004.1428409

Filename

1428409