Design for Testability in Hardware-Software Systems

Hierarchical interfaces for hardware software systems

Competent design of hierarchical interfaces for hardware/software systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the formalization of verification/test. We aim to extend the theory of hierarchy types, in order to integrate communication properties as well as correctness and testability...

Behavior-Preserving Transformations for Design-for-Test

An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controllability and observability of the internal system behavior. This can be achieved by introducing Points of Control and Observation (PCOs) in a system. In this paper, we examine the effects of PCO insertion in a behaviora...

Vladimir A . Zivkovic Testability in Hardware / Software Codesign Systems

High - Level Techniques for Built - In Self - Test Resources Optimization

Design modifications to improve testability usually introduce large area overhead and performance degradation. One way to reduce the negative impact associated with improved testability is to take testability as one of the constraints during high-level design phases so that systems are not only optimized for area and performance, but also from the testability point of view. This thesis deals wi...

Testability und Unit Testing

A prerequisite for unit testing is the possibility to test the unit under test in isolation. Ignoring this requirement during system design and implementation can severely decrease the testability of a software system. This article describes design guidelines and metrics which support software developers in avoiding testability problems.