| 摘要 |
The purpose of the present invention is to provide a source code conversion method and a source code conversion program that make it possible to flexibly change an abstracted description, and that also enable an abstracted description to be reused efficiently. A method for converting a source code using a source code conversion device that converts a software source code to an inspection code described in accordance with a plurality of different conversion rules using a verification tool input language, being characterized in that the plurality of different conversion rules finely divide a series of processes for converting and abstracting an inspection-target source code to an inspection code, and an intermediate form into which the source code is converted can express a physical element, which is an element equivalent to either a source code or a inspection code element, as well as a logical element, which is an element created in the software abstracting step. |
