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

REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS

Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016  
This paper presents a general formal model for program dependency analysis based on reverse program flow analysis.Although based on some simple concepts and definitions,it has a wide application in many,areas,such as program testing,debugging,maintenance and code optimization,etc.
【Fund】: 国家自然科学基金;; 航空科学基金;; 南京航空航天大学青年科学基金
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 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
2 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
3 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 of Recursive Subprograms and Its Applications[J];Chinese Journal of Computers;2001-11
4 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
5 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
6 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
7 ZHOU Jie,MU Xiao-dong,WANG Jie(The Second Artillery Engineering College,Xi'an 710025,China);Design and Implementation of a Kind of C++ Program Slicing[J];Computer Technology and Development;2006-07
8 ZHOU Jie,MU Xiao-dong,WANG Jie(Second Artillery Engineering College,Xi'an 710025 China);A Method of Software Fault Diagnosis Based on Program Slicing[J];Microelectronics & Computer;2006-08
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Zhou Kuanjiu; Huang Tiyun; Cao Yubong; Hong Jiarong(Management School);RTFDES: a Real-time Fault Diagnosis Expert System[J];JOURNAL OF HARBIN INSTITUTE OF TECHNOLOGY;1994-03
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 DING Yu Xin and CHENG Hu(Institute of Software, Chinese Academy of Sciences, Beijing 100080);EXCEPTION HANDLING IN JAVA VIRTUAL MACHINE[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-05
4 WANG Jian Ying, SUN Jun Zhao, and YANG Xiao Zong (Department of Computer Science and Engineering , Harbin Institute of Technology, Harbin 150001);AN EXPERIMENTAL STRATEGY OF FAULT INJECTION FOR THE WHOLE VALIDATION OF FAULT TOLERANT COMPUTER SYSTEMS[J];Journal of Computer Research and Development;2001-01
5 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
6 SUN Rui Zhi and SHI Mei Lin(Department of Computer Science and Technology, Tsinghua University, Beijing 100084);Formal Presentation of Exception Handling in a Workflow System[J];Journal of Computer Research and Development;2003-03
7 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
8 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
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 ZHU PingTAN YiLI BixinZHENG Guoliang(State Key Laboratory for Novel Software Technology, Nanjing University, Dept.of Computer Science & Techonogy, Nanjing University, Nanjing 210093);An Analysis Scheme of Source Code Information Based on Hierarchical Slice Model[J];Computer Engineering;2001-12
【Secondary References】
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 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
3 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
4 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
5 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
6 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
7 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
8 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
9 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 of Recursive Subprograms and Its Applications[J];Chinese Journal of Computers;2001-11
10 QIAN Ju XU Bao-Wen ZHOU Yu-Ming(School of Computer Science and Engineering,Southeast University,Nanjing 210096)(Jiangsu Institution of Software Quality,Nanjing 210096);Interstatement Must Alias and Its Application in Dependence Analysis of Java Programs[J];Chinese Journal of Computers;2008-03
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved