用Z形式化描述程序切片

摘要：

程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用Z语言来形式化描述程序切片,考虑了程序切片中诸如程序依赖图和程序切片算法等常用的方面.该形式化描述不仅能帮助人们正确地理解程序切片的含义,而且还能够从比较严格的意义上明确程序切片的应用领域.

关键词：程序切片、程序依赖图、系统依赖图、Z语言

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金：江西省自然科学基金0511073;江西省教育科学规划项目06ZD047;江西省社会科学基金06JY32;江西财经大学校科研和教改项目

在线出版日期：2007-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1444-1447