静态程序切片相关论文
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法，该方法基于循环结构中的循环变量，采用程序的动态切片技术，同时结合......
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法，该方法基于循环结构中的循环变量，采用了程序的后向切片技术，以及程......
程序切片技术是一种在程序调试、测试、代码理解和软件维护等领域用来分析和理解程序的技术,它具有简化问题、缩小目标范围的特性......
分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象，认为其原因是该算法对线程问数据依赖的定义过于粗糙......
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分......
