Using Formal Specifications to Support Testing

Robert M. Hierons

doi:10.1145/1459352.1459354

2009-02-23

236

DOI：10.1145/1459352.1459354

原文链接

原文求助

摘要

En 中文

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.

Keyword:

Reliability

Verification

Software testing

formal methods

期刊

ACM Computing Surveys

IF:

论文数:

2.5K

被引数:

3.5W

机构

University of Sheffield

学者数:

3.0W

论文数: 2.9W

被引数: 3.9W

indian institute of technology (iit) - guwahati

学者数:

3.3K

论文数: 3.2K

被引数: 2

brunel university

学者数:

5.8K

论文数: 7.1K

被引数: 9

indian institute of technology system (iit system)

学者数:

9.5W

论文数: 9.9W

被引数: 93

university of york - uk

学者数:

1.5W

论文数: 1.5W

被引数: 15

university of london

学者数:

21.5W

论文数: 19.7W

被引数: 305

University System of Maryland

学者数:

6.5W

论文数: 5.6W

被引数: 113

University of Surrey

学者数:

1.2W

论文数: 1.3W

被引数: 22

查看更多机构

引用论文

Rapid unsupervised adaptation to children's speech on a connected-digit task

Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96

IF0

2024-08-06

PREAI

D.C. Burnett; M. Fanty

Fault classes and error detection capability of specification-based testing

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

1999-10-01

101

OAAI

Kuhn, DR

Synthesis, Characterisation and Catalytic Application of Oxidorhenium Complexes Bearing H‐Spirophosphorane Ligands 含h-螺膦配体的氧化铼配合物的合成，表征及催化应用

European Journal of Inorganic Chemistry

IF0

2012-06-06

PREAI

Anna Skarżyńska; Miłosz Siczek; Jarosław M. Sobczak

Shear elastic constant softening in (V1−xCrx)2O3: Second-order nature of the low temperature phase transition

Solid State Communications

IF0

1983-09-01

PREAI

H. Yang; R.J. Sladek; H.R. Harrison

Consolidation patterns during initiation and evolution of a plate-boundary decollement zone: Northern Barbados accretionary prism

Geology

IF0

1998-01-01

PREAI

J. Casey Moore; Adam Klaus; Nathan L. Bangs; Barbara Bekins; Christian J. Bücker; Warner Brückmann; Stephanie N. Erickson; Olav Hansen; Thomas Horton; Peter Ireland; Candace Olson Major; Gregory F. Moore; Sheila Peacock; Saneatsu Saito; Elizabeth J. Screaton; John W. Shimeld; Philip Henry Stauffer; Tuncay Taymaz; Philip A. Teas; Tomochika Tokunaga

Genetic heterogeneity and phylogeny of Trichuris spp. from captive non-human primates based on ribosomal DNA sequence data

Infection, Genetics and Evolution

IF0

2015-08-01

OAAI

Serena Cavallero; Claudio De Liberato; Klaus G. Friedrich; David Di Cave; Valentina Masella; Stefano D’Amelio; Federica Berrilli

Scaling Projections on Spin-Transfer Torque Magnetic Tunnel Junctions

IEEE Transactions on Electron Devices

IF0

2018-02-01

OAAI

Debasis Das; Ashwin Tulapurkar; Bhaskaran Muralidharan