小卫星软件测试的系统设计
文献类型：学位论文
| 作者 | 陈浩 |
| 学位类别 | 硕士 |
| 答辩日期 | 2004 |
| 授予单位 | 中国科学院上海冶金研究所 |
| 导师 | 杨根庆 ; 刘海涛 |
| 关键词 | 黑盒 白盒测试 测试用例 测试覆盖 遗传算法 故障定位 故障 注入 |
| 学位专业 | 微电子学与固体电子学 |
| 中文摘要 | 本文在已有的软件测试理论的基础上结合航天软件的高可靠性要求设计了 针对CASCOM一号小卫星的软件测试系统，提出了包括测试用例设计、测试 覆盖要求等等具体的测试要求、策略和方法。 文章首先介绍了软件测试的基本理论和软件测试的常用方法。其中包括软 件错误与软件质量的概念、黑盒测试和白盒测试的理论、针对面向对象软件的 测试基本理论、软件测试工具等现有理论。 其后本文提出了针对小卫星的软件系统的软件测试框架，并以测试工具 LOGISCOPE为例介绍了测试工具的功能及其应用方法，并给出了对于不同软 件的测试流程和 |
| 语种 | 中文 |
| 公开日期 | 2012-03-06 |
| 源URL | [http://ir.sim.ac.cn/handle/331004/82640]  |
| 专题 | 上海微系统与信息技术研究所_微系统、冶金所学位论文_学位论文 |
| 推荐引用方式 GB/T 7714 | 陈浩 . 小卫星软件测试的系统设计[D]. 中国科学院上海冶金研究所 . 2004. |
入库方式： OAI收割
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。