Using Formal Specifications to Support Testing

doi:10.1145/1459352.1459354

Using Formal Specifications to Support Testing

2009-02-23

236

OA

AI

DOI：10.1145/1459352.1459354

Original

Original request for help

Save

Abstract

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.

Keywords:

Reliability

Verification

Software testing

formal methods

Using Formal Specifications to Support Testing

Abstract

Journal

Organization