This document discusses data flow testing: a form of structural (white box) testing that is a variant on path testing, focussing on the definition and usage of variables, rather than the structure of the program. Two different topics relating to data flow testing are discussed: define/use testing, along with a set of test coverage metrics; and the concept of splitting a program into slices, acc...

Software testing is a proven technique widely used to increase confidence that a software product behaves as expected and to gather system usage information to support evolution. Many structural coverage criteria techniques are used to perform and measure testing activities, but their complete satisfaction is rarely achieved resulting in code release with neglected test obligations. This paper ...

We discuss how specification coverage and fault coverage based test derivation strategies can be combined. In particular, the problem of deriving a test suffix, which raises tester confidence in the configuration of the system, reached after a test derived by a specification coverage criterion, is formalized and solved in the CEFSM setting. The traditional mutant-based test derivation approach ...

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...

When solving kin a Row games, the Hales-Jewett pairing strategy [4] is a well-known strategy to prove that specific positions are (at most) a draw. It requires two empty squares per possible winning line (group) to be marked, i.e., with a coverage ratio of 2.0. In this paper we present a new strategy, called Set Matching. A matching set consists of a set of nodes (the markers), a set of possibl...

Coordination is critical in distributed collaborative analysis of multidimensional data. Collaborating analysts need to understand what each person has done and what avenues of analysis remain uninvestigated in order to effectively coordinate their efforts. Although visualization history has the potential to communicate such information, common history representations typically show sequential ...

vision of its delivery of management leader naturally tends to disappear upon the product to the customers, since focus continually shifts to the next test coverage to insure that defective product is not shipped will also be overlookedunderestimated by such managers. Design techniques in the layout that contribute to greater yield will not likely be on their radar screen as their focus will be...

There are multiple scenarios where at-speed coverage over core boundaries is difficult. The idea is to resolve this problem using two stage wrapper. Generally single stage wrapper is used in the present design techniques, and is used in industries. Here two stage wrapper is used in which test coverage has been increased. Additional scan compression architecture is introduced to reduce the patte...

This paper investigates the relationship between multi-cycle false paths and the testability of sequential circuits. We show that removal of multi-cycle false paths (either by circuit restructuring or by proper state encoding) improves circuit testability, but not as signiicantly as one would expect. We demonstrate the inability of current structure-based scan register selection techniques to s...