Invention Grant
US09027002B2 Method of converting source code and source code conversion program
有权
转换源代码和源代码转换程序的方法
- Patent Title: Method of converting source code and source code conversion program
- Patent Title (中): 转换源代码和源代码转换程序的方法
-
Application No.: US13876771Application Date: 2011-10-25
-
Publication No.: US09027002B2Publication Date: 2015-05-05
- Inventor: Masaki Chikahisa , Makoto Ichii , Hideto Noguchi
- Applicant: Masaki Chikahisa , Makoto Ichii , Hideto Noguchi
- Applicant Address: JP Tokyo
- Assignee: Hitachi, Ltd.
- Current Assignee: Hitachi, Ltd.
- Current Assignee Address: JP Tokyo
- Agency: Volpe and Koenig, P.C.
- Priority: JP2010-240775 20101027
- International Application: PCT/JP2011/074595 WO 20111025
- International Announcement: WO2012/057170 WO 20120503
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36
Abstract:
A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.
Public/Granted literature
- US20130263092A1 METHOD OF CONVERTING SOURCE CODE AND SOURCE CODE CONVERSION PROGRAM Public/Granted day:2013-10-03
Information query
