Full-Text Search:
Home|About CNKI|User Service|中文
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.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©CNKI All Rights Reserved