作者：常慧娟循环变量程序切片动态程序切片静态程序切片
摘要：本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法，该方法基于循环结构中的循环变量，采用程序的动态切片技术，同时结合了程序的静态切片技术，以及程序的静态分析方法来分析和理解程序，通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式，也即在程序运行中是否会遇到死循环问题，从而提高程序的运行效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《科学技术创新》（CN：23-1600/N）是一本有较高学术价值的大型旬刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科学技术创新》杂志以刊登实用信息技术转让科研成果为主要内容，侧重于科研成果转让，同时为广大科技、经济工作者提供一个展示平台，以弘扬科教兴国、科学技术是第一生产力为办刊宗旨，读者对象为广大科技、经济教育工作者和中小企业。
省级期刊
人气 846823 评论 70
人气 754173 评论 72
人气 485137 评论 71
部级期刊
人气 442253 评论 69
