Patent ID: 7937680
Filing Date: 2011-05-03
Classification: G06F,G06Q

Abstract:
1. A method of verifying a specification document, comprising: reading by a computer the specification document that includes a use case diagram illustrating a function of a target subject of a system design, and an event flow of a path representing an action of the target subject of the system design; extracting a use case, and a precondition, a postcondition and an invariant condition defined for the use case, from the use case diagram of the specification document; setting a first condition that once the precondition is satisfied, the use case is executed under the invariant condition until the postcondition is satisfied; extracting an operation from the event flow; setting, as a second precondition defined for the use case, a condition that satisfies the precondition defined for the use case; setting, as a second postcondition defined for the use case, a condition that satisfies the postcondition defined for the use case; verifying the target subject of the system design by determining whether the invariant condition is valid when the precondition and the postcondition defined for the use case in the first condition are replaced with the second precondition and the second postcondition defined for the use case; and outputting a result of the determining.