PROBLEM TO BE SOLVED: To improve efficiency in analyzing software specifications.;SOLUTION: Disclosed is a specification analyzer comprising steps of: generating pass conditions and pass execution results by performing symbolic execution on portions other than loop statements of source codes; performing symbolic execution on the loop statements; generating generalized inner loop pass information indicating a relational expression between the value of a variable after executing n-1 times of the loop statements and the value of a variable after executing n-times of the loop statements; obtaining, from specialized inner loop pass information, first specialized inner loop pass information including the value of a variable when executing the loops arbitrary times; generating second specialized inner loop pass information whose loop count is greater by one than that of the first specialized inner loop pass information by applying the generalized inner loop pass information to the first specialized inner loop pass information; and generating information relating to software specifications (rules) based on the second specialized inner loop pass information and outer loop pass information.;SELECTED DRAWING: Figure 1;COPYRIGHT: (C)2019,JPO&INPIT
展开▼
