Date of this Version
In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model based on the MATLAB/SIMULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into test cases which may be used to test an implementation of the ETC system.
Hyoung Seok Hong, Insup Lee, Na Young Lee, Martin Leucker, and Oleg Sokolsky, "Testing the Electronic Throttle Control", . January 2002.
Date Posted: 22 June 2007