STAFAN (Statistical Fault Analysis) is a well known testability analysis program which predicts the fault coverage of a digital circuit under the stuck-at fault model, without actually performing fault simulation. STAFAN offers speed advantage over other testability analysis programs such as SCOAP; further, it explicitly predicts the fault coverage for a given test set, unlike other testability...

Dependency on automated systems in every sphere of our life has raised a demand for enhanced quality and productivity along with the improved business performance of the software system. Researchers and practitioners in the field of software engineering are striving to achieve the same by applying many techniques. Reuse-oriented software development technique is one of the prevalent techniques,...

To predict the difficulty of testing a wire stuck-at fault, testability analysis algorithms provide an estimated testability value by computing controllability and observability. In most common previous work such as COP and SCOAP , signal correlation between controllability and observability is not well handled. As a result, the estimated values can be quite inaccurate. On the other hand, some ...

The aim of this work is to explore empirically the relationship between lack of cohesion metrics and testability of classes in object-oriented systems. We addressed testability from the perspective of unit testing. We performed an empirical analysis using data collected from two Java software systems for which JUnit test cases exist. To capture testability of classes, we used different metrics ...

We present a behavioral synthesis method aimed at generating testable datapaths. A non-scan testing strategy is targeted. Given performance and area constraints, the system is aimed at seeking among potential design alternatives the one presenting the least testability problems. The backbone of this methodology is a testability analysis method that works at different abstraction levels of the d...

Even if a datapath has been synthesized with testability in view, its testability may strongly decreases once it is connected to its controller. In this paper, we propose controller modifications for restoring the testability of the datapath to a level close to the initial one. Those modifications concern the next state logic as well as the decoder part of the controller. The method is based on...

Testability measures* play an important role in VLSI testing. The circuit complexity is increasing every day and so is the demand for efficient testability measures. So a brief overview of the testability measures: Basic Definitions, their need, their classifications, formulation, their significance on every day testing life and their present limitations are presented.

Software testing attempts to reveal software faults by executing the program on input values and comparing the outputs from the execution with expected outputs. Testing software is easier when testability is high, so increasing testability allows the detection of faults to be done more efficiently. Component-based software is often constructed from third party software components. When this is ...

Testability is an important quality characteristic of software. A lack of testability contributes to a higher test and maintenance effort. Metrics can be used locate parts of a program which contribute to a lack of testability. In this paper we present a new approach to define metrics for software dependencies. We use this approach in the context of testability to identify test-critical depende...