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.
COinS
Date Posted: 22 June 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-02-11.