期刊名称：International Journal of Advanced Research In Computer Science and Software Engineering
印刷版ISSN：2277-6451
电子版ISSN：2277-128X
出版年度：2013
卷号：3
期号：9
出版社：S.S. Mishra
摘要：Cleanroom Software Engineering is a management and technical process that produces high quality software. Cleanroom Software Engineering yields software that is correct by mathematically sound design and that is certified by statistically valid testing. In this paper we propose mutation testing to improve the existing Cleanroom Software Engineering. The main objective of the paper is to make Cleanroom Software Process radical for most developers and focuses on high-value tasks. As improvements on those tasks can yield the most benefit to an organization. To overcome the flaws of Cleanroom Software Engineering new steps have been proposed for improving the technology. Mutation testing helps a user to create test data by interacting with the user to iteratively strengthen the quality of test data. Because program units are so much smaller, testers can find failures more efficiently during unit testing. In addition, it is easier to track down and solve faults in software units.
