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

建议没有。题目：基于Simulink/Stateflow或混合自动机模型的嵌入式软件基于模型的测试生成[j]: Ratnesh Kumar，周长岩，电气与计算机工程系。提出了一种基于IAA模型的嵌入式软件系统测试生成方法，该方法具有反应性（与环境交互）、混合行为（连续动态与切换逻辑混合），并且可以使用Simulink/Stateflow或混合自动机模型进行建模。Simulink/Stateflow是嵌入式软件开发的图形化建模、分析和仿真工具，广泛应用于汽车、飞机和医疗设备等行业。本研究的智力优点包括：(i)将Simulink/Stateflow模型转换为混合自动机模型（尽可能），（ii）基于离散行为保留抽象和系统识别技术的混合系统测试生成，以及（iii）开发与Matlab Simulink/Stateflow环境集成的支持软件。在嵌入式软件开发中经常使用Simulink/Stateflow的应用领域，拟议的研究可能会产生影响。作为项目的一部分开发的一些技术可能会在其他领域得到应用，例如验证或监视故障识别。该项目将支持两名新的研究人员，他们将接受基于模型的嵌入式软件测试方法的培训。研究成果，包括软件工具，将通过私人机构的主页和期刊/会议出版物提供。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.