STATE-SEARCHING DEVICE AND METHOD OF ESTIMATING STATE COVER RATE

摘要

PROBLEM TO BE SOLVED: To estimate a cover rate of searchable space from among state space to be searched, in a state transition graph of a finite state. SOLUTION: A state-searching device includes: a Bloom filter 112 for managing an already visited state; a model inspection unit 110 for executing a plurality of model inspections; by utilizing the Bloom filters 112 of different sizes; and a state cover rate estimation unit 120 for estimating a state cover rate; by estimating a growth curve that approximates the relation between the size of the Bloom filters 112 and the number of arrival states in the plurality of model inspections. COPYRIGHT: (C)2011,JPO&INPIT