| 一种基于故障模式状态机的测试方法 |
| |
| 引用本文： | 肖庆,杨朝红,毕学军.一种基于故障模式状态机的测试方法[J].北京化工大学学报(自然科学版),2007,34(Z1):73-76. |
| |
| 作者姓名： | 肖庆 杨朝红 毕学军 |
| |
| 作者单位： | 装甲兵工程学院信息工程系， 北京 100072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数，E是控制流图边数)。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。
|
| 关 键 词： | 软件测试 静态分析 数据流分析 故障查找 故障模式 状态机 测试方法 testing method based state machine pattern fault 情况 减少误报 条件 测试效率 计算复杂性 独立性 节点数 控制流图 路径数 分析算法 故障检测 迭代 |
| 收稿时间： | 2007-05-09 |
| 修稿时间： | 2007年5月9日 |
Study of a fault pattern state machine based testing method |
| |
| XIAO Qing,YANG ZhaoHong,BI XueJun.Study of a fault pattern state machine based testing method[J].Journal of Beijing University of Chemical Technology,2007,34(Z1):73-76. |
| |
| Authors: | XIAO Qing YANG ZhaoHong BI XueJun |
| |
| Institution: | Department of Information Engineering, Academy of Armored Forces Enginee ring, Beijing 100072， China |
| |
| Abstract: | |
| |
| Keywords: | software test static analysis dataflow analysis error detection |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京化工大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《北京化工大学学报(自然科学版)》下载免费的PDF全文 |
