program Slicing minimizes the program to sub-statements, which produces the same behaviour where the subset of the program also called the program slice comprises of the chunks or statements of the program which impac...
详细信息
ISBN:
(纸本)9781467368100
program Slicing minimizes the program to sub-statements, which produces the same behaviour where the subset of the program also called the program slice comprises of the chunks or statements of the program which impact the values calculated at a point of absorption called as the slicing criterion. The concept of slicing was introduced by Weiser using a data-flow diagram [1]. If you look at static slicing, it does not make any suppositions about the input of a particular program, whereas the dynamic slicing counts on a distinct test case. Object-oriented programming is an extensively used software development technique. In this paper, we will create an approach to compute a static slice as well as a dynamic slice of a set of programs by creating an intermediary representation of the program, i.e. a Java program dependence graph and Java system dependencegraph (JSysDG) (in case of multiple functions) and then use it as input and apply the slicing algorithm in order to compute slice of the program with respect to the slicing criterion and analyze the results as well.
System dependence net is a formal model to explicitly represent programdependences and interprocedural relations in a concurrent program with multiple *** is useful for development and maintenance of concurrent progr...
详细信息
ISBN:
(纸本)9781467349970
System dependence net is a formal model to explicitly represent programdependences and interprocedural relations in a concurrent program with multiple *** is useful for development and maintenance of concurrent programs,such as program slicing,testing,debugging,and complexity *** now,although system dependence nets for Ada 95 and Ada 2005 programs were proposed respectively,they cannot be used for Ada 2012 programs,because Ada 2012 has a lot of changes and extensions from Ada *** the first step to extend the current model of system dependence nets for Ada 2012 programs,it is indispensable to identify all new programdependences and interprocedural relations in Ada 2012 *** paper presents some new types of programdependences and interprocedural relations in Ada 2012 programs,and shows their real examples.
This paper describes the design and implementation of a register allocator that performs the allocation over the program dependence graph (PDG) representation of a routine. The PDG representation has been used success...
详细信息
暂无评论