首页 | 本学科首页   官方微博 | 高级检索  
     

基于循环变量的程序切片分析
作者姓名:常慧娟
作者单位:黑龙江司法警官职业学院,黑龙江 哈尔滨,150069
摘    要:本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。

关 键 词:循环变量  程序切片  动态程序切片  静态程序切片
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号