| 测试资源受约束的安全关键软件加速测试方法 |
| |
| 引用本文： | 张德平,聂长海,徐宝文.测试资源受约束的安全关键软件加速测试方法[J].计算机科学,2009,36(5):138-141. |
| |
| 作者姓名： | 张德平 聂长海 徐宝文 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程学院,南京,210096;南京航空航天大学理学院,南京,210016
2. 东南大学计算机科学与工程学院,南京,210096 |
| |
| 基金项目： | 教育部高等学校博士学科点专项科研基金，国家自然科学基金，武汉大学软件工程国家重点实验室开放基金，东南大学优秀青年教师教学科研项目 |
| |
| 摘 要： | 基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法.该方法利用一种新的随机优化技术--交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数据集.实验结果表明该方法能有效地降低软件失效风险,提高测试效率,是一种快速有效的加速测试方法.
|
| 关 键 词： | 软件测试 安全关键软件 加速测试方 马尔可夫链使用模型 交叉熵方法 |
| 收稿时间： | 2008/10/30 0:00:00 |
Acceleration Testing Method of Safety-critical Software with Testing Resource Constraint |
| |
| ZHANG De-ping,NIE Chang-hai,XU Bao-wen.Acceleration Testing Method of Safety-critical Software with Testing Resource Constraint[J].Computer Science,2009,36(5):138-141. |
| |
| Authors: | ZHANG De-ping NIE Chang-hai XU Bao-wen |
| |
| Affiliation: | Department of Computer Science & Engineering;Southeast University;Nanjing 210096;China;College of Science;Nanjing University of Aeronautics & Astronautics;Nanjing 210016;China |
| |
| Abstract: | A heuristic acceleration testing method of safety-critical software with testing resource constraint based on Markov chain usage models was presented.The developed approach makes use of a new stochastic optimization method called Cross Entropy method.By adjusting the operational profile in Markov chain usage models,we considered the mini-mization of failure risk and tried to automatic generation test data.The experimental results obtained show that this optimization technique is a promising option for tackl... |
| |
| Keywords: | Software testing Safety-critical software Acceleration testing method Markov chain usage model Cross entropy method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
