Model-based Test Generation for Embedded Software with Simulink/Stateflow or Hybrid Automata Models

方案编号：0811541职务：基于Simulink/Stateflow或混合自动机模型的嵌入式软件测试生成PI：Ratnesh Kumar和Changyan Zhou，部门。的Elec。&比较工程师，爱荷华州州立大学，艾姆斯，IAA模型为基础的测试生成方法的嵌入式软件系统是反应性的（与他们的环境相互作用），具有混合行为（连续动态混合开关逻辑），并可以使用Simulink/Stateflow或混合自动机模型建模，提出。Simulink/Stateflow是用于嵌入式软件开发的图形化建模、分析和仿真工具，广泛应用于汽车、飞机和医疗设备等行业。这项研究的智力优势包括：（一）翻译的Simulink/Stateflow模型到混合自动机模型（尽可能），（二）测试生成的基础上保持抽象和系统识别技术的离散行为的混合系统，及（iii）支持软件的开发与Matlab的Simulink/Stateflow环境集成。拟议中的研究可能会产生影响，在应用领域的Simulink/Stateflow是经常用于嵌入式软件开发。作为该项目的一部分开发的一些技术可能会在其他领域得到应用，如故障识别的核查或监测。该项目将支持两名新的研究人员，他们将接受基于模型的嵌入式软件测试方法的培训。研究成果，包括软件工具，将通过PI的主页和期刊/会议出版物提供。PI致力于为该项目招募少数民族学生。

Proposal No.: 0811541Title: Model-based Test Generation for Embedded Software with Simulink/Stateflow or Hybrid Automata ModelsPI: Ratnesh Kumar and Changyan Zhou, Dept. of Elec. & Comp. Eng., Iowa State Univ., Ames, IAA model-based test generation approach for embedded software systems that are reactive (interact with their environment), possess hybrid behaviors (continuous dynamics mixed with switching logics), and can be modeled using Simulink/Stateflow or hybrid automata models, is proposed. Simulink/Stateflow is a graphical modeling, analysis, and simulation tool for embedded software development, and is widely used in industries such as automobile, aircraft, and medical devices. The intellectual merits of this research include: (i) Translation of Simulink/Stateflow models into hybrid automata models (to the extent possible), (ii) Test generation for hybrid systems based on discrete-behaviors preserving abstractions and system identification techniques, and (iii) Development of supporting software to be integrated with the Matlab Simulink/Stateflow environment. The proposed research is likely to have an impact in application domains where Simulink/Stateflow is routinely used for embedded software development. Some of the techniques developed as part of the project may find application in other areas such as verification or monitoring for fault identification. The project will support two new researchers who will be trained in model-based approaches to embedded software testing. The research outcomes, including software tools, will be made available through PIs' homepages and journal/conference publications. The PIs are committed to recruiting minority students for the project.