Search Results

Automotive electronics and software is getting complex day by day. More and more features and functions are offered and supported by software in place of hardware. Communication is carried out on the CAN bus instead of hard wired circuits. This architectural transition facilitates lots of flexibility, agility and economy in development. However, it introduces risk of unexpected failures due to insufficient testing and million of possible combinations, which can be created by users during the life time of a product. Model based development supports an effective way of handling these complexities during simulation and also provide oracle for its validation. Based on priorities and type of applications, test vectors can be auto generated and can be used for formal verification of the models. These auto-generated test vectors are valuable assets in testing and can be effectively reused for target hardware (ECU) verification.

In embedded software world, development and testing are becoming far more complex with growing functionality and fail safe strategies. As a result of that, model-based software development is getting increasingly popular in capturing the functional requirements and auto generating the code from these validated models to avoid any functional deficiency. However, the complexity in the model may not be correctly interpreted by the code generation tool and may result to an incorrect code behavior. In this paper, a methodology has been proposed and implemented to validate the generated code against the models. Simulation test scripts are recorded in the modeling environment to generate the desired set of test inputs. These input scripts are designed to get complete transition and state exposure to maximize the functional coverage. With these test scripts, expected outputs are recorded for downstream validation in the simulation environment with mature models.