汇编程序覆盖测试中分支路径数的计算  

An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing

作　　者：唐科[1] 汪文勇[1] 向渝[1] 罗光春[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《电子科技大学学报》2005年第2期236-239,共4页Journal of University of Electronic Science and Technology of China

摘　　要：说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准确地计算出给定汇编程序的分支路径数。Coverage testing is a basic method for dynamic software testing. An algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorithm is verified on a sample assembly program and it抯 time complexity is analyzed also.

关 键 词：覆盖测试 基本块 程序流图 存储矩阵 邻接表 

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