On Test Case Generation Satisfying the MC/DC Criterion

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. (Published)

PDF Paper59-Kamal-Z-Zamli.pdf - Published Version Restricted to Repository staff only Download (148kB) | Request a copy

Abstract

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.

Item Type:	Article
Additional Information:	Indexed in Scopus, Google Scholar
Uncontrolled Keywords:	MC/DC test generation; structural testing; optimization algorithms; Harmony Search algorithm
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Faculty/Division:	Faculty of Computer System And Software Engineering
Depositing User:	ina
Date Deposited:	21 May 2014 04:13
Last Modified:	16 Jan 2018 00:58
URI:	http://umpir.ump.edu.my/id/eprint/5795
Download Statistic:	View Download Statistics

Actions (login required)

View Item