Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Acta Electronica Sinica》 2004-01
Add to Favorite Get Latest Update

Survey on Path-Wise Automatic Generation of Test Data

SHAN Jin-Hui,WANG Ji,QI Zhi-Chang (School of Computer Science,National University of Defence Technology,Changsha,Hunan 410073,China)  
Automatic generation of test data for a given path in a program is one of the elementary problems in software testing,the essence of which lies in the deriving and solving of system of constraints.The issue of how to solving nonlinear constraint is a hard problem in theory.In this paper,we classify the approaches of generation of test data for a given path into four categories:random,static,dynamic,and heuristic.The representative methods in each category are analyzed and compared.The direction of research is also explored.
【Fund】: 国家自然科学基金 (No .60 2 330 2 0 60 3730 0 3 90 1 0 4 0 0 7);; 国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );; 霍英东高等院校青年教师基金 (No .71 0 64)
【CateGory Index】: TP311.1
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 10 Hits
1 Lin Mengxiang Chen Yinli Chen Rui(State Key Lab.of Software Development Environment,Beijing University of Aeronautics and Astronautics,Beijing 100191,China)Zhou Gang(National Digital Switching Engineering and Technological Research Center,Zhengzhou 450002,China);Lazy-substitution based symbolic execution for C programs[J];Journal of Beijing University of Aeronautics and Astronautics;2009-06
2 XIA Yun1,LIU Feng2(1.College of Mathematics and Computer Science,Anhui Normal University,Wuhu 241000,China;2.College of Computer Science and Technology,Anhui University,Hefei 230039,China);Investigation of Test Data Generation for Path Testing Based on Immune Genetic Algorithm[J];Computer Knowledge and Technology;2009-28
3 GONG Dun-wei1,ZHANG Yan1,2(1.School of Information and Electrical Engineering,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;2.Department of Computer Science and Technology,Mudanjiang Normal University,Mudanjiang,Heilongjiang 157012,China);Novel Evolutionary Generation Approach to Test Data for Multiple Paths Coverage[J];Acta Electronica Sinica;2010-06
4 ZHANG Zhi-hua,MU Yong-min((Computer School,Beijing Information Science and Technology University,Beijng 100101,China);Research of Path Coverage Generation Techniques Based Function Call Graph[J];Acta Electronica Sinica;2010-08
5 ZHANG Yan1,2,GONG Dun-wei1(1.School of Information and Electrical Engineering,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;2.Department of Computer Science and Technology,Mudanjiang Normal University,Mudanjiang,Heilongjiang 157012,China);Evolutionary Generation of Test Data for Path Coverage Based on Automatic Reduction of Search Space[J];Acta Electronica Sinica;2012-05
6 Cui Bao-jiang①② Liang Xiao-bing① Wang Yu② Wang Jian-xin③ ①(School of Computer,Beijing University of Posts & Telecommunications,Beijing 100876,China) ②(China Information Technology Security Evaluation Center,Beijing 100085,China) ③(School of Information Science & Technology,Beijing Forestry University,Beijing 100083,China);The Study of Binary Program Test Techniques Based on Backtracking and Leading for Covering Key Code Area[J];Journal of Electronics & Information Technology;2012-01
7 WANG Xi-bo MA Chun DU Xiao-zhou(1.School of Information Science and Engineering,Liaoning Shenyang University of Technology,Liaoning Shenyang 110178;2.Communication Engineering Design and Research Institute of the PLA General Staff Headquarters,Liaoning Shenyang 110005);Design and realization of a path-wise automatic generator of test data[J];Journal of Shenyang Institute of Aeronautical Engineering;2009-03
8 CHEN Ji-feng,LIU Xiu,ZHANG Dan,ZHANG Zhong,HUANG Min(Hunan International Economics University,Changsha 410205,China);Analysis and Design of Test Data Automatic Generation Framework Based on Iterative Relaxation Method[J];Journal of Hunan International Economics University;2010-04
9 Mao Chengying 1,2 and Lu Yansheng1 1 (College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074) 2 (School of Software,Jiangxi University of Finance and Economics,Nanchang 330013);Strategies of Regression Test Case Selection for Component-Based Software[J];Journal of Computer Research and Development;2006-10
10 Li Bao-lin1,Li Zhi-shu1,Jin Hu2,Sun Ji-rong1,Chen Yan-hong1(1.School of Computer,Sichuan University,Chengdu 610065,China;2.Deptartment of Computer Science,Chengdu University of Information Technology,Chengdu 610041,China);Test case generation base on R_N(K) criterion annealing algorithm[J];Journal of Jilin University(Engineering and Technology Edition);2008-03
China Proceedings of conference Full-text Database 1 Hits
1 Liu Xiaoming Lai Xiang Huang Song Institute of Command and Automation of PLA university of science and technology,Nanjing,210007,China;One Method of Producing Finite-state Machine Paths Based on Adjacency Matrix[A];[C];2008
【Citations】
Chinese Journal Full-text Database 2 Hits
1 Jie Wei\ Xie Junkai\ Xi Hongyu\ Gao Zhongyi (Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering);Genetic Algorithms and Its Application in Software Test Data Generation[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1998-04
2 WANG Zhi yan LIU Chun nian(Department of Computer Science Beijing Polytechnic University Beijing 100022);The Application of Interval Computation in Software Testing[J];JOURNAL OF SOFTWARE;1998-06
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 Chen Zheng;Judgement on the existence of a common quadratic Lyapunov function for a kind of systems[J];Journal of Anhui Vocational College of Electronics & Information Technology;2006-04
2 SUN Xiao-jun,JIAO Jian-min,HE Jun-hong(Department of Mathematics,Baoji College of Arts and Science,Baoji 721013,China);A genetic accelerated trust region algorithm for solving optimization problems[J];Journal of Anhui University(Natural Sciences);2008-03
3 ZHANG Jia-xin1,2,DUAN Fu-jian1(1.School of Computational Science and Mathematics,Guilin University of Electronic Technology,Guilin 541004,China;2.School of Science,Anhui Science and Technology University,Fengyang 233100,China);A new method of SQP-filter with NCP function[J];Journal of Anhui University(Natural Sciences Edition);2010-05
4 GAO Hong1,MENG Shu2,ZHA Wei-min2,LI Ling-chun1,ZHANG Hai-tao1(1.Anhui Key Laboratory of Advanced Numerical Control & Servo Technology Anhui Ploytechnic University,Wuhu 241000,China; 2.Wuhu Bureau of Quality and Technical Supervision,Wuhu 241000,China);Configuration optimization of physical prototype for 6-3-3 parallel mechanism[J];Journal of Anhui Polytechnic University;2011-03
5 LI Bingfang,HU Shuiling(Department of Basic Course,Shaanxi Railway Institute,Weinan 714000,Shaanxi,China);Analysis on the Properties of Multi-Variables Convex Function[J];Journal of Ankang University;2011-03
6 Tian Jiang Gao Chiyang Li Yawei(China Software Testing Cente Beijing 100048 China);Application of GA and PSO for Software Test Data Generation[J];Information Security and Technology;2010-09
7 YAN Feng,LI Shi-guo(School of Anshan University of Science and Technology,Anshan 114044,China);Design and optimization of automobile seats[J];Journal of Anshan University of Science and Technology;2004-05
8 LI Jiang-hai, SUN Qin (School of Aeronautics, Northwestern Polytechnical University, Xi'An 710072,China);Study of optimization algorithm for stealth performance of SRAM[J];Ordnance Material Science and Engineering;2004-02
9 ZHANG Yi (PLA Presentation Office in Mianyang District, PLA Representation Bureau of General Equipment Department in Chongqing, Mianyang 621000, China);Quality Management for Military Software Developing[J];Ordnance Industry Automation;2007-08
10 Zhang Yi1,Xu Li2(1.PLA Presentation Office in Mianyang District,PLA Representation Bureau of General Equipment Department in Chongqing,Mianyang 621000,China;2.Information Center,No.58 Research institute of China Ordnance Industries,Mianyang 621000,China);Quality Management Keystone and Method for Military Software Developing[J];Ordnance Industry Automation;2011-05
China Proceedings of conference Full-text Database 10 Hits
1 LIU Yu,HAN Feng,DONG Nan,LU Xi-cheng,LEI Ming (Northwest Institute of Nuclear Technology,Xi'an 710024,China);The Confidence Interval Estimation of the Security Probability of Cylindrical Explosion Vessel[A];[C];2011
2 YAO Zhiying,LIU Dong 1.The Second Artillery Engineering College,Xi'an 710025,P.R.China E-mail:littlepigyao@163.com 2.Xi'an Institute of Surveying and Mapping,Xi'an 710054,P.R.China E-mail:ld_yzy@yahoo.com.cn;Iterative Filtering Based on Kazakov Linearization[A];[C];2010
3 YAO Hai-xiang(School of Informatics,Guangdong University of Foreign Studies,Guangzhou 510006,China);Portfolio Selection Based on Nonparametric Estimation and Quadric Utility Maximization Framework[A];[C];2011
4 YANG Xiao-chun,LI Xiao-fan,ZHANG Mei-gen (Institute of Geology & Geophysics,Chinese Academy of Science,Beijing 100101,China);Some Mathematical Prolems in Nonlinear Inversion of Seismic Wave[A];[C];2003
5 LiYanPing, He Yu (School of Computer Science and Technology, ) (Beijing Technology and Business University, 100037);Finding a global extremum of a continuous function with VPM[A];[C];2006
6 Yi-Yong Pan~1 Ping-Qi Pan~1 1 Department of Mathematics,Southeast University,Nanjing 210096;Diagonal Second Order Quasi-Newton Method for Unconstrained Optimization[A];[C];2008
7 Zhao-Hui Jia Qin Ni Nanjing University of Aeronautics and Astronautics,Nanjing 210016;An Algorithm of Moving Asymptotes for Solving Unconstrained Optimization Problems[A];[C];2008
8 Tang Mingyun Academy of Mathematics and Systems Science,CAS,Beijing 100190;A Trust-Region-Newton Method for Unconstrained Optimization[A];[C];2008
9 Xin Yao~1 Qin Ni~1 1 College of Science,Nanjing University of Aeronautics and Astronautics,Nanjing210016;A conic conjugate gradient method for large-scale optimization[A];[C];2010
10 Liang Jiu-zhen Dept.of Computer Science and Engineering,Beijing University of Aeronautics and Astronauts,100083 Huang De-shuang,He Xin-gui Beijing System Engineering Institute,100101;A Gradient-Newton Learning Algorithm for Feedforward Neural Netwoks[A];[C];1999
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 HE Ren-gang; YAO Xiao-qiu(Zhejiang Ocean University, Zhoushan 316004, China);The Implementation of Online Examing System Based on B/S Mode[J];;2005-01
2 MA Sa-sa1,NING Ru-yun2(1.Ordnance Technology Institute,Shijiazhuang 050003,Hebei,China;2.Department of Basic Courses,Ordnance Engineering College,Shijiazhuang 050003,Hebei,China);Software Reliability Integrated Evaluation Model Based on Bayesian Estimation[J];Acta Armamentarii;2008-04
3 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
4 SUN Meng ZHANG Naixiao (LMAM, School of Mathematical Science, Peking University, Beijing,100871) Bernhard K Aichernig (International Institute for Software Technology, United Nations University Macau, P.O. Box 3058);The Formalization for UML Statechart Diagrams 1)[J];Acta Scicentiarum Naturalum Universitis Pekinesis;2005-03
5 ZHU Qing, LIU Yu-hui (School of Software Engineering, Beijing University of Technology, Beijing 100022, China);A Component Quality Metrics Algorithm Facing to Field[J];Journal of Beijing University of Technology;2007-01
6 GONG Han-ming,ZHOU Chang-sheng (Department of Computer Science & Automation,Beijing Institute of Machinery, Beijing 100085, China);Chinese word segmentation system research[J];Journal of Beijing Institute of Machinery;2004-03
7 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
8 Ai Jun Lu Minyan Liu Bin (Dept. of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China);Visual modeling method for test inputs of real-time embedded software[J];Journal of Beijing University of Aeronautics and Astronautics;2004-02
9 Zhang Jiong\ Jin Huihua\ Shang Lihong\ Chang Sheng(School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China);Non-interference test method of embedded system software[J];Journal of Beijing University of Aeronautics and Astronautics;2004-07
10 Lin Mengxiang Chen Yinli Chen Rui(State Key Lab.of Software Development Environment,Beijing University of Aeronautics and Astronautics,Beijing 100191,China)Zhou Gang(National Digital Switching Engineering and Technological Research Center,Zhengzhou 450002,China);Lazy-substitution based symbolic execution for C programs[J];Journal of Beijing University of Aeronautics and Astronautics;2009-06
China Proceedings of conference Full-text Database 1 Hits
1 GAO Hai-Chang, FENG Bo-qin, HOU Yun (School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China.;Overview of the Automated Software Test-data Generation[A];[C];2006
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 CHEN Ying-hui1,QIU Xue-song1,LIU Yi-chang2,TANG Fan2,GAO Zhi-peng1(1.State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China;2.Beijing InfoTel Network Testing Laboratory,Beijing 100088,China);Model-Based Method for Web Service Performance Testing[J];Journal of Beijing University of Posts and Telecommunications;2009-S1
2 NIE Nan1, 2, XIA Qi-ming1, YAO Jun-feng1, and HE Ke-qing1 (1. State Key Laboratory of Software Engineering, Wuhan, University Wuhan 430072; 2. School of Computer and Communication, Zhengzhou University of Light Industry Zhengzhou 450002);Component Interface -Oriented XACML Mutation Testing Policies[J];Journal of University of Electronic Science and Technology of China;2009-02
3 GUO Xuepin1,ZHONG Sheng2 (1.College of Information Science and Technology,Hainan Normal University,Haikou 571158; 2.College of Information Science and Technology,Hainan University,Haikou 570228);Method of Maintenancing Test Case Based on Module Association[J];Computer Programming Skills & Maintenance;2011-10
4 Cai Ju Wang Di Li Bixin(School of Computer Science and Engineering,Southeast University,Nanjing 211189,China);Extended hierarchical color petri net-based test case generation for composite services[J];Journal of Southeast University(Natural Science Edition);2008-04
5 ;A Test Practice of Concurrency Performance for asp.net Application Program[J];Computer Development & Applications;2006-07
6 SU Shi-han1,2,HAN Ke2(1.Institute of Command and Control,PLA University of Science and Technology,Nanjing 210007,China;2.Institute of China Electron ic Systems Equipment Company,Beijing 100141,China);OWL-S-Based Automated Test Case Generation for Web Service[J];Computer Knowledge and Technology;2012-10
7 Liu Limei Zhou Xiancheng Shi Biao(Department of Computer and Electronic Engineering,Hunan Business College,Changsha 410205);Implementation of embedded software testing system based on white-box[J];Electronic Measurement Technology;2008-06
8 YAO Xiang-juan1,2,3,GONG Dun-wei1,3(1.School of Information and Electrical Engineering,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;2.College of Science,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;3.State Key Laboratory of Software Engineering,Wuhan University,Wuhan,Hubei 430072,China);Mutation Testing Based on Comparison of Paths[J];Acta Electronica Sinica;2012-01
9 ZHANG Yan1,2,GONG Dun-wei1(1.School of Information and Electrical Engineering,China University of Mining and Technology,Xuzhou,Jiangsu 221116,China;2.Department of Computer Science and Technology,Mudanjiang Normal University,Mudanjiang,Heilongjiang 157012,China);Evolutionary Generation of Test Data for Path Coverage Based on Automatic Reduction of Search Space[J];Acta Electronica Sinica;2012-05
10 ZHAO Jun1,2,HU Shaolin 1,3,LIU Bing1,LIU Fang1,2(1.Xi'an Satellite Control Center,Xi'an 710043;2.Northwestern Polytechnical University,Xi'an 710072;3.Xi'an University of Technology,Xi'an 710048);Generation Methods of In-Orbit Fault Properties Data of Spacecraft[J];Journal of Spacecraft TT&C Technology;2012-02
China Proceedings of conference Full-text Database 4 Hits
1 YOU Zheng-guang LIU Jian-xun TANG Ming-dong (Key Lab.of Knowledge Processing & Networked Manufacturing,Hunan University of Science & Technology,Xiangtan 411201,China) (School of Computer Science & Engineering,Hunan University of Science & Technology,Xiangtan 411201,China);Design and Implementation of a Distributed Testing Platform for Web Services[A];[C];2011
2 Jiang Naiqian Li Xinke (School of Computer and Information,Hefei University of Technology,Hefei 230009 China);Automatic Test Case Generation Method Based on Extended WSDL for Web Services[A];[C];2011
3 CHEN Ying-hui~1,QIU Xue-song~1,LIU Yi-chang~2,TANG Fan~2,GAO Zhi-peng~1 (1.State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications, Beijing 100876,China;2.Beijing InfoTel Network Testing Laboratory,Beijing 100088,China);Model-Based Method for Web Service Performance Testing[A];[C];2009
4 Jiang Yuting Li Bixin (School of Computer Science & Engineering,Southeast University,Nanjing,211189);Mutation based testing of OWL-S workflow[A];[C];2010
【Secondary Citations】
Chinese Journal Full-text Database 2 Hits
1 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
2 XI Hongyu XU Hong GAO Zhongyi(Software Engineering Institute\ Beijing University of Aeronautics and Astronautics\ Beijing 100083);ADA SOFTWARE TEST CASE GENERATION TOOL[J];JOURNAL OF SOFTWARE;1997-04
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved