-
题名测试资源受约束的安全关键软件加速测试方法
被引量：5
- 1
-
-
作者
张德平
聂长海
徐宝文
-
机构
东南大学计算机科学与工程学院
南京航空航天大学理学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第5期138-141,共4页
-
基金
教育部博士点基金(20060286020)
国家自然科学基金(60425206,60773104,60633010,60503033)
+1 种基金
武汉大学软件工程重点实验室开放基金
东南大学优秀青年教师教学科研基金资助
-
文摘
基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法。该方法利用一种新的随机优化技术——交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数据集。实验结果表明该方法能有效地降低软件失效风险,提高测试效率,是一种快速有效的加速测试方法。
-
关键词
软件测试
安全关键软件
加速测试方
马尔可夫链使用模型
交叉熵方法
-
Keywords
Software testing,Safety-critical software, Acceleration testing method, Markov chain usage model, Cross entropy method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
