用Z形式化描述程序切片  

Formalizing Program Slicing Using Z

作　　者：吴方君[1] 徐升华[1] 

机构地区：[1]江西财经大学信息管理学院,江西南昌330013

出　　处：《小型微型计算机系统》2007年第8期1444-1447,共4页Journal of Chinese Computer Systems

基　　金：江西省自然科学基金项目(0511073)资助;江西省教育科学"十一五"规划重点课题(06ZD047)资助;江西省社会科学"十一五"规划课题(06JY32);江西财经大学校级课题(程序切片技术在软件形式化中的应用)资助

摘　　要：程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用Z语言来形式化描述程序切片,考虑了程序切片中诸如程序依赖图和程序切片算法等常用的方面.该形式化描述不仅能帮助人们正确地理解程序切片的含义,而且还能够从比较严格的意义上明确程序切片的应用领域.Program slicing is a well-known technique that has been used in a variety of software engineering areas,such as comprehension,understanding,maintenance,debugging,testing,reuse,metrics,etc.Recently, more and more researchers have worked with program slicing.However,the lack of formal semantic specification for it indicates the existence of potential semantic inconsistency and ambiguity in these activities.This paper represents a research effort towards the semantic formalization for program slicing technique using Z Schema Calculus.General aspects of program slicing are considered,i.e. program dependence graphs and program slicing algorithm.This formalization could help in the correct understanding of program slicing and also the correct application of a desired slicing regime in a rigorous way.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]