Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Engineering》 2008-18
Add to Favorite Get Latest Update

Test Case Generation Strategy Based on Constraint Satisfaction Searching Algorithm

XU Xiu-lin1, HU Ke-jin2(1.Department of Electronic Engineering, Nantong Vocation College, Nantong 226007;2.College of Economic Management, Tongji University, Shanghai 200092)  
Because the problem that there are some complicated calculations such as non-linear predication function, pointer, array etc.inconstraint system, this paper proposes an improved algorithm of constraint problem solving based on symbolic execution method by using constraintsatisfaction searching algorithm, decreasing the number of parametric variation in equations set and narrowing down the range of parametricvariation's value.It is proved that this algorithm can produce test case of path coverage testing automatically by experimenting on some programexamples which concludes non-line prediction functions and arrays.
【Fund】: 江苏省高校自然科学研究指导性计划基金资助项目(05KJD520172)
【CateGory Index】: TP311.52
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 1 Hits
1 LI Peng1,PENG Xiang-wei 1,ZHOU Xi1,DONG Jun1,DAI Si-guang2(1.Xinjiang Technical Institute of Physics & Chemistry,Chinese Academy of Sciences,Urumqi 830011,China;2.Huaxia College,Wuhan University of Technology,Wuhan 430223,China);Automated Test Path Generation Based on State Diagram[J];Computer Engineering;2011-02
【Co-citations】
Chinese Journal Full-text Database 7 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 CHEN Ji-feng(Department of Computer,Hunan International Economics University,Changsha 410205,China);Research on Path-based Automatic Test Data Generation with Arrays and Loops[J];Computer Science;2008-07
3 Li Bing, Chen Zili, Ma Sasa (Ordinance Engineering College, Shijiazhuang 050003,China);Study of Software Testing Case Generation[J];Computer Automated Measurement & Control;2005-04
4 CHEN Ji-feng~(1a), ZHU Li~(1b), SHEN Jun-yi~(1a),CHEN Ling~2(1a.Institute of Computer Software, 1b.School of Software, Xi'an Jiaotong University, Xi'an 710049, China. (2.School) of Information Engineering, Chang'an University, Xi'an 710055, China.);Path-Based Automatic Test Data Generation Approach[J];Control and Decision;2005-09
5 CUI Huan-huan,CHEN Li,KUANG Ha-lei,ZHU Bian (Dept.of Computer Science,Huazhong Normal University,Wuhan 430079,China);Approach of automatic test data generation of all path based on AR rules[J];Application Research of Computers;2010-11
6 MA Jing,GU Jing-wen (Department of Computer,Tongji University,Shanghai 200092,China);Application of Decision Tree on Software Test Case Generation[J];Computer Technology and Development;2008-02
7 CHEN Ji-feng, SHEN Jun-yi, WANG Xin-jun, LIU Yong, WANG Zhi-hai( College of Electronic & Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China);Automatic Test Data Generation Algorithm Based on Data Flow Rules[J];Microelectronics & Computer;2007-01
【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 Chen Yu,Yao Li(College of Computer Sciences and Technology,Donghua University,Shanghai 201620,China);Software Test Data Generation Based on an Improved Generic Algorithm[J];Electronic Science and Technology;2009-07
3 Jin Lingzi (Institute of Computer Software,Nanjing University,Nanjing 210093) (State Key Laboratory of Novel Software Technology,Nanjing University,Nanjing 210093);PROGRESS IN TESTING OBJECT ORIENTED SOFTWARE[J];Journal of Computer Research and Development;1998-01
4 ;The Comparison and Analysis of Solving Approachs to Constrain Satisfaction problems[J];Computer Science;1998-01
5 ZHAN Xue-De;MIAO Huai-Kou School of Computer Engineering and Science, Shanghai University, Shanghai 200072;Adequacy Criteria for Testing Based on UML State Diagram[J];Computer Science;2005-05
6 FU Bo (Dept.of System Engineering of Engineering Technology,Beijing University of Aeronautics and Astronautics,Beijing 100083);Research on Software Intelligent Test Data Generation[J];Computer Engineering;2006-14
7 HAN Yang1,YANG Lingping1,2(1.College of Software Engineering,Southeast University,Nanjing 210096;2.Software Testing Evaluation Center,The 28th Research Institute of China Electronics Technology Group Corporation,Nanjing 210007);Fuzzy Comprehensive Evaluation for Integrality of Software Logic-driven Test[J];Computer Engineering;2006-15
8 AI Jun,LU Minyan,RUAN Lian(Dept.of Engineering System Engineering,Beijing University of Aeronautics and Astronautics,Beijing 100083);Usage Profile Construction Technique for Generation of Software Reliability Test Data[J];Computer Engineering;2006-22
9 JIN Hu1,2,LI Zhishu1,ZHANG Lei1,LI Baolin1,LI Yongjun1(1.School of Computer,Sichuan Univ.,Chengdu 610064;2.Dept.of Computer Sci.,Chengdu Univ.of Info.Tech.,Chengdu 610041);Test Cases Automatic Generation Based on Path-oriented Algorithm Generation[J];Computer Engineering;2007-03
10 YU Lei,YAN Hai-hua,HE Jian-ying(Software Engineering Institute,Beihang University,Beijing 100083);Tracking and Control of Software Testing Project[J];Computer Engineering;2007-22
【Secondary Citations】
Chinese Journal Full-text Database 10 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 YAN Hao wen 1, GUO Ren zhong 2 (1. Lanzhou Railway University,Lanzhou 730070,China; 2.Shenzhen Municipal Planning and Land Bureau, Shenzhen 518031,China);On Fundamental Problems of Directional Relationships[J];Acta Geodaetica Et Cartographic Sinica;2002-04
3 ;Research on Theoretics and Methods of Fuzzy Description and Composite Reasoning of Spatial Relations[J];Acta Geodaetica Et Cartographic Sinica;2005-01
4 Chen Yunhao, Guo Dazhi (Beijing Graduate School of China University of Mining and Technology, Beijing ,100083);The study on 3D GIS vector data structure[J];ACTA GEODAETICA ET CARTOGRAPHIC SINICA;1999-01
5 Chen Jun ①, Zhao Renliang ②① (① National Geomatics Center of China, Zhizhuyuan, Beijing, 100044, China) (② Institute of Surveying and Mapping, Central South University of Technology, Changsha,410083,China);Spatial relations in GIS: a survey on its key issues and research progress[J];ACTA GEODAETICA ET CARTOGRAPHIC SINICA;1999-02
6 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
7 CHEN En Hong\ CAI Qing Sheng\ GU Zhen Mei (Department of Computer Science, University of Science & Technology of China, Hefei\ 230027);PREPROCESSING METHODS OF CONSTRAINT SATISFACTION IN GENETIC ALGORITHM BASED CONCEPT LEARNING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-07
8 ZHAO YUANCONG ZHU SANYUAN (Shanghai Developmanl Center of Computer Software Technology, Shanghai 200050);AN IMPRESSION ON OBJECT-ORIENTED SOFTWARE TESTING[J];Computer Applications and Software;1996-03
9 ZHANG Ling 1,3 ZHANG Bo 2,3 1(Institute of Artificial Intelligence\ Anhui University\ Hefei\ 230039) 2(Department of Computer Science and Technology Tsinghua University\ Beijing\ 100084) 3(State Key Laboratory of Intelligenc;Research on the Mechanism of Genetic Algorithms[J];JOURNAL OF SOFTWARE;2000-07
10 GU Qing\ CHEN Dao\|xu\ HAN Jie\ XIE Li\ SUN Zhong\|xiu(State Key Laboratory for Novel Software Technology\ Nanjing University\ Nanjing\ 210093);A Test System Framework for Distributed Programming[J];JOURNAL OF SOFTWARE;2000-08
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved