论文部分内容阅读
程序分片是一种有效的程序分析技术。它能根据给定的分片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用。但对于面向对象语言程序，其研究与应用还存在一些待解决的问题。针对面向对象语言程序，提出了一种改进后的系统依赖图：ISDG，用来更好地表示面向对象程序中的依赖关系，从而解决了对象粪型参数和属性的表示问题，使分片更加准确。