A methodology for building effective test models with function nets??

THUIR > College of Engineering > Department of Computer Science and Information > Conference Papers > Item 310901/22072

Please use this identifier to cite or link to this item: http://140.128.103.80:8080/handle/310901/22072

Title:	A methodology for building effective test models with function nets??
Authors:	Xu, D., Chu, W.
Contributors:	Dept. of Computer Science, Tunghai University,
Keywords:	Formal methods;High-level petri nets;Model-based testing;Petri nets;Test generation
Date:	2012-07-16
Issue Date:	2013-05-15T09:10:07Z (UTC)
Publisher:	Izmir; Turkey
Abstract:	Building effective test models is critical to the applications of model-based testing. This paper presents a methodology for guiding model-based testing with function nets, which are lightweight high-level Petri nets. High-level Petri nets are traditionally used for modeling, simulation, and verification purposes. In this paper, however, function nets are test models for automated generation of test cases. The proposed methodology has three key features. First, based on an analogy between modeling and programming, it identifies the basic building blocks for composing test models. Second, it provides structured processes for building test models from workflows and from the contracts of the components under test. Third, it provides several techniques for reducing the complexity of test models and thus the number of tests. The methodology has been applied to the function testing and security testing of several industry-strength applications. ? 2012 IEEE.
Relation:	Proceedings - International Computer Software and Applications Conference , art. no. 6340166 , pp. 334-339
Appears in Collections:	[Department of Computer Science and Information ] Conference Papers

Files in This Item:

File	Size	Format
index.html	0Kb	HTML	176	View/Open

Loading...