一种基本路径集求解算法-计算机应用与软件.PDFVIP

第３１卷第１１期　　　 计算机应用与软件 Ｖｏｌ３１Ｎｏ．１１ ２０１４年１１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｎｏｖ．２０１４ 一种基本路径集求解算法 １ １ ２ 王　敏 　陈少敏　陈亚光 １（武昌理工学院信息工程学院　湖北武汉４３０２２３） ２（中南民族大学生物医学工程学院　湖北武汉４３００７４） 摘　要　　ＭｃＣａｂｅ提出的基本路径测试法被认为是动态白盒测试方法中严谨而有效的测试方法。如何提高基本路径测试的效率 是人们一直在探索的问题。为此，从被测程序的基本结构出发，提出一种基于组合的基本路径求解算法。该算法首先创建一种基于 Ｚ路径覆盖的基本单元图；然后建立由基本单元图组合形成控制流图的组合规则；以此为基础，提出基本路径组合算法。该算法只 需一次扫描程序得到程序基本结构的路径集，然后将这些路径进行组合生成被测程序的基本路径集。 关键词　　基本单元　基本路径测试　基本路径集　自动化测试　白盒测试 中图分类号　ＴＰ３１１．１　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１４．１１．００３ ＡＮＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＢＡＳＩＣＰＡＴＨＳＥＴ １ ２ ２ ＷａｎｇＭｉｎ　ＣｈｅｎＳｈａｏｍｉｎ　ＣｈｅｎＹａｇｕａｎｇ １（ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＷｕｃｈａｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｗｕｈａｎ４３０２２３，Ｈｕｂｅｉ，Ｃｈｉｎａ） ２（ＣｏｌｌｅｇｅｏｆＢｉｏｍｅｄｉｃａｌＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈＣｅｎｔｒａｌＵｎｉｖｅｒｓｉｔｙｆｏｒＮａｔｉｏｎａｌｉｔｉｅｓ，Ｗｕｈａｎ４３００７４，Ｈｕｂｅｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　ＴｈｅｂａｓｉｃｐａｔｈｔｅｓｔｉｎｇｍｅｔｈｏｄｐｒｅｓｅｎｔｅｄｂｙＭｃＣａｂｅｉｓｃｏｎｓｉｄｅｒｅｄａｓａｒｉｇｏｒｏｕｓａｎｄｅｆｆｅｃｔｉｖｅｔｅｓｔｉｎｇｍｅｔｈｏｄｉｎｄｙｎａｍｉｃｗｈｉｔｅ ｂｏｘｔｅｓｔｉｎｇｍｅｔｈｏｄｓ．Ｈｏｗｔｏｉｍｐｒｏｖｅｔｈｅｅｆｆｉｃｉｅｎｃｙｏｆｔｈｅｂａｓｉｃｐａｔｈｔｅｓｔｉｎｇｉｓａｌｗａｙｓａｎｉｓｓｕｅｅｘｐｌｏｒｅｄｂｙｔｈｅｐｅｏｐｌｅ．Ｔｈｅｒｅｆｏｒｅ，ｐｒｏｃｅｅｄｉｎｇ ｆｒｏｍｔｈｅｂａｓｉｃｓｔｒｕｃｔｕｒｅｏｆｔｈｅｐｒｏｇｒａｍｔｏｂｅｔｅｓｔｅｄ，ｗｅｐｒｏｐｏｓｅａｃｏｍｂｉｎａｔｉｏｎｂａｓｅｄａｌｇｏｒｉｔｈｍｆｏｒｓｏｌｖｉｎｇｔｈｅｂａｓｉｃｐａｔｈｓｅｔ．Ｔｈｅａｌｇｏｒｉｔｈｍ ｆｉｒｓｔｃｒｅａｔｅｓａＺｐａｔｈｃｏｖｅｒａｇｅｂａｓｅｄｂａｓｉｃｕｎｉｔｃｈａｒｔ．Ｔｈｅｎｉｔｓｅｔｓｕｐｔｈｅｃｏｍｂｉｎａｔｉｏｎｒｕｌｅｓｆｏｒｆｏｒｍｉｎｇｔｈｅｃｏｎｔｒｏｌｆｌｏｗｇｒａｐｈｂｙｃｏｍｂｉｎｉｎｇ ｔｈｅｂａｓｉｃｕｎｉｔｃｈａｒｔｓ．Ｏｎｔｈｉｓｂａｓｉｓ，ｗｅｐｒｏｐｏｓｅｔｈｅｃｏｍｂｉｎａｔｉｏｎａｌｇｏｒｉｔｈｍｏｆｂａｓｉｃｐａｔｈ．Ｔｈｅａｌｇｏｒｉｔｈｍｏｂｔａｉｎｓｔｈｅｐａｔｈｓｅｔｏｆｔｈｅｂａｓｉｃ ｓｔｒｕｃｔｕｒｅｏｆｐｒｏｇｒａｍｂｙｓｃａｎｎｉｎｇｔｈｅｐｒｏｇｒａｍｏｎｌｙｏｎｃｅ，ａｎｄｔｈｅｎｃｏｍｂｉｎｅｓｔｈｅｓｅｐａｔｈｓｔｏｇｅｎｅｒａｔｅｔｈｅｂａｓｉｃｐａｔｈｓｅｔｏｆｔｈｅｐｒｏｇｒａｍｔｏｂｅ ｔｅｓｔｅｄ． Ｋｅｙｗｏｒｄｓ　　Ｂａｓｉｃｕｎｉｔ　Ｂａｓｉｃｐａｔｈｔｅｓｔｉｎｇ　Ｂａｓｉｃｐａｔｈｓｅｔ　Ａｕｔｏｍａｔｅｄｔｅｓｔｉｎｇ　Ｗｈｉｔｅｂｏｘｔｅｓｔｉｎｇ