基于改进的Z路径覆盖策略的路径生成算法  

Path generation algorithm based on improved Z-path coverage strategy

作　　者：刘万春[1] 李顺华[2] 朱玉文[1] 

机构地区：[1]北京理工大学计算机系,北京100081 [2]中国航天三院软件检测站,北京100074

出　　处：《计算机工程与设计》2005年第12期3327-3330,3349,共5页Computer Engineering and Design

摘　　要：针对汇编语言程序非结构化的特点,提出了基于改进的Z路径覆盖策略的汇编语言程序结构测试方法和路径自动生成算法。该算法采用正则表达式来表示程序控制流结构,从控制流分段、正则表达式生成、路径片段生成和路径片段连接4个步骤完成了路径生成的过程,提出了矩阵递归算法MRA以解决路径片段连接问题。该算法能够生成覆盖在循环处执行循环体的0次、1次和2次循环的路径集,该路径集覆盖语句覆盖、判定覆盖和循环覆盖准则的同时,其路径数量又可以接受。An assembly program＇s structural test method and path generation algorithm based on improved Z-path coverage strategy was proposed, The algorithm finished the process of path generation from four steps--control flow separation, regular expression gener ation, path segment generation and path segment link, About path segment link, MRA （matrix recursion algorithm） was presented to resolve linking＇s problem, The algorithm can generate path sets with acceptable number that executes zero, once and twice cycle-body and that covers statement coverage, decision coverage and cycle coverage.

关 键 词：控制流 Z路径测试 正则表达式 递归 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]