源代码转换方法

摘要

本发明提供一种源代码转换方法和源代码转换程序，该源代码转换方法使用计算机将软件的源代码转换为检查代码，具有：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入与处理性能相关的约束即非功能规则的步骤；用上述不同的多个转换规则和上述非功能规则将上述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。

主权项

一种利用源代码转换装置的源代码转换方法，其特征在于，包括：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入作为与处理性能相关的约束的非功能规则的步骤；和利用所述不同的多个转换规则和所述非功能规则将所述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤，所述转换规则包括：将源代码转换为作为不依赖于特定编程语言的形式的中间形式的第一转换规则；对于所述中间形式进行抽象化处理的第二转换规则；和从所述中间形式转换为所述检查代码的第三转换规则，所述源代码转换方法包括：输入软件的源代码的步骤；输入至少1个所述第一转换规则的步骤；输入至少1个所述第二转换规则的步骤；输入至少1个所述第三转换规则的步骤；使用所述第一转换规则将所述软件的源代码转换为所述中间形式的步骤；使用所述第二转换规则对用所述中间形式表现的所述软件进行抽象化的步骤；对于所述中间形式，使用所述非功能规则对已进行所述抽象化的中间形式附加非功能约束的步骤；和使用所述第三转换规则将附加有所述非功能约束的所述中间形式转换为用验证工具的输入语言描述的非功能检查代码的步骤。