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 226 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Based Testing Approach for Financial Technology Platforms: An Industrial Implementation;Communications in Computer and Information Science;2024

2. Metamorphic testing of chess engines;Information and Software Technology;2023-10

3. Implementation relations and testing for cyclic systems: Adding probabilities;Robotics and Autonomous Systems;2023-07

4. Challenges in testing of cyclic systems;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

5. WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly;Proceedings of the ACM on Programming Languages;2023-06-06