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

项目名称： 开放软件系统的基础理论与关键技术

项目编号： No.61133001

项目类型： 重点项目

立项/批准年度： 2012

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

项目作者： 段振华

作者单位： 西安电子科技大学

项目金额： 270万元

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

中文关键词： 模型驱动；测试；仿真；验证；

英文摘要：

英文关键词： Model Driven；Testing；Simulation；Verification；