基于行为声明软件可信性测试方法的研究

发布时间：2017-03-26 05:16

  本文关键词：基于行为声明软件可信性测试方法的研究，由笔耕文化传播整理发布。

【摘要】：在互联网时代的今天,Web应用软件的发展逐渐走向成熟,使得人们的工作方式也随之改变。然而,应用软件的规模正在不断扩大,使得软件的内部结构比以前更加复杂,应用的环境也随之变得更加开放,导致网站被攻击的事件时有发生,使得软件的可信性问题日益凸显,尤其表现在安全性、可靠性、可用性等几个方面。软件可信性是指软件的行为和结果符合用户预期,并在受到干扰时仍能提供连续服务的能力。目前,对于软件可信性的研究,主要提出了双系统体系结构,该结构主要是以软件可信基为基础,与原有的软件系统相结合而成。在该体系结构下,认定软件的可信性与应用需求和软件行为有着紧密的关系。然而,对于软件可信性测试的相关理论方法还未完善,本文以Web应用软件作为研究对象,对软件可信性的测试方法进行研究。本研究以行为声明作为切入点,定义了行为声明的通用框架结构;在全生命周期可信过程保障模型的支撑下,对行为声明在该模型中作用进行研究,得出了行为声明在软件开发过程中各个阶段的作用,并定义了Web应用软件的可信属性;在此基础上,提出了Web应用软件可信性验证模型,并在此验证模型的支撑下,提出了软件可信性测试方法;然后针对该测试方法中的关键问题进行研究,提出了行为声明分析的方法和流程,并根据行为声明分析的结果,结合遗传算法相关知识,进行测试用例的自动生成,从而生成相应的测试用例;最后,设计并实现了软件可信性测评系统,在功能的实现上,本系统支持对行为声明定义与生成,在此基础上能够自动生成测试用例,通过本系统可以对软件可信性进行测试,最后还提供了测试报告生成功能。
【关键词】：Web应用软件 软件可信性 行为声明 测试用例自动生成
【学位授予单位】：北京工业大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP311.53
【目录】：

• 摘要4-5
• Abstract5-8
• 第1章 绪论8-14
• 1.1 研究背景8-9
• 1.2 研究现状9-11
• 1.2.1 可信计算研究现状9-10
• 1.2.2 软件可信性研究现状10-11
• 1.2.3 存在的问题11
• 1.3 论文研究内容11-12
• 1.4 论文组织结构12-14
• 第2章 关键概念介绍14-24
• 2.1 可信计算14-17
• 2.1.1 可信计算基本思想14-15
• 2.1.2 软件的可信性15-17
• 2.2 遗传算法的基本概念17-22
• 2.2.1 标准遗传算法17-18
• 2.2.2 SGA流程图18-19
• 2.2.3 编码19
• 2.2.4 适应度函数19-20
• 2.2.5 选择操作过程20
• 2.2.6 交叉操作过程20-22
• 2.2.7 变异操作过程22
• 2.3 本章小结22-24
• 第3章 基于行为声明的软件可信性测试方法24-36
• 3.1 行为声明的定义及内容24-26
• 3.2 全生命周期可信保障模型26-31
• 3.2.1“言行一致”思想27-28
• 3.2.2 需求阶段应用软件可信性验证内容28-30
• 3.2.3 系统设计阶段应用软件可信性验证内容30
• 3.2.4 系统实现阶段应用软件可信性验证内容30
• 3.2.5 系统测试阶段应用软件可信性验证内容30-31
• 3.2.6 系统上线运行和维护阶段应用软件可信性验证内容31
• 3.3 Web应用软件可信性验证模型31-33
• 3.4 Web应用软件可信性测试流程33-35
• 3.4.1 测试计划设计33-34
• 3.4.2 测试需求定义与行为声明分析34
• 3.4.3 测试用例设计34-35
• 3.4.4 实施测试与测试报告生成35
• 3.5 本章小结35-36
• 第4章 基于行为声明自动生成测试用例的方法36-48
• 4.1 测试用例自动生成模型36
• 4.2 行为声明的分析36-42
• 4.2.1 行为声明规则分析37-38
• 4.2.2 行为声明在软件程序中的路径分析38-41
• 4.2.3 路径结构中节点的等价类分析41-42
• 4.3 基于遗传算法测试用例的自动生成42-45
• 4.3.1 参数编码42-43
• 4.3.2 种群初始化43
• 4.3.3 适应度函数设计43-44
• 4.3.4 遗传算子设计44-45
• 4.3.5 实验结果45
• 4.4 本章小结45-48
• 第5章 基于行为声明软件可信性测试方法的应用48-66
• 5.1 系统需求分析48-52
• 5.1.1 功能性需求48-52
• 5.1.2 非功能性需求52
• 5.2 系统设计52-58
• 5.2.1 系统架构设计52-53
• 5.2.2 系统数据库设计53-55
• 5.2.3 主要模块详细设计55-57
• 5.2.4 行为声明的定义及文件生成57-58
• 5.3 系统实现58-63
• 5.3.1 系统实现环境58
• 5.3.2 系统主要功能的实现58-63
• 5.4 系统测试63-64
• 5.5 本章小结64-66
• 结论66-68
• 参考文献68-72
• 攻读硕士学位期间取得的研究成果72-74
• 致谢74

