Browse Publications Technical Papers 2005-01-1665
2005-04-11

Verifying Code Automatically Generated From an Executable Model 2005-01-1665

Currently in the automotive industry, most software source code is manually generated (i.e., hand written). This manually generated code is written to satisfy requirements that are generally specified or captured in an algorithm document. However, this process can be very error prone since errors can be introduced during the manual translation of the algorithm document to code. A better method would be to automatically generate code directly from the algorithm document. Therefore, the automotive industry is striving to model new and existing algorithms in an executable-modeling paradigm where code can be automatically generated. The advent of executable models together with automatic code generation should allow the translation of model to code to be error free, and this error-free status can be confirmed through testing. A three-stage process is presented to functionally verify the model, functionally verify the automatically-generated code, and structurally verify the code.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 16% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Motorcycle Secondary Drive Testing using a Servo-Hydraulic Laboratory Test System

2004-32-0045

View Details

JOURNAL ARTICLE

Automating Functional Test Design with Model-Based Testing

2012-01-0010

View Details

TECHNICAL PAPER

A Basic Study on Modeling of Forearm Torsional Operations for Digital Human

2008-01-1903

View Details

X