On Test Case Generation Satisfying the MC/DC Criterion

Given the large domain of inputs and possibly too many possible execution paths, the software is often tested using a sampled set of test cases. A variety of coverage criteria have been proposed to assess the effectiveness of the sampled set of test cases. As far as structural testing involving pred...

Full description

Bibliographic Details
Main Authors:	Kamal Z., Zamli, Al-Sewari, Abdul Rahman Ahmed Mohammed, Mohd Hafiz, Mohd Hassin
Format:	Article
Language:	English
Published:	Soft Computing Research Group,UTM Malaysia (SCRG Publication) 2013
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://umpir.ump.edu.my/id/eprint/5795/ http://umpir.ump.edu.my/id/eprint/5795/ http://umpir.ump.edu.my/id/eprint/5795/1/Paper59-Kamal-Z-Zamli.pdf

id	ump-5795
recordtype	eprints
spelling	ump-57952018-01-16T00:58:02Z http://umpir.ump.edu.my/id/eprint/5795/ On Test Case Generation Satisfying the MC/DC Criterion Kamal Z., Zamli Al-Sewari, Abdul Rahman Ahmed Mohammed Mohd Hafiz, Mohd Hassin QA75 Electronic computers. Computer science Given the large domain of inputs and possibly too many possible execution paths, the software is often tested using a sampled set of test cases. A variety of coverage criteria have been proposed to assess the effectiveness of the sampled set of test cases. As far as structural testing involving predicate evaluation is concerned, criteria exercising aspects of control flow, such as statement,branch and path coverage have been the most common. Although useful, these criteria are often susceptible to the problem of masking. Addressing this issue, this paper explores to adoption of MC/DC as the necessary criteria for structural testing. Additionally, this paper also highlights the current state-of-the-art and identifies the strengths and limitations of existing work. Complementing existing work and in line with the current trends, this paper justifies on the development of a Harmony Search based test generation strategy for satisfying the MC/DC criterion. Soft Computing Research Group,UTM Malaysia (SCRG Publication) 2013 Article PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/5795/1/Paper59-Kamal-Z-Zamli.pdf Kamal Z., Zamli and Al-Sewari, Abdul Rahman Ahmed Mohammed and Mohd Hafiz, Mohd Hassin (2013) On Test Case Generation Satisfying the MC/DC Criterion. International Journal of Advances in Soft Computing and Its Application (Int. J. Advance Soft Compu. Appl.), 5 (3). pp. 104-115. ISSN 2074-852 http://home.ijasca.com/data/documents/Paper59-Kamal-Z-Zamli.pdf
repository_type	Digital Repository
institution_category	Local University
institution	Universiti Malaysia Pahang
building	UMP Institutional Repository
collection	Online Access
language	English
topic	QA75 Electronic computers. Computer science
spellingShingle	QA75 Electronic computers. Computer science Kamal Z., Zamli Al-Sewari, Abdul Rahman Ahmed Mohammed Mohd Hafiz, Mohd Hassin On Test Case Generation Satisfying the MC/DC Criterion
description	Given the large domain of inputs and possibly too many possible execution paths, the software is often tested using a sampled set of test cases. A variety of coverage criteria have been proposed to assess the effectiveness of the sampled set of test cases. As far as structural testing involving predicate evaluation is concerned, criteria exercising aspects of control flow, such as statement,branch and path coverage have been the most common. Although useful, these criteria are often susceptible to the problem of masking. Addressing this issue, this paper explores to adoption of MC/DC as the necessary criteria for structural testing. Additionally, this paper also highlights the current state-of-the-art and identifies the strengths and limitations of existing work. Complementing existing work and in line with the current trends, this paper justifies on the development of a Harmony Search based test generation strategy for satisfying the MC/DC criterion.
format	Article
author	Kamal Z., Zamli Al-Sewari, Abdul Rahman Ahmed Mohammed Mohd Hafiz, Mohd Hassin
author_facet	Kamal Z., Zamli Al-Sewari, Abdul Rahman Ahmed Mohammed Mohd Hafiz, Mohd Hassin
author_sort	Kamal Z., Zamli
title	On Test Case Generation Satisfying the MC/DC Criterion
title_short	On Test Case Generation Satisfying the MC/DC Criterion
title_full	On Test Case Generation Satisfying the MC/DC Criterion
title_fullStr	On Test Case Generation Satisfying the MC/DC Criterion
title_full_unstemmed	On Test Case Generation Satisfying the MC/DC Criterion
title_sort	on test case generation satisfying the mc/dc criterion
publisher	Soft Computing Research Group,UTM Malaysia (SCRG Publication)
publishDate	2013
url	http://umpir.ump.edu.my/id/eprint/5795/ http://umpir.ump.edu.my/id/eprint/5795/ http://umpir.ump.edu.my/id/eprint/5795/1/Paper59-Kamal-Z-Zamli.pdf
first_indexed	2023-09-18T22:01:11Z
last_indexed	2023-09-18T22:01:11Z
_version_	1777414409059041280

On Test Case Generation Satisfying the MC/DC Criterion

Similar Items