A Formal Mapping between Program Slicing and Z Specifications

2009 ◽  
Author(s):  
Fangjun Wu
Keyword(s):  
Program Slicing ◽  
Formal Mapping

RESTRUCTURING PROGRAMS THROUGH PROGRAM SLICING

1994 ◽  
Vol 04 (03) ◽  
pp. 349-368 ◽  
Author(s):  
HYEON SOO KIM ◽  
YONG RAE KWON ◽  
IN SANG CHUNG
Keyword(s):  
Software Maintenance ◽  
Maintenance Phase ◽  
Software Tool ◽  
Logical Structure ◽  
Program Slicing ◽  
Loosely Coupled ◽  
Function Modules ◽  
Tightly Coupled ◽  
Function Module ◽  
And Control

Software restructuring is recognized as a promising method to improve logical structure and understandability of a software system which is composed of modules with loosely-coupled elements. In this paper, we present methods of restructuring an ill-structured module at the software maintenance phase. The methods identify modules performing multiple functions and restructure such modules. For identifying the multi-function modules, the notion of the tightly-coupled module that performs a single specific function is formalized. This method utilizes information on data and control dependence, and applies program slicing to carry out the task of extracting the tightly-coupled modules from the multi-function module. The identified multi-function module is restructured into a number of functional strength modules or an informational strength module. The module strength is used as a criterion to decide how to restructure. The proposed methods can be readily automated and incorporated in a software tool.

An information-leak analysis system based on program slicing

2002 ◽  
Vol 44 (15) ◽  
pp. 903-910 ◽  
Author(s):  
Reishi Yokomori ◽  
Fumiaki Ohata ◽  
Yoshiaki Takata ◽  
Hiroyuki Seki ◽  
Katsuro Inoue
Keyword(s):  
Program Slicing ◽  
Analysis System ◽  
Information Leak

Test coverage analysis based on program slicing

2003 ◽  
Vol 20 (3) ◽  
pp. 232-236 ◽  
Author(s):  
Zhenqiang Chen ◽  
Baowen Xu ◽  
jie Guan
Keyword(s):  
Program Slicing ◽  
Test Coverage ◽  
Coverage Analysis

System-level bug explanation through program slicing and instruction clusterization

2021 ◽  
Author(s):  
Moreno Bragaglio ◽  
Nicola Donatelli ◽  
Samuele Germiniani ◽  
Graziano Pravadelli
Keyword(s):  
Program Slicing ◽  
System Level
Sign in / Sign up

Export Citation Format

Share Document