基于K次循环结构处理的可达基本路径集生成方法

Fortran语言相比于其他常见的C、C++、Java语言具有高性能计算以及支持复数数据类型计算的特点。函数内的路径是分析函数间路径的基础，为了表示Fortran语言函数内存在的所有路径，使用可达基本路径集来表示函数内路径，针对生成路径集过程中为了找到函数内可达基本路径集而不断增加循环结构执行次数的现象，本文提出了以元素依赖为基础的K次循环结构处理方法处理不可达路径基中的循环结构，根据不可达路径中矛盾节点的矛盾元素与循环结构的关系，将循环结构分为对不可达路径基有影响的循环结构和无影响的循环结构，增加不可达路径基中有影响循环结构的执行次数直到该基路径可达或者达到上限K次。通过实验分析该方法对于简单的Fortran语言程序能够准确的生成可达基本路径集，相比于对所有循环结构进行循环穷举方法大大提高了可达基本路径集的生成效率，对于复杂的Fortran语言程序，该方法在生成可达基本路径集的完整率以及程序的覆盖率方面均优于循环穷举方法。