基于高阶规约定向测试的异构系统验证研究

项目名称： 基于高阶规约定向测试的异构系统验证研究

项目编号： No.61202103

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 陈铭松

作者单位： 华东师范大学

项目金额： 25万元

中文摘要： 随着体系结构从单核模式到异构多核模式，处理对象从简单控制系统到异构信息物理融合系统的渐进演化，嵌入式系设计的复杂性越来越高。大量的时间与资源被消耗在系统功能验证上，在时间与效率方面功能验证已经成为了系统设计的主要瓶颈。本项目将基于系统设计高阶规约，研究如何提高自顶向下设计流程各个测试验证环节的效率，有效降低异构系统验证的复杂性。研究内容主要包括：1)研究异构系统高阶规约的形式化建模与模型自动抽取方法，提高对系统基本功能特征的描述与自动化分析能力；2)研究基于高阶规约的自动化测试用例生成的优化方法，提高异构系统设计与开发的效率；3)研究如何提高异构系统自顶向下设计过程中各阶段验证结果的重用技术，确保系统从系统高阶规约到具体实现逐步精化过程中的一致性与正确性。从而提高系统的整体验证效率。在缩短嵌入式产品开发周期的同时，保证系统高可靠性。

中文关键词： 高阶规约；模型检验；定向测试用例生成；异构系统；验证结果重用

英文摘要： Since last decade, we have witnessed the continuously rapid development in embedded system domain. More and more state-of-the-art embedded systems adopt the heterogeneous multi-processor platform rather than the platform with single core. At the meanwhile

英文关键词： High-Level Specification；Model Checking；Directed Test Generation；Hetergeneous Systems；Validation Effort Reuse