【相似文献】

中国期刊全文数据库 前10条

1 魏蓉;;防火墙测试方法的研究[J];科技创新导报;2009年02期

2 ;电视机频通道统一测试方法(暂行)[J];广播与电视技术;1977年02期

3 马喜腾;叶绍英;曾起骧;王宁海;;关于我国云纹测试方法的重要元件——密栅版的研制[J];机械强度;1981年02期

4 陆正伟;耳机的测试方法[J];电声技术;1985年03期

5 孙隆庆;;评“美国电子管测试方法军用标准”[J];真空电子技术;1988年04期

6 王孙安;林廷圻;史维祥;;几种转速测试方法的比较[J];液压气动与密封;1992年04期

7 谢卫,刘键,李胜利;一个有效的数组下标相关性测试方法[J];计算机工程与应用;1993年04期

8 许世忠，周德;电话按键按力测试方法探讨[J];电子标准化与质量;1994年03期

9 周安利;解决千年虫,IBM负重前进[J];中国计算机用户;1998年31期

10 张晰;测试头测试方法及其性能、功能的分析[J];电信技术;1999年03期

中国重要会议论文全文数据库 前10条

1 章辉;;纺织品负离子发生量测试方法概述[A];“力恒杯”第11届功能性纺织品、纳米技术应用及低碳纺织研讨会论文集[C];2011年

2 曾桂生;;电子玻璃理化性能测试方法技术标准制定的综述[A];第四届理化分析经验交流会论文集（下册）[C];1990年

3 张立;邵闯;;隔热材料声载荷修正测试方法[A];第九届全国振动理论及应用学术会议论文摘要集[C];2007年

4 张炯;金惠华;;非干涉测试方法对异质嵌入式系统的适应[A];第四届中国测试学术会议论文集[C];2006年

5 张立;邵闯;;隔热材料声载荷修正测试方法[A];第九届全国振动理论及应用学术会议论文集[C];2007年

6 黄盛修;侯冠廷;张光男;陈春万;张振平;陈志杰;;空气清净机测试方法评估[A];第十届全国气溶胶会议暨第六届海峡两岸气溶胶技术研讨会摘要集[C];2009年

7 黄菁;李建欣;朱日宏;陈磊;何勇;;单帧干涉测试方法及其软件实现研究[A];第十二届全国光学测试学术讨论会论文（摘要集）[C];2008年

8 齐超;杨茂华;孙晓刚;戴景民;;双向反射分布函数的测试方法分析和实验研究[A];2002年中国光学学会年会论文集[C];2002年

9 王健忠;;玻纤布浸润性测试方法的研究[A];第四届全国覆铜板技术·市场研讨会报告·论文集[C];2003年

10 王小曼;;“电子警察”闯红灯系统的原理和测试方法的探讨[A];华东华南计量学术交流研讨会论文集[C];2012年

中国重要报纸全文数据库 前10条

1 姜丹 记者 王梅;我国电缆及连接器行业首个测试方法成为国际标准[N];中国质量报;2014年

2 本报记者 曹雅丽;统一测试方法 家电噪声新标准实施在即[N];中国工业报;2014年

3 江苏亨通光纤科技有限公司光纤分析实验室 王利英 马爱惠 黄强;G652D光纤宏弯损耗测试方法的实践及数据分析[N];通信产业报;2010年

4 魏亮;网络设备的主要测试方法[N];网络世界;2002年

5 记者 蒙华;《材料负离子发生量的测试方法》建材行业标准有望年底出台[N];中国建材报;2006年

6 北惃;了解自己 成就事业[N];市场报;2003年

7 本报记者 荣钰;IP融合带来测试方法学新发展[N];网络世界;2004年

8 劳;新方法检测快！快！快！[N];医药经济报;2001年

9 ;谁可分得SOC这杯羹[N];计算机世界;2003年

10 通讯员 刘晓杰;纺织品吸水性测试方法研发项目取得进展[N];中国纺织报;2009年

中国博士学位论文全文数据库 前1条

1 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年

中国硕士学位论文全文数据库 前10条

1 王骋曜;3D关键技术及测试方法研究[D];上海交通大学;2014年

2 宋林;风险测试方法在补丁测试中的应用研究[D];西安电子科技大学;2015年

3 赵溪山;电信业务支撑系统测试方法策略及其应用探究[D];山东大学;2015年

4 肖裕;MCU的ESD测试方法改进及其IO防护设计研究[D];湘潭大学;2015年

5 陈亦富;车身控制器功能测试方法改进及实现[D];上海交通大学;2014年

6 岳志强;CCD放大器测试方法的研究与实现[D];电子科技大学;2015年

7 徐小华;忆阻器测试方法及其触发器应用研究[D];华中科技大学;2014年

8 韩晓迪;尼龙66聚合物中添加剂测试方法改进[D];郑州大学;2016年

9 张惠玲;测试方法效应对语法测试的影响—两种语法题型的对比研究[D];广东外语外贸大学;2016年

10 沈鹏辉;快速OTA测试方法的设计与实现[D];湖南大学;2016年

  本文关键词：基于行为声明软件可信性测试方法的研究，，由笔耕文化传播整理发布。

本文编号：268321