基于循环变量的程序切片分析  

作　　者：常慧娟[1] 

机构地区：[1]黑龙江司法警官职业学院,黑龙江哈尔滨150069

出　　处：《黑龙江科技信息》2014年第28期21-21,共1页Heilongjiang Science and Technology Information

摘　　要：本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。

关 键 词：循环变量 程序切片 动态程序切片 静态程序切片 

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