Patent ID: 7685546

Claim:
An apparatus for supporting a verification of a target device by outputting a list of verification items, comprising: a verification-keyword extracting unit that extracts a plurality of verification keywords from a first list in which a plurality of operations of the target device to be verified are described; a creating unit that creates, based on a use case diagram and a sequence diagram of the target device, a second list in which each use described in the use case diagram and each message described in the sequence diagram are associated with each other; a first-item extracting unit that extracts, from the second list, a first item that does not include any one of the verification keywords; a second-item extracting unit that extracts, from the first list, a second item that includes any one of the verification keywords that are not included in the second list; a second creating unit that creates a third list including an item that includes any one of the verification keywords by deleting the first item from the second list; and an output unit that outputs the list of verification items in which the first list and the second list are included and the first item and the second item are associated with a first identifier and a second identifier respectively.