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

Improvement of the Gupta Method

SHAN Jin-Hui WANG Ji QI Zhi-Chang WU Jian-Ping(School of Computers, National University of Defense Technology, Changsha 410073)  
Automatic generation of test data for a given path in a program is one of the primary problems in software testing, which can be described informally as: given a program P and a path W in P, let the input space of P be D, compute ②x② in D, such that when P executes on x, path W will be traversed. The difficulty of this problem lies in the fact that how to solve nonlinear constraint is unsolvable in theory. Gupta et al proposed a method, which is referred to as the Gupta Method in this paper, to address the above problem by linearizing the predicate functions with linear arithmetic representations. The Gupta Method has to analyze the static and dynamic data dependencies between the statements on W, and construct predicate slices and input dependency sets.This paper improves the Gupta Method by omitting the constructions of predicate slices and input dependency sets. Furthermore, when the divided differences are used to approximate to the derivatives that are coefficients in linear arithmetic representations, computing linear arithmetic representations is converted to compute predicate residuals completely, which needs to analyze neither static nor dynamic data dependencies between the statements on W. The improved method is more efficient to derive linear constraints.A model language is given to investigate the properties of static and dynamic data dependencies and define the notions in the Gupta Method formally. The predicate slices proposed by Gupta et al are generalized to path-wise static slices, and the soundness of whose construction algorithm is proved then. The soundness of the improvement is proved too.A prototype of path-wise test data generator has been developed, whose fundamental algorithm is the improved Gupta Method. The initial experiments carried out on this prototype with actual program paths have shown that the improved Gupta Method is practical and can be used to generate test data for not only both white-box testing and black-box testing but also assertion-oriented testing and regression testing.
【Fund】: 国家自然科学基金项目 ( 6 99730 5 1 90 10 40 0 7);; 国家“八六三”高技术研究发展计划项目 ( 2 0 0 1AA1132 0 2 );; 霍英东青年教师基金 ( 710 6 4)资助
【CateGory Index】: TP311.53
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 2 Hits
1 FENG Yucai,YU Yan,ZHOU Chun(College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074);Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method[J];Computer Engineering;2004-12
2 MA Jian-hong,XIN Zheng-hua,WANG Lei,XU Min(School of Computer Science and Engineering,Hebei University of Technology,Tianjin 300401,China);New automated approach for structural test data generation[J];Computer Engineering and Design;2008-10
【Citations】
Chinese Journal Full-text Database 1 Hits
1 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
【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 GONG Hui-ying1,ZHANG Xiao-dong2,LIU lei1 (1.Department of Computer Science,Jilin University,Changchun 130023,China ; Department of Electronic Engineering, Dalian University, Dalian 116622,China);Program Slicing[J];Journal of Dalian Nationalities University;2001-03
3 Deng Xiaohong1 Sun Xingming2 Sun Guang2,3 Bai Yameng4(1College of Applied Science,Jiangxi University of Science and Technology,Ganzhou 341000,China)(2School of Computer and Communication,Hunan University,Changsha 410082, China)(3Department of Information Management,Hunan College of Finance and Economic,Changsha 410082,China)(4 School of Computer and Communication,Hunan University of Technology,Zhuzhou 412008,China);Software watermarking based on dynamic program slicing[J];Journal of Southeast University(Natural Science Edition);2007-S1
4 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
5 ZHANG YingZhou1,2 1 College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210003, China 2 Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210003, China;A novel formal approach to program slicing[J];中国科学(F辑:信息科学)(英文版);2007-05
6 Chen Yuting Zhu Ping Liu Fang Tan Yi Zheng Guoliang(State Key Laboratory for Novel Software Technology,Nanjing210093)(Dept.Of Computer Science,Nanjing University,Nanjing210093);An Intramethod Slicing Algorithm Based on Java Hierarchical Model[J];Computer Engineering and Applications;2002-02
7 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
8 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
9 LI Bi Xin 1),2) YANG Zhao Hui 1) TAN Yi 1) ZHU Ping 1) LI Xuan Dong 1) ZHENG Guo Liang 1) 1) (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) 2) (Department;A Framework for Measuring Java Couple Based on Program Slicing Technique[J];Chinese Journal of Computers;2001-03
10 WANG Xue-lian 1, ZHAO Rui-lian 1, LI Li-jian 21. Department of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China; 2. National ASIC Design Engineering Center, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China);Dynamic program slice algorithm for test data generation[J];Computer Applications;2005-06
China Proceedings of conference Full-text Database 2 Hits
1 Deng Xiaohong1 Sun Xingming2 Sun Guang2,3 Bai Yameng4(1College of Applied Science, Jiangxi University of Science and Technology, Ganzhou 341000, China)(2School of Computer and Communication, Hunan University, Changsha 410082, China)(3Department of Information Management, Hunan College of Finance and Economic, Changsha 410082, China)(4 School of Computer and Communication, Hunan University of Technology, Zhuzhou 412008, China);Software watermarking based on dynamic program slicing[A];[C];2007
2 Wang Xuelian, Zhao Ruilian, Li Lijian ( Department of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029; National ASIC Design Engineering Center, Institute of Automation, Chinese Academy of Sciences, Beijing 100080);A DYNAMIC PROGRAM SLICE ALGORITHM BASED ON FORWARD ANALYSIS[A];[C];2004
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Li Hu\ Jin Maozhong\ Gao Zhongyi\ Liu Chao (School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China);On adequate testing of context-free grammars[J];Journal of Beijing University of Aeronautics and Astronautics;2003-10
2 Jie Wei\ \ Gao Zhongyi (Beijing University of Aeronautics and Astronautics,Dept.of Computer Science and Engineering);RESEARCH OF SOFTWARE STRUCTURAL TEST DATA GENERATION BASED ON GENETIC ALGORITHMS[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1997-01
3 Liu Chao Jin Maozhong (Beijing University of Aeronautics and Astronautics,Dept.of Computer Science and Engineering);SOFTWARE TEST PROCESS MODEL——POCERM[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1997-01
4 ZHANG Yong-mei, CHEN Li-chao, MA Li, GUO Shao-sheng(Dept. of Computer Science & Technology, North China Institute of Technology, Taiyuan 030051, China);Study on Software Test Technology[J];Journal of Test and Measurement Technology;2002-02
5 WU Ji, JIN Mao-zhong, LIU Chao(School of Computer Science and Engineering of Beilmng University, Beijing 100083);Software Complexity and Value of Test Cases Satisfied with Testing Criterion[J];Acta Electronica Sinica;2002-S1
6 WANG Hua-zhong, SONG Yu (Department of Computer Science and Engineering, North China Electric Power University, Baoding 071003, China);Comparison of Partition Testing and Random Testing[J];Journal of North China Electric Power University;2002-01
7 CAI Kai yuan,LI Yong chao, JING Tao, BAI Cheng gang (Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083,China);SOFTWARE TESTING IN THE CONTEXT OF SOFTWARE CYBERNETICS[J];Acta Aeronautica Et Astronautica Sinica;2002-05
8 YANG Jian Jun, CHEN Wei Dong, YE Cheng Qing, and PAN Yun He (Department of Computer Science & Engineering, Zhejiang University, Hangzhou 310027);DESIGN AND IMPLEMENTATION OF TESTING TOOLS FOR CONTEXT FREE LANGUAGES[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-11
9 ZHAO Yi Xin, WANG Jian Guo, and WU Jian Ping (Department of Computer Science and Technology, Tsinghua University, Beijing 100084);TOWARDS EXECUTION IN AUTOMATIC TEST SUITE GENERATION[J];Journal of Computer Research and Development;2001-01
10 LI Liu-Ying①, WANG Ji ①②, and QI Zhi-Chang① ①(School of Computer Science, National University of Defense Technology, Changsha 410073) ②(State Key Laboratory for Software Engineering, Wuhan University, Wuhan 430007);A TEST CASES GENERATION METHOD FOR UML STATECHARTS[J];Journal of Computer Research and Development;2001-06
【Secondary References】
Chinese Journal Full-text Database 1 Hits
1 PANG Shan1,2(1.Computer Center of Modern Educational Technology Teaching Dpartment,Ludong University,Yantai 264025,China;2.Graduate Students’Brigade of NAEI,Yantai 264001,China);Research on ATE software system test technology[J];China Measurement & Test;2009-01
【Secondary Citations】
Chinese Journal Full-text Database 1 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
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved