Patent ID: 8495561

Claim:
An apparatus for designing a system specification for testability, comprising: a first storage unit configured to store the system specification describing a connection among a plurality of components in a system, and input and output actions of each component for another component or outside of the system; a second storage unit configured to store a behavioral specification of each component, describing a transition between states by an input action, and an output action occurred with the transition; a third storage unit configured to store an input restriction of each component, describing an occurrence order of the input action; an action sequence acquisition unit configured to specify a state transition path covering transitions defined by the behavioral specification of a component to satisfy the input restriction of the component, and acquire output action sequences from the state transition path; a selection unit configured to select a pair of components connected in the system; a verification unit configured to verify whether an output action sequence of a first component as one of the pair satisfies an input restriction of a second component as the other of the pair; an input restriction correction unit configured to, when the output action sequence of the first component does not satisfy the input restriction of the second component, relax the input restriction of the second component so that the output action sequence of the first component satisfies a relaxed input restriction of the second component, or tighten an input restriction of the first component so that a new output action sequence of the first component satisfies the input restriction of the second component; and a control unit configured to control the selection unit, the verification unit and the input restriction correction unit, for each pair of components in the system, so that output action sequences of one and the other of a pair satisfies input restrictions of the other and the one of the pair respectively.