Towards Property-Based Tests in Natural Language

Colin S. Gordon
DOI: https://doi.org/10.1145/3510455.3512781
2022-02-08
Abstract:We consider a new approach to generate tests from natural language. Rather than relying on machine learning or templated extraction from structured comments, we propose to apply classic ideas from linguistics to translate natural-language sentences into executable tests. This paper explores the application of combinatory categorial grammars (CCGs) to generating property-based tests. Our prototype is able to generate tests from English descriptions for each example in a textbook chapter on property-based testing.
Software Engineering,Computation and Language
What problem does this paper attempt to address?