可信软件过程建模、分析、执行关键技术研究

项目名称： 可信软件过程建模、分析、执行关键技术研究

项目编号： No.60903051

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

立项/批准年度： 2010

项目学科： 武器工业

项目作者： 杨秋松

作者单位： 中国科学院软件研究所

项目金额： 17万元

中文摘要： 随着对软件质量要求的不断地提高，可信软件日益成为国内外学术研究的热点。可信软件，本质上就是其质量需求可以得到保证的软件；而软件产品的质量很大程度上依赖于产品开发时所使用的过程。因此，从软件过程方法和技术的角度，理解软件的可信性，并保证软件的质量需求都得到可信的实现，是一个有效的途径。而现有软件过程建模方法和技术中，缺乏对可信软件开发活动的支持。本项目重点研究支持可信软件开发的过程建模、分析、执行关键技术，通过在建模语言中引入基于进程代数的严格操作语义，支持对软件过程模型的多种形式化分析：基于模型检测的正确性验证、基于互模拟的过程模型符合性分析、基于随机进程代数的软件过程仿真，从而提供有效的方法保证软件过程模型的可信性；同时，基于过程挖掘和过程模型符合性分析，对软件过程模型具体执行进行动态地跟踪，及时发现实际软件开发偏离预定义可信过程模型的情况，确保可信软件过程模型在实际开发中被很好地贯彻。

中文关键词： 软件过程；建模语言；形式化方法；仿真；过程挖掘和匹配

英文摘要：

英文关键词： Software Process；Modeling Language；Formal Methods；Simulation；Process Mining and Matching