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

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

本项目的目标是通过相关研究，提出增强软件开发过程模型可信性的支撑方法和技术。根据研究目标和任务书的要求，本项目在研究过程中提出了一个具有严格语义的图形化软件过程建模语言，包括图形化表示符号、语法和语义，使得过程建模开发人员能够以图形化的方式准确地定义过程;由于该语言具有严格的语义，对其进行形式化的分析和验证成为可能，从而确保所描述的过程模型的行为符合预期，本项目针对该语言提出了一系列的形式化分析和验证方法以及量化仿真分析方法；同时，针对软件过程资产库中的历史项目数据，提出了实际软件过程模型的挖掘算法以及与预定义标准过程模型的匹配算法；并实现了相关的原型系统。通过相关工作的开展，完成了项目申请书中所规定的研究任务，基本实现了项目的研究目标。.. 在本项目的支持下，发表论文12篇，获得国际学术奖一项，北京市科学技术二等奖一项，已授权专利一项。其中，国际期刊1篇，国际会议7篇，国内核心期刊1篇，国内一般期刊3篇。其中一篇被32nd IEEE/ACM International Conference on Software Engineering录用，并获得ACM Distinguished Paper Award；同时，就相关研究成果在第十届全国软件应用会议上做特邀青年学者特邀报告。