论文部分内容阅读
随着社会的进步,计算机技术的飞速发展,计算机技术的应用迅速的走进人们生活中。由于人们生活的不断丰富,这些应用软件也变得特别复杂。对于一些大型的软件来说,当执行相关的任务时,就有可能会触发上万个功能点或上百万行源代码为其提供支持。那么,对于这么一个复杂而又优秀的软件,其安全性变得非常的重要。软件产品在研发的过程中对其进行安全性测试是保证软件安全最有效的方法。一个细致、科学的安全性测试过程是保证软件进行安全性测试的基础。若没有一个细致科学的软件安全性测试过程模型在软件开发的过程中给予软件安全性测试的指导,那么软件安全性测试顺利、高效、科学、规范的实施,不仅会浪费更多时间和资金等问题,而且软件的安全性也不能够得到保证。一个优秀的安全性测试用例能够发现可能隐藏在软件深处的安全问题;一个科学的过程管理能够给软件安全性测试实施带来很大的便利。因此对软件安全性测试建立一个细致、科学的软件安全性测试过程模型、生成优秀的安全性测试用例、开发出安全性过程管理工具是非常有意义的。文章首先介绍了软件安全性测试的国内外研究现状;其次介绍了软件开发基本理论和软件测试的基本理论以及软件安全的基本理论内容;接着介绍了依据基本理论和工程实践经验设计的测试模型-“轨迹模型”,另外依据故障树危险分析方法原理,生成最小割集并进行分析;根据设计的轨迹模型,设计并开发了软件安全性测试过程管理工具;最后利用开发设计的软件安全性测试管理工具对基于Android智能家居控制系统的手机App煤气信息显示功能模块开发过程的软件安全性测试过程管理和分析进行了应用。文章通过对软件工程基本理论、软件测试的基本理论、软件安全理论、软件安全性测试基本内容的学习和研究并结合工程测试实践经验建立了软件安全性测试过程模型“轨迹模型”,紧接着又对基于故障树的危险进行了分析和研究,在利用故障树原理对危险事件分析生成的最小割集进行了定量和定性分析。为后续软件安全性测试管理功能的安全分析和用例生成的设计与实现打下基础。文章通过以上理论基础的分析和研究,基于Java语言,应用Netbeans集成开发工具设计开发了软件安全性测试过程管理工具,能够实现对系统危险的初步分析,危险事件的故障辅助分析、过程管理、安全测试用例生成、用例文件自动导出为word文件等功能。文章开发了软件安全性测试过程管理工具,利用开发的工具对Android手机端的智能家居App的煤气信息显示模块开发过程进行了软件安全性测试程的分析和管理、用例生成的流程应用,用以指导和辅助软件开发过程中软件的安全性测试,具有一定的指导意义。