a test data generation tool for unit testing of c programs

	a test data generation tool for unit testing of c programs
	Xu Zhongxing; Zhang Jian
	2006
会议名称	6th International Conference on Quality Software
页码	107-114
会议日期	OCT 27-28,
会议地点	Beijing, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	QSIC 2006: Sixth International Conference on Quality Software, Proceedings
ISSN	1550-6002
ISBN	0-7695-2718-3
部门归属	Chinese Acad Sci, Grad Univ, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
摘要	This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This mak
关键词	Test Data Generation Symbolic Execution Pointer Operation Unit Testing
主办者	Peking Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11986
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xu Zhongxing,Zhang Jian. a test data generation tool for unit testing of c programs[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2006: Sixth International Conference on Quality Software, Proceedings,2006:107-114.