摘要 |
<P>PROBLEM TO BE SOLVED: To provide a source code conversion method and a source code conversion program which are capable of flexibly changing abstracted descriptions and efficiently reusing the abstracted descriptions. <P>SOLUTION: The source code conversion method employs a source code conversion device which converts a source code of software to a check code described in an input language of a verification tool by a plurality of different conversion rules. The plurality of different conversion rules result from fine-granularity partitioning of a series of processing for converting a source code of a check object to a check code and abstracting the check object, and an intermediate form to which the source code is converted can represent not only physical elements being elements equivalent to elements of the source code or the check code but also logical elements being elements produced in a step of abstracting software. <P>COPYRIGHT: (C)2013,JPO&INPIT |