| 一种基于故障模式状态机的测试方法 |
| |
| 引用本文： | 肖庆,杨朝红,毕学军.一种基于故障模式状态机的测试方法[J].北京化工大学学报(自然科学版),2007,34(A01):73-76. |
| |
| 作者姓名： | 肖庆 杨朝红 毕学军 |
| |
| 作者单位： | 装甲兵工程学院信息工程系,北京100072 |
| |
| 基金项目： | 国家“863”计划（2006AA012184） |
| |
| 摘 要： | 基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。
|
| 关 键 词： | 软件测试 静态分析 数据流分析 故障查找 |
| 修稿时间： | 2007-05-09 |
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(A01):73-76. |
| |
| Authors: | XIAO Qing YANG ZhaoHong BI XueJun |
| |
| Institution: | Department of Information Engineering, Academy of Armored Forces Engineering, Beijing 100072, China |
| |
| Abstract: | |
| |
| Keywords: | software test static analysis dataflow analysis error detection |
| 本文献已被 维普 等数据库收录！ |
|
