International Journal of Advanced Research in Computer Science and Software Engineering (IJARCSSE)
Formal methods and testing are two important approaches, which are useful in developing high quality software. Formal methods have traditionally been used for specification and development of software. While traditionally these approaches i.e. formal methods and testing, have been seen as rivals, but in recent years a new consensus has developed in which they are seen as complementary. However there are potential benefits for the testing stage as well. This article focuses on the usefulness of formal methods in assisting software testing in order to improving software quality and reduces the cost.