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

Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method

FENG Yucai,YU Yan,ZHOU Chun(College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074)  
This paper discusses the establishment of linear constraint system, one of the primary problems of Gupta method. It shows the instance in which the Gupta method fails to find test data because the linear constraint system itself is inconsistent. Then it proposes an algorithm to solve this problem and improves the validity of automated test data generation.
【CateGory Index】: TP311.56
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 1 Hits
1 SHAN Jin-Hui WANG Ji QI Zhi-Chang WU Jian-Ping(School of Computers, National University of Defense Technology, Changsha 410073);Improvement of the Gupta Method[J];Chinese Journal of Computers;2002-12
【Co-citations】
Chinese Journal Full-text Database 1 Hits
1 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
【Secondary 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
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved