开放软件系统的基础理论与关键技术

基金项目类型：

国家自然科学基金

基金项目编号：

61133001

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

段振华

完成单位：

西安电子科技大学

中文关键词：

模型驱动; 测试; 仿真; 验证;

其他语种关键词：

Model Driven; Testing; Simulation; Verification

项目类型：

重点项目

语种：

中文

开始日期：

2012-01-01

结束日期：

2016-12-31

中文摘要：

开放软件系统已被广泛地应用于载人航天、电子对抗、导弹拦截和网络交易等领域。这些应用要求开放软件系统必须是正确的、可靠的和安全的系统。如何构建这样一个开放软件系统已成为科学界关注的挑战性课题。本项目拟将基于模型驱动的开发方法与测试、仿真和验证技术有机结合，以保障开放软件系统的正确性和可靠性。主要研究：构建开放软件系统的模型驱动理论与方法，包括需求获取与建模、模型演化与确认、服务构建与验证和服务组合与优化；以及适合开放软件系统的测试、仿真与验证理论与方法，并将其融入到开放软件系统开发过程的各个阶段。并以网络拍卖云计算系统的开发为示范，展示本项目所建立的理论与技术在实际中的应用。