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

Dependence Analysis of Recursive Subprograms and Its Applications

XU Bao-Wen ZHANG Ting CHEN Zhen-Qiang (Department of Computer Science and Engineering, Southeast University, Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072)  
Dependence analysis is an important approach to analyze, understand and maintain programs, which has been widely used in software engineering and reengineering. Of all the dependence analysis methods, an approach to analyze dependencies of recursive subprograms is one of the main difficulties. Therefore, the paper proposes a new approach to analyze dependencies among recursive subprograms. In this paper, firstly, we discuss methods to analyze the data dependence and control dependence of a single subprogram in detail. Then, according to the subprogram call graphs, we compute dependence relationships among formal parameters of subprograms i.e. the parameter dependence sets. Then, using the information obtained in the precious steps and by simulating the executions of the recursive subprograms,we propose methods to analyze dependencies among the recursive calls in two cases: direct recursive and indirect recursive calls. The proof of the correctness of our method is presented at the same time. We also present one of the most important applications of dependence analysis--program slicing, using the method presented in this paper. Our method can obtain more precise dependencies among recursive subprograms than any other methods we know.
【Fund】: 国家自然科学基金 ( 60 0 730 12 );; 江苏省自然科学基金;; 江苏省“三三三”人才基金;; 高等学校重点实验室访问学者基金;; 南京大学软件新技术国家重点实验室基金资助
【CateGory Index】: TP311.5
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 8 Hits
1 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
2 JIANG Shu-Juan~(1,2) XU Bao-Wen~1 SHI Liang~1 XIAO Yang~2(Department of Computer Science & Engineering,Southeast University,Nanjing 210096) 1(School of Computer Science & Technology,China University of Mining & Technology,Xuzhou 221008) 2;An Approach to Static Analysis of Exception Handling in C~(++)[J];Computer Science;2006-04
3 JIANG Cao-qing1,2 YING Shi1 NI You-cong1 GUAN Hua1(State Key Lab of Software Engineering,Wuhan University,Wuhan 430072,China)1(Department of Computer and Information Management,Guangxi University of Financial and Economics,Nanning 530003,China)2;Program Chopping Approach for Java Program[J];Computer Science;2011-01
4 WU Jun-hua,WANG Ting-ting(College of Information Science and Engineering,Nanjing University of Technology,Nanjing 210009,China);An approach to obtain Web structural slice and its applications[J];Journal of Nanjing University of Technology(Natural Science Edition);2008-04
5 JIANG Shu-Juan1,2,3+, XU Bao-Wen1,2, SHI Liang1,2, ZHOU Xiao-Yu1,2 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(Jiangsu Institute of Software Quality, Nanjing 210096, China) 3(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China);An Approach to Analyzing Dependence Based on Exception Propagation Analysis[J];Journal of Software;2007-04
6 ZHANG Li-yong,LIU Jian,CHEN Ping(Software Engineering Inst.,Xidian Univ.,Xi'an 710071,China);Static analysis of C/C++ program for safety[J];Systems Engineering and Electronics;2008-06
7 YI Tong,WU Fang-jun (Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China);An Approach for Computing Dynamic Slicing Based on Coverage-Testing[J];Journal of Applied Sciences;2004-02
8 WU Fang-jun,YI Tong (Department of computer Science & Engineering, Southeast University, Nanjing 210096, China);The UML Class Diagram Coarse-Grained Slicing Based on Dependency Analysis[J];Journal of Applied Sciences;2004-03
【Citations】
Chinese Journal Full-text Database 4 Hits
1 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
2 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
3 Chen Zhen qiang 1, Xu Bao wen 1,2 1 Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China; 2 State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China;Dependence Analysis Based on Dynamic Slicing for Debugging[J];武汉大学学报(自然科学版.英文版);2001-Z1
4 Li Shen zhi 1, Chen Zhen qiang 1, Zhou Yu ming 1,Xu Bao wen 1,2 1. Department of Computer Science and Engineering, Southeast University, Nanjing 210096,China; 2. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072,Ch;An Object Extraction Model Using Association Rules and Dependence Analysis[J];武汉大学学报(自然科学版.英文版);2001-Z1
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 HU Shun-ren~1,2 ,JIAN Xi-ming1 ,ZHOU Deng-yi1(1.Chongqing Institute of Technology, Chongqing 400050,China;2.Key Lab of Optoelectronic Technology and system of MOE,College of Optoelectronic Engineering, Chongqing University, Chongqing 400044,China);Research of Regression Testing Based on Object-Oriented System[J];Journal of Chongqing Institute of Technology;2005-05
2 LI Bi-Xin; ZHENG Guo-Liang; WANG Yun-Feng; LI Xuan-Dong (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) (Department of Computer Science & Technology, Nanjing University, Nanjing 210093);AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-03
3 CHEN Zhen Qiang ① and XU Bao Wen ①② ①(Department of Computer Science and Engineering, Southeast University, Nanjing 210096) ②(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS[J];Journal of Computer Research and Development;2002-02
4 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
5 Hu Shunren Wang Zheng Deng Yi (Computer Science and Engineering Department ,Chongqing University,Chengqing400044);Dependence Aggregate of Regression Testing Based on UML[J];Computer Engineering and Applications;2003-05
6 Wang Yubao 1,2 Shi Liang 1,2 Xu Baowen 1,2,3,4 (Department of Computer Science and Engineering, Southeast University 1), Nanjing 210096) (Jiangsu Institute of Software Quality 2), Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University 3), Wuhan 430072) (Department of Computer, National University of Defense Technology 4), Changsha 410073);Q Learning-Based Dynamic Dependence Analysis of Complex Programs[J];Computer & Digital Engineering;2005-02
7 WU Jun-hua,WANG Ting-ting(College of Information Science and Engineering,Nanjing University of Technology,Nanjing 210009,China);An approach to obtain Web structural slice and its applications[J];Journal of Nanjing University of Technology(Natural Science Edition);2008-04
8 Ye Yanfeng Lin Junhai Qin Xiaolin (Department of Computer Science and Engineering,NUAA Nanjing,210016);Design and Implementation of C Program Slicing System[J];TRANSACTIONS OF NANJING UNIVERSITY OF AERONAUTICS & ASTRONAUTICS;1996-04
9 LI Bi-xin, LIU Xiao-dong, ZHENG Tao, LI Xuan-dong, ZHENG Guo-liang(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China);=(Department of Computer Science and Technology, University of Science and Technology of Chin;An Approach for Hierarchy Slicing Object-Oriented Program[J];Journal of Software;2001-12
10 JIANG Shu-Juan1,2,3+, XU Bao-Wen1,2, SHI Liang1,2, ZHOU Xiao-Yu1,2 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(Jiangsu Institute of Software Quality, Nanjing 210096, China) 3(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China);An Approach to Analyzing Dependence Based on Exception Propagation Analysis[J];Journal of Software;2007-04
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 SHAN Jinhui 1),2) JIANG Ying 1),3) SUN Ping 2) ( 1)Software Institute, Peking University, Beijing, 100871, 2)Jiuquan Satellite Launch Center; 3) Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650093);Research Progress in Software Testing[J];Acta Scicentiarum Naturalum Universitis Pekinesis;2005-01
2 LI Bi-Xin; ZHENG Guo-Liang; WANG Yun-Feng; LI Xuan-Dong (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) (Department of Computer Science & Technology, Nanjing University, Nanjing 210093);AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-03
3 CHEN Zhen Qiang ① and XU Bao Wen ①② ①(Department of Computer Science and Engineering, Southeast University, Nanjing 210096) ②(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS[J];Journal of Computer Research and Development;2002-02
4 SHAO Wei Zhong, JIANG Yan Bing, and MA Zhi Yi(Department of Computer Science & Technology, Peking University, Beijing 100871);The Present Problems and Roadmap of UML[J];Journal of Computer Research and Development;2003-04
5 Deng Xiaopeng1,2,Xing Chunxiao1,and Cai Lianhong1 1(Department of Computer Science and Technology,Tsinghua University,Beijing 100084) 2(Software Engineering Center,Institute of Electronic Engineering,Hefei 230037);Progress in Testing for Web Applications[J];Journal of Computer Research and Development;2007-08
6 Da Zide(Institute of Computing Technology, Chinese Academy Of Sciences, Beijing 100080);CFG: A VISUALIZED PROGRAMMING TOOL[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1995-12
7 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
8 CHEN Xiao-bing1,ZHANG Han-yu2,LUO Li-ming2,HUANG He1 1.College of Software,Beihang University,Beijing 100083,China 2.College of Information Engineering,Capital Normal University,Beijing 100081,China;Research on technique of SQL injection attacks and detection[J];Computer Engineering and Applications;2007-11
9 JIANG Shu-Juan XU Bao-Wen (Department of Computer Science & Engineering, Southeast University, Nanjing 210096) (School of Computer Science & Technology, China University of Mining & Technology, Xuzhou 221008) (Jiangsu Province Key Laboratory of Computer Information Processing, Soochow University, Suzhou 215006);Exception Handling-An Approach to Improving Software Robustness[J];Computer Science;2003-09
10 ZHOU Jing-Li WANG Xiao-Feng YU Sheng-Sheng XIA Hong-Tao(College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074);A New Policy to Defend against SQL Injection Attacks[J];Computer Science;2006-11
【Secondary References】
Chinese Journal Full-text Database 9 Hits
1 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
2 YI Tong School of Information Technology,Jiangxi University of Finance and Economics,Nanchang 330013,China;Relationship between forward slices and backward slices[J];Computer Engineering and Applications;2008-12
3 JIANG Shu-juan1 XU Bao-wen2 JIANG Yuan-peng3(School of Computer Science & Technology,China University of Mining & Technology,Xuzhou 221116,China)1 (School of Computer Science & Engineering,Southeast University,Nanjing 210096,China)2 (Library,China University of Mining & Technology,Xuzhou 221116,China)3;Design and Implementation of a Exception Propagation Analysis Tool[J];Computer Science;2008-07
4 ZHANG Li-ping,LIU Dong-sheng,LI Yan-chen(College of Computer and Information Engineering,Inner Mongolia Normal University,Hohhot 010022,China);Research on Code Copy Detecting Strategy and It's Evaluation Mechanism Based on Syntax Tree[J];Journal of Inner Mongolia University;2010-05
5 DU Lin,JIANG Hai-yan (Department of Computer,Shandong Education University,Jinan 250013,China);A study of computing object-oriented program slicing technology[J];Journal of Shandong University(Engineering Science);2008-06
6 Du Lin(Department of Computer,Shandong Institute of Education,Jinan 250013,China);Research on Object-oriented Program Slicing[J];Journal of Shandong Education Institute;2007-06
7 XIAO Zeng-liang,YUE Xiao-bo,ZHOU Hui(Institute of Computer and Communication Engineering,Changsha University of Science and Technology,Changsha 410076,China);Multi-agent task decomposition algorithm based on and-or dependence graph[J];Computer Engineering and Design;2009-02
8 WU Fang-jun,XU Sheng-hua (School of Information Technology, Jiangxi University of Finance & Economics, Nanchang 330013,China);Formalizing Program Slicing Using Z[J];Journal of Chinese Computer Systems;2007-08
9 YI Tong(School of Information Technology,Jiangxi University of Finance and Economics,Nanchang 330013,China);Authoritative Complexity Measure for Classes[J];Journal of Chinese Computer Systems;2009-02
China Proceedings of conference Full-text Database 1 Hits
1 Wang Lei Ma Jianhong Fan Shiyan Zhou Hua Xin Zhenghua (School of Computer Science and Engineering,Hebei University of Technology,Tianjin 300401,China);Study of Select Feasible Path Based on Program Slicing[A];[C];2008
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved