Patent ID: 8671372
Filing Date: 2014-03-11
Classification: G06F

Abstract:
1. A non-transitory, computer-readable recording medium storing therein a verification support program causing a computer to execute: identifying from a finite state machine model related to a circuit-under-test, an input transition count of transitions to a transition-end state and an output transition count of transition from the transition-end state; determining the transition-end state to be a subject, when the identified output transition count is greater than the identified input transition count; embedding record-instruction information causing the subject determined at the determining to be recorded to a database, when a first element causing transition to the subject is included in a series of elements making up a first test scenario that is in a test scenario group related to the circuit-under-test, the record-instruction information being embedded as a subsequent element of the first element in the first test scenario; and embedding restore-instruction information causing the subject to be restored from the database, when a second element causing transition to the subject is included in a series of elements making up a second test scenario that is in the test scenario group, the restore-instruction information being embedded in the second test scenario and replacing a head element to the second element of the series of elements making up the second test scenario.