Software testability is proposed to address the problem of increasing cost of test and the quality of software. Testability measure provides a quantified way to denote the testability of software. Since 1990s, many testability measure models are proposed to address the problem. By discussing the contradiction between domain testability and domain range ratio (DRR), a new testability measure, se...

Testability is a quality factor used to predict the amount of effort required for software testing and to indicate the difficulty of revealing faults. This paper presents a quantitative testability analysis method for a software component that can be used when the source program is not available, but the bytecode is (as in Java .class files). This process analyzes the testability of each locati...

This paper presents our Design for Testability reuse approach implemented in the allocation for testability system IDAT. In the context of High-Level Synthesis for Testability, the allocation for testability process mainly consists in searching for the best cost/quality trade-off between the designer requirements and testability means which can be proposed by the system, considering the availab...

Testability has always been an elusive concept and its correct measurement or evaluation a difficult exercise. Most of the studies measure testability or more precisely the attributes that have impact on testability but at the source code level. Though, testability measurement at the source code level is a good indicator of effort estimation, it leads to the late arrival of information in the d...

| In this paper, we propose a new testability analysis method for Register-Transfer Level(RTL) descriptions. The proposed method is based on the idea of testability analysis in terms of dataow and control structure which can be extracted from RTL designs. We analyze testability of RTL descriptions with more testability measures than those of conventional gate-level testability, so that the meth...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii Chapter 1: Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Designing Testable...

Producing modular products that combine modules with the consideration of product performance, e.g., testability of electronic systems, is frequently stated as a design goal. However, most of mechatronic frameworks (models) discussed in the literature do not consider testability of electronic subsystems of mechatronic products. This paper assumes that the product modules have been established, ...

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...

This paper presents a method to carry out the register allocation/binding phase of a High Level Synthesis flow with testability considerations. Testability problems are identified at behavioral level and are eliminated as much as possible during this phase turning testability/area trade-off to account. Proposed method is based on high level normalized testability measures, it allows to improve ...