题目：软件安全性举证应用研究及工具开发

随着信息和计算机技术的发展，越来越多的安全关键系统日益软件密集化，逐渐形成安全关键的软件密集型系统。但是，计算机软件在提供高效优异服务的同时，也增加了系统的安全性风险。衡量系统的安全性也成了安全关键系统的迫切需求，而安全性举证正是一个不错的选择。安全性举证是一种系统安全性的论证方法，多用于核电站、铁路等系统，涉及软件中的应用相对较少。本文主要探讨了软件安全性举证的应用。

本文首先介绍了软件安全性工作的现状，阐述了软件安全性及安全性举证相关的基础理论，分析了目前软件安全性举证应用中存在的问题以及规范举证构建实施方案的必要性，继而提出了一种软件安全性举证构建方案，探讨了软件安全性举证具体实施中的目标识别、危险分析以及解决方案等内容，并以一个具体的案例加以验证。此外，本文调研了目前已有的举证相关的辅助开发工具，结合现阶段安全性举证工具的功能和非功能需求，设计实现了软件安全性举证辅助工具原型。