Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
1-1-2002
Abstract
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.
Recommended Citation
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
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-02-11.