科创中国

行业领域

电子信息技术

需求背景

目前，计算机系统已经成为应用最广泛的人工信息系统，渗透到政治、经济、军事、文化以及社会生活的各个层面。软件是计算机系统的灵魂、信息化系统的核心以及互联网应用的基石。随着人们对功能需求不断增加，软件系统变得日趋庞大复杂和难以驾驭，缺陷和漏洞难以避免。同时由于计算实体行为存在不可控性和不确定性，软件系统越来越脆弱，很多时候不以人们期望的方式工作，不总是让人信任的，这就是所谓的“软件可信性”问题。

目前软件可信性研究已成为学术界的研究热点，软件可信性评估是其中一个极为重要的方向，国内外众多知名研究机构都已将软件可信性评估技术作为可信软件领域研究重点。如何确定一个软件资源是否可信以及如何评价其可信程度是该方向的一个核心科学问题，国内外不少学者已经对此进行了深入研究，包括基于完整性的可信度量方法、软件行为可信度量方法等。但总体上来讲，目前还处于探索阶段并不成熟，有效的度量方法还比较匮乏且差异性较大，并存在着不少问题。

相比之下，举证技术适用性较强，具有较为明显的优势和研究前景。它通过有力和合理的论证结构来表明论证目标的实现，并强调与软件开发过程紧密结合。它在系统安全性领域已经研究多年且较为成熟，并在一些国外军用和民用标准进行了明确规定，已从安全性向可靠性、信息安全等领域扩展。但将该方法应用在可信性领域(尤其软件可信性领域)还处于探索阶段，在构建和开发软件可信性举证结构时还存在着一些有待解决的问题：缺乏软件可信性内涵的统一认识；举证结构建模语言表达力不足；举证结构构建有效性不够；举证结构构建与软件开发过程缺少交互。

需解决的主要技术难题

如何描述举证结构，提高举证结构的有效性，促进举证结构构建和软件开发过程的交互是本公司技术人员有待需解决的技术难题。

期望实现的主要技术目标

能够解决当前技术方法中的举证结构建模表达力不足问题。

能够促进软件可信性举证结构构建与软件过程信息交互和互操作，并图式化展示举证结构模型，使得建模过程更加简便，且效果直观。

处理进度