期刊名称：International Journal of Advanced Research In Computer Science and Software Engineering
印刷版ISSN：2277-6451
电子版ISSN：2277-128X
出版年度：2013
卷号：3
期号：2
出版社：S.S. Mishra
摘要：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 traditio nally these approaches i.e. formal methods and testing, have been seen as rivals, but in recent yea rs a new consensus has developed in which they are seen as complementary. However there are potential benefits for the testing stage a s well. This article focuses on the usefulness of formal methods in assisting software testing in order to improving software quality and reduces the cost
关键词：Formal specification languages; SFT (system for testing); FSM; VDM; Z.
