-
题名测试资源受约束的安全关键软件加速测试方法
被引量: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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于模糊数学的测试用例优化技术研究
- 2
-
-
作者
马海云
张少刚
-
机构
天水师范学院物理与信息科学学院
-
出处
《计量技术》
2012年第7期3-5,共3页
-
基金
甘肃省教育厅硕士生导师基金项目(0908-04)
-
文摘
为了缩短软件测试周期,测试用例的生成是关键。在模糊综合评判数学模型和马尔可夫使用链模型的基础上,提出了基于模糊数学的测试用例优化的方法。通过实例证明了这一技术的实用性和有效性。
-
关键词
软件可靠性
测试用例
马尔可夫使用链模型
模糊数学
-
分类号
O159
[理学—基础数学]
-