Software testing adequacy criteria of coverage ratio of linerly independent path;

To cope with problems such as the number of path is huge and path coverage can hardly increase rapidly.

The authors developed a validation platform of automatic simulation vectors generation based on the path coverage metric using genetic algorithm for RT-level designs.

This algorithm transports the pending issue into the study on the force laws to govern the interaction between centroid-centroid and centroid-trackpoint,in order to maximize path coverage while minimizing the overlapping sensing area among multiple neighboring video nodes,thus achieve better path coverage rate.

Path coverage is a kind of important standard that investigates the sufficiency of software testing,it requires that every branch in a program should be performed at least once.

A novel method for automatic generating simulation vectors from HDL descriptions based on path coverage and constraint solving is presented.

In the first chapter, we generalize Asan s weak path independence and Woeginger s reducibility to subsocieties for two alternatives to any set of alternatives.