| 摘要 |
<P>PROBLEM TO BE SOLVED: To statically verify a program for calling a function of a module used by a program to be verified by using a stub module to be generated even when definition of an external disclosure function of the module is not provided. Ž<P>SOLUTION: A module external specification analysis unit reads a module external specification with function declaration and assertion described therein. A function declaration analysis unit analyzes the function declaration described in the external specification to generate function analysis information expressing the result of the analysis. An assertion analysis unit analyzes the assertion described in the module external specification to generate assertion analysis information expressing the result of the analysis. A stub module generation unit generates a stub module expressing slot definition and stub function definition on the basis of the function analysis information and the assertion analysis information. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
