Random Cluster Sampling on X-Machines Test Cases

Khan, Yasir Imtiaz; kausar, sadia

Reference : Random Cluster Sampling on X-Machines Test Cases


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/12048

Title :	Random Cluster Sampling on X-Machines Test Cases
Language :	English
Author, co-author :	Khan, Yasir Imtiaz [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	kausar, sadia [University of Lahore Pakistan]
Publication date :	2013
Main document title :	11th International Conference on Information Technology : New Generations ITNG 2013
Peer reviewed :	Yes
Audience :	International
Event name :	11th International Conference on Information Technology : New Generations ITNG 2013
Event date :	15-17 April 2013
Keywords :	[en] software testing ; X-machines ; random cluster sampling
Abstract :	[en] Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.
Target :	Researchers ; Professionals ; Students ; General public
Permalink :	http://hdl.handle.net/10993/12048

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	document.pdf		Publisher postprint	419.22 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices