摘要 |
PROBLEM TO BE SOLVED: To easily measure a coverage of a property description in a design description in an early stage. SOLUTION: This coverage measuring instrument is provided with a design automaton extraction part for extracting a design automaton from a design description data, a property automaton extracting part for extracting a property automaton from a property description data corresponding to the design description data, a matched state detecting part for counting the number of all states of the design automaton, for detecting matched state matched to the property automaton out of all the states in the design automaton, and for counting the number of the matched states, and a coverage calculation part for calculating the coverage expressing the degree of correspondence of the property description data to the design description data, by calculating a ratio of the number of matched states to the number of all the states of the design automaton. COPYRIGHT: (C)2009,JPO&INPIT
|