GRAPHIC FORM DEFINING METHOD FOR VERIFICATION RULE FOR DYNAMIC SPECIFICATION

摘要

PURPOSE:To describe and verify the verification rule for verifying the dynamic specification on a computer by a general designer by describing characteristics that the dynamic specification satisfies with a graphic form as the verification rule. CONSTITUTION:This method has syntax rules 107 and 110 and defining functions 108 and 111 for the text form expression and graphic expression of the verification rule, a rule 112 and a function 113 for conversion from a graphic form to a text form, and a function 114 which decides the consistency between the dynamic specification and text form verification rule. Then the verification rule converting function 113 converts the graphic form verification rule, edited and defined by the graphic form verification rule defining function 111, into the text format verification rule and stores it in a text form verification rule storage function 109, and the dynamic specification verifying function 114 decides whether or not the stored verification rule satisfies the dynamic specification stored in the dynamic specification storage function 105 and reports the cause of nonsatisfaction when not.