面向开发的软件安全性测试过程建模和开发

来源 :江苏科技大学 | 被引量 : 3次 | 上传用户:liedh123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着社会的进步,计算机技术的飞速发展,计算机技术的应用迅速的走进人们生活中。由于人们生活的不断丰富,这些应用软件也变得特别复杂。对于一些大型的软件来说,当执行相关的任务时,就有可能会触发上万个功能点或上百万行源代码为其提供支持。那么,对于这么一个复杂而又优秀的软件,其安全性变得非常的重要。软件产品在研发的过程中对其进行安全性测试是保证软件安全最有效的方法。一个细致、科学的安全性测试过程是保证软件进行安全性测试的基础。若没有一个细致科学的软件安全性测试过程模型在软件开发的过程中给予软件安全性测试的指导,那么软件安全性测试顺利、高效、科学、规范的实施,不仅会浪费更多时间和资金等问题,而且软件的安全性也不能够得到保证。一个优秀的安全性测试用例能够发现可能隐藏在软件深处的安全问题;一个科学的过程管理能够给软件安全性测试实施带来很大的便利。因此对软件安全性测试建立一个细致、科学的软件安全性测试过程模型、生成优秀的安全性测试用例、开发出安全性过程管理工具是非常有意义的。文章首先介绍了软件安全性测试的国内外研究现状;其次介绍了软件开发基本理论和软件测试的基本理论以及软件安全的基本理论内容;接着介绍了依据基本理论和工程实践经验设计的测试模型-“轨迹模型”,另外依据故障树危险分析方法原理,生成最小割集并进行分析;根据设计的轨迹模型,设计并开发了软件安全性测试过程管理工具;最后利用开发设计的软件安全性测试管理工具对基于Android智能家居控制系统的手机App煤气信息显示功能模块开发过程的软件安全性测试过程管理和分析进行了应用。文章通过对软件工程基本理论、软件测试的基本理论、软件安全理论、软件安全性测试基本内容的学习和研究并结合工程测试实践经验建立了软件安全性测试过程模型“轨迹模型”,紧接着又对基于故障树的危险进行了分析和研究,在利用故障树原理对危险事件分析生成的最小割集进行了定量和定性分析。为后续软件安全性测试管理功能的安全分析和用例生成的设计与实现打下基础。文章通过以上理论基础的分析和研究,基于Java语言,应用Netbeans集成开发工具设计开发了软件安全性测试过程管理工具,能够实现对系统危险的初步分析,危险事件的故障辅助分析、过程管理、安全测试用例生成、用例文件自动导出为word文件等功能。文章开发了软件安全性测试过程管理工具,利用开发的工具对Android手机端的智能家居App的煤气信息显示模块开发过程进行了软件安全性测试程的分析和管理、用例生成的流程应用,用以指导和辅助软件开发过程中软件的安全性测试,具有一定的指导意义。
其他文献
据美国宇宙监视塔观测统计,目前人造宇宙飞行物体共约5,300个,其中已有2,433个失去控制,在宇宙空间横冲直撞,成为宇宙“垃圾”。这些“垃圾”对正常运行的卫星形成了巨大威
以厦门某工程为例,对高层建筑给水和排水工程施工技术的重点和难点进行探讨与研究,并结合工程实例,就给水和排水工程的施工要点进行了分析,提出了具体的施工措施。
本文研究了不同光强(120~270μmol/m2·s)和光周期(光/暗:0/24~24/0 h)的光照胁迫对雨生红球藻(Haematococcus pluvialis)虾青素积累、超氧化物歧化酶(SOD)和过氧化氢酶(CAT)
当人们在积极消除和利用地球上的城市固体废弃物时,伴随着空间技术飞速发展而产生的宇宙垃圾又正在构成对卫星、太空站和宇航员的威胁。宇宙垃圾是指在太空中废弃的人造卫星
期刊
电力能源是现代社会的最为重要能量来源之一,配电网作为电能传输流程中的重要环节,具有不可替代的关键作用。在配电网中设备的数量庞大,而设备的利用效率关系到配电网运行的经济性、可靠性以及节能环保的基本原则。故针对配电网设备利用率进行综合评价能够促进配电网的良性发展,并有助于对配电网进行规划与改造。本文针对配电网设备利率的综合评价研究主要进行了如下工作:(1)以PEST分析矩阵作为基本框架,结合既有文献得
晚更新世末期我国东部及陆架地区气候干冷,海平面降低,渤、黄海陆架全部裸露,形成陆相环境。加之温度降低使得亚洲的蒙古高压实力增强,形成的干冷气流不仅吹蚀广大内陆地区,
海上风电场低频输电(low frequency alternating current,LFAC)由于减小了输电频率,可以成倍地提高输电线路的输电能力,与直流输电相比,不需要建立海上换流站,极大节约投资和
CLE(CLAVATA3/Embryo surrounding region-related)基因家族编码一类小的分泌肽,广泛参与植物细胞间的信号转导、细胞增殖分化、自我调节以及响应外界刺激。目前,已在拟南芥
<正>丙型肝炎实验室诊断包括HCV抗体、抗原、HCV RNA、基因型和亚型检测。抗-HCV检测包括ELISA技术、化学发光技术和荧光技术等,可用于献血员筛查、流行病学调查和临床诊断等
会议
以软土地基上的海堤为研究对象,根据软土变形的时效特征和白重应力场与渗流场的耦合特性,建立了软土蠕变模型和渗流作用下的耦合应力场分析模型,将堤身、堤基作为整体进行了变形