电子海图系统软件可靠性测试技术的研究

《电子海图系统软件可靠性测试技术的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、电子海图系统软件可靠性测试技术研究摘要电子海图系统是二十世纪航海、导航领域出现的一项新技术，它可以及时的提供各类海上信息，有效地保证海运船舶的安全。随着电子海图系统在海上交通、海港规划、海上污染清理、船舶调度、海上搜救、航路导航、海洋渔业及海上指挥等领域的应用日益增多，对电子海图系统软件可靠性的要求也越来越高。软件可靠性测试是保证软件可靠性过程中至关重要的一步，是提高软件可靠性最有效的方法，本课题以电子海图系统为研究对象，对软件可靠性测试过程中的关键技术进行研究完善，主要研究内容如下：(1)研究软件可靠性测试相关理论，重点研究软件可靠性度量

2、方法，可靠性测试过程，可靠性测试特点，分析可靠性测试用例建模方法，确定适合本课题的可靠性测试用例生成模型，设计电子海图系统软件可靠性测试的框架。(2)研究软件的剖面构造技术，分析传统的操作剖面的局限性，针对局限性对操作剖面进行扩展，进而提出操作序列剖面的概念及构造方法，完成电子海图系统的操作序列构造。(3)研究软件可靠性增长测试技术，一重点研究可靠性增长测试方法的选择策略，可靠性增长测试用例生成，可靠性增长测试充分性判断。完善基于可靠度的测试度量方法，并综合对比基于P一测度、基于E一测度、基于可靠性三种软件测试度量方法，提出电子海图系统可靠

3、性增长测试方法的选择策略，完成电子海图系统软件可靠性增长测试，记录并分析测试结果。(4)研究软件可靠性验证测试，给出基于先验贝叶斯的可靠性验证测试模型，重点研究如何确定贝叶斯模型中先验分布。综合考虑不同的先验信息，采用线性混合的方法对先验分布的确定方法进行改进，并仿真验证改进方法的有效性。(5)依据可靠性增长测试阶段的先验信息，确定电子海图系统失效率的先验分布，通过先验贝叶斯模型确定在给定可靠性指标F，电子海图系统所需的最少可靠性验证测试量，与传统的统计方法和无先验信息的贝叶斯方法进行对比，验证基于先验贝叶斯的可靠性验证模型可以有效的降低测

4、试量，并依照先验贝叶斯的验证模型对电子海图系统进行可靠性验证测试。关键词：操作序列剖面；可靠性增长测试；jJ丁靠性验证测试；先验贝叶斯模型哈尔滨工程大学硕士学位论文ABSTRACTElectronlcchannaVigationsystemisanewtechn0109yinnavigationfield，itcanprovideV锄oustypesotm踟neinfomationtimely，anditise能ctivetoensurem撕timesafetvoftheship·Withtheelectronicch抓systemsapp

5、licatedincreasin91yinthefieldofm撕netranspon，portplanmng，m撕nep011utionManagement，Vesselscheduling，m撕nesearchandrescue．routeguldance，marinefisheriesandmarinecommand，therequirementsonelectronicchartsystemsoRwarereliabilityaremorehigherandhigher．SoRwarereliabilitytestingisacri

6、ticalstepintheprocessofguaranteesoRwarerellablllty；aJldsoRwarereliabilitytestingisthemostefrectivewaytoimprovesoRwarerellablllty，electronicchansystemfortheapplicationobject，mekeytechn0109yoftheso士twarereliabllltytestprocessisstudiedinthispaper’themaincontentspeci柳ngasf0110

7、ws：F’1rstly，themeoryofsoRwarereliabilitytestingisstudied，andthesoRwarereliabilitvmeasurementmethods，theprocessofreliabilitytestingandthecharacteristicsofreliabilitvtestlngareresearched，themodeIingmethodofreIiabilitytestcaseisanalyzed．Then．thesoRwarereliabilitytesting仔锄ewor

8、kofelectronicchansystemisdesigIled．Secondly，thesoRwareprofileconstmctiontechniquesisresea