Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

1-1-2002

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-02-11.

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.

Share

COinS
 

Date Posted: 22 June 2007