发明名称 AUTOMATIC COMPUTER CODE REVIEW TOOL
摘要 A method for automatically reviewing the source code for a system where the source code is generated automatically from a model of the system is provided. In a first step, the model is read in and processed to determine the expected computer code based on the model. Next, the generated source code is read in. The generated source code is compared to the expected source code to determine if the generated source code includes all the elements of the expected source code.
申请公布号 WO2005052793(A3) 申请公布日期 2006.04.06
申请号 WO2004US36768 申请日期 2004.11.04
申请人 HONEYWELL INTERNATIONAL INC.;MOSKOWITZ, MILTON, E.;KING, WAYNE, A.;POTTER, WILLIAM, F. 发明人 MOSKOWITZ, MILTON, E.;KING, WAYNE, A.;POTTER, WILLIAM, F.
分类号 G06F11/08;G06F9/44;G06F11/36 主分类号 G06F11/08
代理机构 代理人
主权项
地址