基于贝叶斯的软件可靠性评估研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:tp137907226
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以贝叶斯公式为基础,根据软件正确性的先验概率密度函数以及正确通过软件测试案例的数量分布服从二项分布的数学特征,求得软件正确性概率的后验分布,并提出一种改进的软件可靠性评估方法,从而解决了软件测试可靠性评估过程复杂且计算量较大的问题。在Matlab平台上对软件系统(中文学习平台)的测试可靠性进行评估,实验结果表明,该方法具有较高的实用性。
其他文献
针对国内电站锅炉合同技术协议中“高等级耐热钢须进15”限制性条款,分析国内外高等级耐热钢管制造现状、实物质量、标准差异及供货商的技术反馈,探讨制定进口高等级耐热钢的适
为贯彻国办发[2017]63号文件精神,推动我国医学教育发展,适应国际医学教育改革趋势,根据以岗位胜任力为导向的医学整合课程教学改革发展需要,中国整合课程联盟和人民卫生出版
目前对于新闻标题的研究绝大多数是对新闻标题的写作、修辞、语体、语法、语用等方面进行研究.缺乏对社会语境与新闻标题语言互动规律的探索。本文以《人民日报》新闻标题作为
随着中国社会都市化进程的加快,新都市题材的电影越来越多地出现在荧幕上。客观地分析和研究新都市电影对人们思想观念和行为习惯的影响,特别是对社会消费观带来的冲击和改变
<正>"科技与时尚"、"创意与设计"、"文化与技术"等怎样更好地交融,从而使时尚设计、工艺技术和科技设备三者有效结合。或许你可以在Shanghai Tex 2015上海国际数码印花创意服
箴、铭两种文体因都具有劝戒的性质,故人们在论述文体时,往往将两者归为一类,而作为两种不同的文体,其差异自然也不容忽视。从箴、铭二者的源起、用途、所施之物、体制和风格
期刊
索尔·贝娄是美国著名犹太作家,其代表作《赫索格》获得评论界的广泛关注。运用女性主义批评方法,通过分析两类不同的女性形象来探讨索尔·贝娄的性别观,以此来说明作家索尔
巨核细胞生长发育因子(megakaryocytes growth development factor,MGDF)有时也被称为血小板生成素(thrombopoietin,TPO),因为他是特异性地作用于巨核细胞-血小板系统的造血
作者针对目前基层卫生执法管理冲突的上升趋势,分别从卫生执法部门和人员、行政相对人、投诉举报者等3个方面对引发冲突的常见原因进行分析,并对如何应对执法管理冲突,提出相