用Z形式化描述程序切片

• 作者: 吴方君 徐升华
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 程序切片 程序依赖图 系统依赖图 Z语言
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 1444-1447
• 页数: 4页
• 分类号: TP311
• 字数: 3352字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.08.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐升华	江西财经大学信息管理学院	77	937	19.0	27.0
2	吴方君	江西财经大学信息管理学院	6	30	3.0	5.0