作者
Robert M Hierons, Kirill Bogdanov, Jonathan P Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony JH Simons, Sergiy Vilkomir, Martin R Woodward, Hussein Zedan
发表日期
2009/2/23
来源
ACM Computing Surveys (CSUR)
卷号
41
期号
2
页码范围
1-76
出版商
ACM
简介
Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.
引用总数
学术搜索中的文章
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland… - ACM Computing Surveys (CSUR), 2009