学位论文 > 优秀研究生学位论文题录展示

软件可信性增长测试用例生成方法的研究

作 者: 邱志涛
导 师: 王慧强
学 校: 哈尔滨工程大学
专 业: 计算机应用技术
关键词: 可信 测试用例 可信性增长 体系结构 测评工具
分类号: TP311.53
类 型: 硕士论文
年 份: 2011年
下 载: 4次
引 用: 0次
阅 读: 论文下载
 

内容摘要


随着软件复杂性的增长和入侵攻击的加剧,可信性问题日益严峻,如何在软件可信性增长系统中生成测试用例成为当前研究的一个热点。本文在软件可信性研究与软件测试相关研究的国内外基本现状的基础上,针对软件可信性增长测试用例生成的问题开展了一系列研究,主要体现在如下几个方面:首先,设计了一种软件可信性增长系统框架,该框架以组件、连接件、接口、配置信息等要素为基本成分,同时,该框架具有开放式关键任务系统结构,支持自顶向下、多层次的可信性设计,以自调节、自配置为增长方式,并具有自毁的能力。其次,基于该框架的体系结构,对测试用例生成方法进行了研究。本文定义了软件体系结构覆盖准则,依据生成的可信性增长体系结构描述构造配置行为图和配置中间信息,在分析可信性增长体系各基本组成成分之间的依赖关系的基础上,利用测试覆盖准则,生成了反映软件可信性增长系统元素端口事件路径的测试用例。再次,本文研究了可信软件的属性,在此基础上提出了一种软件可信性增长测评模型。本文形式化的描述了该测评模型,并对其基本指标集进行了定义和量化。同时,本文给出了软件可信性增长测评模型的自律规则,增大了该模型的使用范围。最后,本文利用前文提出的面向软件可信性增长系统测试用例生成方法进行了实验,同时,依据该测试用例生成方法和可信性增长测评模型,开发了软件可信性增长测评工具CGT-Test,并利用该工具对试验系统的恢复性属性进行了评价。

全文目录


摘要  5-6Abstract  6-9第1章 绪论  9-17  1.1 课题目的和意义  9-10  1.2 国内外研究现状  10-15    1.2.1 软件可信性的研究现状  10-11    1.2.2 软件测试的研究现状  11-14    1.2.3 软件可信性测试的研究现状  14-15  1.3 论文的主要工作和组织结构  15-17    1.3.1 研究内容  15-16    1.3.2 论文的组织结构  16-17第2章 一种软件可信性增长系统框架  17-26  2.1 软件可信性增长模型  17-18  2.2 软件可信性自省方法  18-19  2.3 软件可信性增长方式  19-20    2.3.1 自调节  19-20    2.3.2 自配置  20  2.4 软件可信性增长系统的自毁机制  20-21  2.5 软件可信性增长系统基本成分描述  21-23  2.6 软件可信性增长系统的依赖分析  23-24  2.7 软件可信性增长系统配置描述  24-25  2.8 本章小结  25-26第3章 一种基于可信性体系结构测试用例生成方法  26-33  3.1 基于体系结构的测试用例生成过程  26-27  3.2 软件体系结构测试覆盖准则  27-29  3.3 构造配置行为图及配置中间信息  29-31  3.4 测试用例生成算法  31-32  3.5 本章小结  32-33第4章 一种软件可信性增长测评模型  33-41  4.1 可信软件的属性  33-35  4.2 软件可信性增长系统测评模型  35-36  4.3 软件可信性基本测评指标集  36-38  4.4 软件可信性增长测评模型的自律规则  38-40  4.5 本章小结  40-41第5章 测试用例生成方法实验分析与测评工具的实现  41-50  5.1 测试算例生成方法实验与分析  41-43    5.1.1 构建实验环境  41-42    5.1.2 实验结果  42-43    5.1.3 实验结果分析  43  5.2 软件可信性增长测评工具CGT-Test  43-47    5.2.1 CGT-Test的架构  44    5.2.2 模块分析  44-46    5.2.3 工具的结构设计与界面  46-47  5.3 利用CGT-Test测评  47-49  5.4 本章小结  49-50结论  50-51参考文献  51-55攻读硕士学位期间发表的论文和取得的科研成果  55-56致谢  56

相似论文

  1. 面向SMDA的服务建模方法及工具实现,TP311.52
  2. 嵌入式可信计算机系统安全机制的设计与实现,TP309
  3. 基于WEB的仿真互操作性测试工具研究,TP391.9
  4. 基于模型的Web测试技术研究与应用,TP311.53
  5. 基于行为可信的无线传感器网络入侵检测技术的研究,TP212.9
  6. C++静态代码检测语法树构建方法研究,TP311.53
  7. 基于云模型的软件可信性评估模型,TP311.53
  8. 城市轨道交通运营管理系统测试与评价方法研究,TP311.52
  9. 基于信誉度的云环境下资源管理的研究,TP315
  10. PSTN多信令点半实物仿真系统的设计与实现,TP391.9
  11. 银行客户关系管理信息系统的设计与实现,TP311.52
  12. 模糊与随机共存的稳定品库存策略研究,F224
  13. 自动生成SQL测试用例集的研究与实现,TP311.52
  14. 终端可信接入与远程证明技术研究,TP393.08
  15. 专用可信计算网络的研究与设计,TP393.08
  16. 基于ASP的中学物理网络教学平台的设计与实现,G633.7
  17. 对象存储系统中身份认证机制的设计与实现,TP333
  18. 企业级软件组件质量保障与快速部团策略的研究,TP311.53
  19. 伺服压力机上位机控制及工艺规划软件的研究,TP273
  20. 安全可信的视频传感器节点研究,TN929.5

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件维护
© 2012 www.xueweilunwen.com