| 摘要 |
PROBLEM TO BE SOLVED: To obtain an efficient verification program by putting together the evaluation of the verification program and the most effective verification program unit by retrieving trace information under analysis conditions set in an analysis condition file and totalizing matched information. SOLUTION: An execution means makes a device execute verification program units which constitute a verification program 2 and gathers and store the signal outputted from the device as trace information. An analyzing means 5 retrieves a trace information 4 according to analysis information set in an analysis condition file 1 and totalizes matched information. At this time, the analyzing means 5 detects whether or not analysis conditions set in the analysis condition file 1 are generated successively. Thus, the trace information 4, when the verification program 2 is executed is sampled to gather information meeting the analysis conditions, thereby deciding the presence/absence of generation of the information meeting the analysis conditions and specifying it, totalizing the number of times of the successive generation and specifying verification program units.
|
