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.