Petri net based test case generation for evolved specification

CORC > 北京大学 > 信息科学技术学院

	Petri net based test case generation for evolved specification
	Zuohua DING ; Mingyue JIANG ; Haibo CHEN ; Zhi JIN ; Mengchu ZHOU
刊名	Science China(Information Sciences)
	2016
关键词	test case generation regression testing evolved specification Petri net reachability graph
英文摘要	Model-based testing can use a model to test a concrete program's implementation. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date, such that it can be used for regression testing. A complete regeneration of the whole test sui...; 08; 67-91
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/451277]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Zuohua DING,Mingyue JIANG,Haibo CHEN,et al. Petri net based test case generation for evolved specification[J]. Science China(Information Sciences),2016.
APA	Zuohua DING,Mingyue JIANG,Haibo CHEN,Zhi JIN,&Mengchu ZHOU.(2016).Petri net based test case generation for evolved specification.Science China(Information Sciences).
MLA	Zuohua DING,et al."Petri net based test case generation for evolved specification".Science China(Information Sciences) (2016).