排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
一个C程序切片系统的设计与实现 总被引:1,自引:0,他引:1
针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖、控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现的一个C程序切片系统,其中包括系统的概要设计思想,系统中使用的数据结构以及切片生成算法。C程序切片系统不仅可用于产生C程序的切片,而且可用于观察C程序的框架结构和有关变量的多种数据字典。所有这些结果,为C程序的测试、排错与维护提供许多有用的信息,对C程序的并行性检测、波动分析和复杂性度量提供有力的支持。 相似文献
1