Using formal specifications to support testing-Reference-Cited by-同舟云学术

Using formal specifications to support testing

Published:2009-02 Issue:2 Volume:41 Page:1-76
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Hierons Robert M.¹,Bogdanov Kirill²,Bowen Jonathan P.³,Cleaveland Rance⁴,Derrick John²,Dick Jeremy⁵,Gheorghe Marian²,Harman Mark³,Kapoor Kalpesh⁶,Krause Paul⁷,Lüttgen Gerald⁸,Simons Anthony J. H.²,Vilkomir Sergiy⁹,Woodward Martin R.¹⁰,Zedan Hussein¹¹

Affiliation:

1. Brunel University, Middlesex, U.K.

2. University of Sheffield, Sheffield, U.K.

3. King's College London, London, U.K.

4. University of Maryland, College Park, MD

5. integrate systems engineering ltd., Bath, U.K.

6. Indian Institute of Technology Guwahati, Guwahati, India

7. University of Surrey, Surrey, U.K.

8. University of York, York, U.K.

9. University of Tennessee, Greenville, NC

10. (Deceased)

11. De Montfort University, Leicester, U.K.

Abstract

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.

Funder

Engineering and Physical Sciences Research Council

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/1459352.1459354

Reference271 articles.

1. The B-Book

2. Aho A. V. Dahbura A. T. Lee D. and Uyar M. U. 1988. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In Protocol Specification Testing and Verification VIII. Elsevier (North-Holland) Amsterdam The Netherlands 75--86. Aho A. V. Dahbura A. T. Lee D. and Uyar M. U. 1988. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In Protocol Specification Testing and Verification VIII. Elsevier (North-Holland) Amsterdam The Netherlands 75--86.

3. Formal specification techniques as a catalyst in validation

Cited by 233 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model independent refusal trace testing;Science of Computer Programming;2025-01

2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

3. (In)Correct Smart Contract Specifications;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27

4. Comprehending Object State via Dynamic Class Invariant Learning;Lecture Notes in Computer Science;2024

5. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024