Understanding formal specifications through good examples
Paper in proceeding, 2018
We have created a method that automatically derives a suite of good examples from a formal specification. Each example is judged by our method to illustrate one feature of the specification. The generated examples give users a good understanding of the behaviour of the software. We evaluated our method by measuring how well students understood an API when given different sets of examples; the students given our examples showed significantly better understanding.
property-based testing
Formal specification
QuickCheck
examples
Author
Alex Gerdes
University of Gothenburg
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Stefan Hanenberg
University of Duisburg-Essen
Sebastian Ivarsson
Meng Wang
University Of Kent
Erlang 2018 - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2018
13-24
978-1-4503-5824-8 (ISBN)
St Louis, USA,
Property-based testing of Web services (PROWESS)
European Commission (EC) (EC/FP7/317820), 2012-10-01 -- 2015-09-30.
Systematic testing of cyber-physical systems (SyTeC)
Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)
European Commission (EC) (EC/H2020/640954), 2015-02-01 -- 2018-01-31.
Subject Categories (SSIF 2011)
Other Computer and Information Science
Software Engineering
Computer Science
Areas of Advance
Information and Communication Technology
DOI
10.1145/3239332.3242763