Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Chinese Computer Systems》 2007-08
Add to Favorite Get Latest Update

Formalizing Program Slicing Using Z

WU Fang-jun,XU Sheng-hua (School of Information Technology, Jiangxi University of Finance & Economics, Nanchang 330013,China)  
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.
【Fund】: 江西省自然科学基金项目(0511073)资助;; 江西省教育科学“十一五”规划重点课题(06ZD047)资助;; 江西省社会科学“十一五”规划课题(06JY32);; 江西财经大学校级课题(程序切片技术在软件形式化中的应用)资助
【CateGory Index】: TP311.11
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved