-
题名基于测试用例的软件可靠性分析
被引量:2
- 1
-
-
作者
李宝林
李志蜀
陈良银
倪建成
-
机构
四川大学计算机学院
-
出处
《计算机应用》
CSCD
北大核心
2007年第5期1254-1256,1270,共4页
-
基金
四川省科技厅重点项目(05GG021-003-2)
-
文摘
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂性、缺陷后果严重性和信息不足等因素等原因,根据矩阵和数理统计的知识得出相关的可靠性模型,并使用EM算法对该模型的置信下限做出了相应的理论证明。实验表明,该模型在实用性和可靠性方面都取得了较大的进展。
-
关键词
测试准则
EM算法
测试用例复杂性
软件可靠性模型
-
Keywords
testing criterion
expectation maximization
the complexity of test cases
a software reliability growth model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于EM算法的软件可靠性研究
- 2
-
-
作者
李宝林
李志蜀
李继玲
于凡
金虎
-
机构
四川大学计算机学院
西北政法大学
西安建筑科技大学
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第1期148-150,160,共4页
-
基金
四川省科技厅重点项目(05GG021-003-2)
-
文摘
结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。
-
关键词
测试准则
期望最大化算法
测试用例复杂性
软件可靠性模型
-
Keywords
testing criterion
expectation maximization algorithm
complexity of test cases
software reliability growth models
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-