| 摘要 |
PROBLEM TO BE SOLVED: To realize a structure capable of verifying consistency between request specifications and control specifications associated with communication of an information system that is a development target.SOLUTION: A sequence describing information input section 101 receives input of sequence describing information in which data transmission/reception sequence among system constituent elements included in an information system is described as request specifications associated with communication of the information system that is a development target. A verification element extraction section 102 analyzes the data transmission/reception sequence described in the sequence describing information and extracts processing performed in the data transmission/reception sequence as verification target processing. A verification expression generation section 104 generates a verification expression that represents the verification target processing extracted by the verification element extraction section 102 and is used for verifying whether or not the verification target processing is reflected in control specifications of the information system. |
