[发明专利]源代码转换方法和源代码转换程序有效
| 申请号： | 201180047719.5 | 申请日： | 2011-10-25 |
| 公开（公告）号： | CN103140838A | 公开（公告）日： | 2013-06-05 |
| 发明（设计）人： | 近久真章;市井诚;野口秀人 | 申请（专利权）人： | 株式会社日立制作所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京尚诚知识产权代理有限公司 11322 | 代理人： | 龙淳 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种源代码转换方法和源代码转换程序，该源代码转换方法使用计算机将软件的源代码转换为检查代码，具有：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入与处理性能相关的约束即非功能规则的步骤；用上述不同的多个转换规则和上述非功能规则将上述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。 | ||
| 搜索关键词： | 源代码 转换 方法 程序 | ||
【主权项】：
一种利用源代码转换装置的源代码转换方法，其特征在于，包括：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入作为与处理性能相关的约束的非功能规则的步骤；和利用所述不同的多个转换规则和所述非功能规则将所述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于株式会社日立制作所，未经株式会社日立制作所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201180047719.5/，转载请声明来源钻瓜专利网。
