solving of hybrid constraints to validate the specification requirements for software modules

摘要

PROBLEM TO BE SOLVED: To find a solution of hybrid constraints to validate specification requirements of a software module.;SOLUTION: First numeric constraints and first string constraints associated with a software module including numeric variables and string variables are analyzed (102). Second numeric constraints applied to specific ones of the string variables are estimated, and second string constraints applied to specific ones of the numeric variables are estimated (104). Each one of the first and second numeric constraints is represented by an equation, and each one of the first and second string constraints is represented by a finite state machine (106). A solution including values for specific ones of the numeric and string variables that satisfies all the first and second numeric constraints, all the first and second string constraints, and all the requirements is found and solved (108).;COPYRIGHT: (C)2012,JPO&INPIT