论文部分内容阅读
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法，该方法基于循环结构中的循环变量，采用了程序的后向切片技术，以及程序的静态分析方法来分析和理解程序，通过上述方法来判断给定的程序中是否存在死循环模式，也即在程序运行中是否会遇到死循环问题，从而提高程序的运行效率。
基于循环变量的静态程序切片分析
【摘 要】
：
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法，该方法基于循环结构中的循环变量，采用了程序的后向切片技术，以及程序的静态分析方法来分析和理解程序，通过上述
【机 构】
：
黑龙江司法警官职业学院
【出 处】
：
黑龙江科技信息
【发表日期】
：
2014年25期
其他文献
合作开发环太湖旅游圈探求区域旅游发展的新思路□张慰冰太湖，是我们的母亲湖，孕育了吴越大地的子民。太湖水系，也是华东特别是苏浙皖沪文明发展的发祥地。在社会主义市场经济发展的过程中，谋求区域合作和共同发展已经成为越来越普遍的共识。有关环太湖旅游圈（为使旅...
对于适合a＜b的正整数a和b,如果a+(a+1)+…+b=ab,则称(a,b)是一个友好数对.本文给出了所有的友好数对.
随着人们物质生活水平的提高,我国汽车保有量呈不断上升的趋势,汽车作为代步工具在我国的应用已经非常普遍。在汽车行驶的过程中,一旦出现故障将会产生极大的安全事故,严重威
[导读]嫦娥3号是在嫦娥前期工程顺利实施的基础上开展的进一步探测计划探测器组合体于2013年12月14日成功在月面雨海北部地区着陆，随后顺利释放玉兔号月球车，并按照预定计划使
近些年来,随着我国经济水平的逐步提高,建筑行业在我国的发展一步进入热潮期。与此同时,我们知道,建筑行业的健康发展离不开科学的建筑设计,建筑设计在一定程度上决定着建筑
目的探讨双相躁狂患者童年期创伤对攻击行为及临床症状的影响。方法选取140例双相躁狂患者,采用童年创伤问卷(CTQ)评估患者童年创伤情况,根据CTQ结果将其分为创伤组(41例)和