Design support manner of the software, making use of the design support device of the design

摘要

PPROBLEM TO BE SOLVED: To provide a technique that effectively modifies a specification of software. PSOLUTION: In a method for supporting a software design, the specification of software is a formal specification described by a formal language, which is defined by semantics and syntax rules. The method for supporting the design includes: verifying whether the formal specification satisfies verification items required by a predetermined verification method on the basis of the semantics; specifying an error part included in the formal specification when the formal specification does not satisfy the verification items; extracting a modification candidate for modifying a specified error, based on at least one of histories in which the formal specification is verified by the description of the formal specification and the predetermined verification method; and outputting the extracted modification candidate. PCOPYRIGHT: (C)2009,JPO&INPIT