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

小卫星软件测试的系统设计

作　者: 陈浩
导　师: 刘根庆；刘海涛
学　校: 中国科学院上海冶金研究所
专　业: 微电子学与固体电子学
关键词: 黑盒、白盒测试测试用例测试覆盖遗传算法故障定位故障注入
分类号: TP311.53
类　型: 硕士论文
年　份: 2000年
下　载: 279次
引　用: 0次
阅　读: 论文下载

内容摘要

本文在已有的软件测试理论的基础上结合航天软件的高可靠性要求设计了针对CASCOM一号小卫星的软件测试系统，提出了包括测试用例设计、测试覆盖要求等等具体的测试要求、策略和方法。文章首先介绍了软件测试的基本理论和软件测试的常用方法。其中包括软件错误与软件质量的概念、黑盒测试和白盒测试的理论、针对面向对象软件的测试基本理论、软件测试工具等现有理论。其后本文提出了针对小卫星的软件系统的软件测试框架，并以测试工具LOGISCOPE为例介绍了测试工具的功能及其应用方法，并给出了对于不同软件的测试流程和要求。在传统的黑盒测试方法的基础上，本文根据遗传算法的原理，提出了遗传算法在黑盒测试中的应用思路，包括利用遗传算法优化测试用例的思路和利用遗传算法结合硬件故障定位理论快速实现软件的故障定位理论思路。最后根据小卫星的软件高可靠性要求本文设计了一个硬件测试平台，利用故障注入的原理用以检测软件的容错、纠错性能。该设计己经向有关部门申请发明专利。

全文目录

  3
  3-4
  4
  4-7
第一章引言  7-16
  1.1 软件测试的历史及发展现状  7-10
  1.2 本文的背景  10-14
  1.3 本文所完成的任务  14-16
第二章软件测试常用方法及应用  16-33
  2.1 软件错误与软件质量  16-21
  2.2 黑盒测试与白盒测试  21-26
  2.3 面向对象软件的测试方法  26-31
  2.4 测试工具综述  31-33
第三章小卫星软件测试设计  33-56
  3.1 测试策略、计划和要求  33-38
  3.2 结合测试工具实现测试计划  38-47
  3.3 遗传算法在黑盒测试中的应用  47-56
第四章小卫星的软件系统以及其可靠性测试  56-63
  4.1 容错、纠错测试的硬件实现方法  56-58
  4.2 软件可靠性测试通用系统的硬件设计  58-60
  4.3 测试软件的设计  60-63
第五章结论  63-64
  64-65
发表文章目录  65-66
致谢  66

小卫星软件测试的系统设计

内容摘要

全文目录

相似论文