安全关键软件可靠性验证测试方法研究 study on the reliability demonstration testing method for safety-critical software.pdf

下载文档

1
0
约4.53万字
约 6页
2018-04-07 发布于湖北
举报
版权申诉
保障服务

安全关键软件可靠性验证测试方法研究 study on the reliability demonstration testing method for safety-critical software.pdf

1、本文档共6页，可阅读全部内容。
2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

安全关键软件可靠性验证测试方法研究 study on the reliability demonstration testing method for safety-critical software

第卷第期航空学报 Z6 3 Vol.Z6 No.3 Z00S 年 S 月 ACTA AERONAUTICA ET ASTRONAUTICA SINICA Ma Z00S y 文章编号! ( ) 1000-6893 Z00S 03-334-06 安全关键软件可靠性验证测试方法研究覃志东9 雷航9 桑楠9 熊光泽9 古幼鹏 (电子科技大学计算机学院实时系统研究室9 四川成都 61000S4) Stud on the reliabilit Demonstration testin Method for Safet -criticalSoftwarey y g y 9 9 9 9 IN Zhi-don LEI ~an SANG Nan XIONG Guan -Ze GU You- en g g g p g ( 9 9 9 ) Real-time S stem Lab. Universit of Electronic Science and Technolo of China Chen du 6100S4 China y y gy g 摘要: 为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量9在分析经典统计假设测试和无先验贝叶斯统计方法的基础上9提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法G 实验表明9所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性G 关键词: 软件可靠性; 可靠性验证; 贝叶斯方法; 安全关键软件; 软件测试中图分类号: TP311.S3 VZ1S.7; 文献标识码: A Abstract In order to reducethetotal number of thetestin casesbut not to decreasethe confidencelevel of the: g testin results for the reliabilit demonstration of safet -critical software9 a new method which uses ba esian g y y