原文传递
嵌入式电子海图系统软件测试关键技术研究
| 论文题名： | 嵌入式电子海图系统软件测试关键技术研究 |
| 关键词： | 嵌入式软件测试;电子海图;系统单元;回归测试技术;内存泄漏;测试自动化;测试充分性;覆盖率;泄漏测试;系统软件;环境测试;过程模型;测试用例;测试需求;测试策略;比较研究;软件质量保证;控制流;函数;单元测试工具 |
| 摘要： | 随着嵌入式软件在航空、航天、航海和军事安全等诸多领域的广泛应用，嵌入式软件的质量越来越受到关注。软件一旦失败，就会直接或间接影响人类的生命财产和生态环境的安危，嵌入式软件测试是软件质量保证的重要手段之一。本文以我校研制的嵌入式电子海图系统软件测试需求为背景，围绕嵌入式电子海图系统中软件测试存在的问题展开研究。 首先，比较研究了目前存在的通用软件测试过程模型的优点和缺点，结合嵌入式电子海图系统的特点，提出嵌入式电子海图系统软件测试过程模型，合理地划分目标机环境测试和宿主机环境测试。 其次，深入研究了基于控制流和数据流的单元测试充分性标准，结合诸多学者的实验研究和嵌入式电子海图系统单元测试需求，提出嵌入式电子海图系统单元测试充分性标准。同时，考虑到圈复杂度和函数节点数对函数正确实现的影响，提出基于优先级的单元测试策略。将Zinc框架类代码、API函数与逻辑运算代码隔离，解决自动化单元测试工具Testbed/Tbrun与Zinc冲突的问题，实现了嵌入式电子海图系统单元测试自动化。 第三、详细地分析了嵌入式电子海图系统中类之间的依赖关系，建立类关系模型，构建嵌入式电子海图系统回归测试类防火墙，确定回归测试范围，提出了回归测试策略。比较研究了目前存在的单元级选择性回归测试技术，结果表明基于控制流图遍历算法更适合嵌入式电子海图系统的回归测试用例选择，同时对该算法改进并应用在嵌入式电子海图系统中，实验结果表明改进算法在保证安全性的前提下提高了回归测试用例选择的精确度。 最后、分析了嵌入式电子海图系统覆盖率测试和内存泄漏测试的需求和难点，配置Testbed和CodeTEST软件和硬件测试环境，实现嵌入式电子海图系统覆盖率测试和内存泄漏测试自动化，分析覆盖率和内存测试结果，找到内存泄漏的主要原因，提高了软件的质量。 |
| 作者： | 郑纯 |
| 专业： | 导航、制导与控制 |
| 导师： | 钱华明 |
| 授予学位： | 硕士 |
| 授予学位单位： | 哈尔滨工程大学 |
| 学位年度： | 2009 |
| 正文语种： | 中文 |
检索历史
应用推荐
