原文传递
电子海图系统软件可靠性测试技术研究
| 论文题名： | 电子海图系统软件可靠性测试技术研究 |
| 关键词： | 先验贝叶斯模型;电子海图系统;软件可靠性测试;操作剖面 |
| 摘要： | 电子海图系统是二十世纪航海、导航领域出现的一项新技术，它可以及时的提供各类海上信息，有效地保证海运船舶的安全。随着电子海图系统在海上交通、海港规划、海上污染清理、船舶调度、海上搜救、航路导航、海洋渔业及海上指挥等领域的应用日益增多，对电子海图系统软件可靠性的要求也越来越高。 软件可靠性测试是保证软件可靠性过程中至关重要的一步，是提高软件可靠性最有效的方法，本课题以电子海图系统为研究对象，对软件可靠性测试过程中的关键技术进行研究完善，主要研究内容如下： (1)研究软件可靠性测试相关理论，重点研究软件可靠性度量方法，可靠性测试过程，可靠性测试特点，分析可靠性测试用例建模方法，确定适合本课题的可靠性测试用例生成模型，设计电子海图系统软件可靠性测试的框架。 (2)研究软件的剖面构造技术，分析传统的操作剖面的局限性，针对局限性对操作剖面进行扩展，进而提出操作序列剖面的概念及构造方法，完成电子海图系统的操作序列构造。 (3)研究软件可靠性增长测试技术，重点研究可靠性增长测试方法的选择策略，可靠性增长测试用例生成，可靠性增长测试充分性判断。完善基于可靠度的测试度量方法，并综合对比基于P-测度、基于E-测度、基于可靠性三种软件测试度量方法，提出电子海图系统可靠性增长测试方法的选择策略，完成电子海图系统软件可靠性增长测试，记录并分析测试结果。 (4)研究软件可靠性验证测试，给出基于先验贝叶斯的可靠性验证测试模型，重点研究如何确定贝叶斯模型中先验分布。综合考虑不同的先验信息，采用线性混合的方法对先验分布的确定方法进行改进，并仿真验证改进方法的有效性。 (5)依据可靠性增长测试阶段的先验信息，确定电子海图系统失效率的先验分布，通过先验贝叶斯模型确定在给定可靠性指标下，电子海图系统所需的最少可靠性验证测试量，与传统的统计方法和无先验信息的贝叶斯方法进行对比，验证基于先验贝叶斯的可靠性验证模型可以有效的降低测试量，并依照先验贝叶斯的验证模型对电子海图系统进行可靠性验证测试。 |
| 作者： | 郑晓云 |
| 专业： | 导航、制导与控制 |
| 导师： | 孙枫 |
| 授予学位： | 硕士 |
| 授予学位单位： | 哈尔滨工程大学 |
| 学位年度： | 2012 |
| 正文语种： | 中文 |
检索历史
应用推荐
