Developments in Property-Based Testing

被引:0
作者
Midtgaard, Jan [1 ]
机构
[1] Univ Southern Denmark, Odense, Denmark
来源
PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18) | 2018年
关键词
Property-based testing; Symbolic program manipulation;
D O I
10.1145/3168896
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Property-based testing (aka. QuickCheck) is a successful automated testing approach originating in the programming language community [1]. It unites the well-known idea of randomized testing with that of ensuring program-specific properties akin to those encountered within verification and theorem proving. Starting as a Haskell library the approach has grown to become language independent with ports to over 30 different programming languages. Over the years property-based testing has been used to pinpoint an impressive amount of software errors in a multitude of settings, initially within academia but more and more so also in the software industry. In this talk I will first recall the basic concepts of property-based testing and then cover a couple of recent applications, while sharing some of the folklore and community know-how. This includes quite a bit of symbolic program manipulation at the heart of the PEPM community. I will then offer a personal perspective on the approach, both in terms of programming language theory and software engineering.
引用
收藏
页码:1 / 1
页数:1
相关论文
共 1 条
[1]   QuickCheck: A lightweight tool for random testing of Haskell programs [J].
Claessen, K ;
Hughes, J .
ACM SIGPLAN NOTICES, 2000, 35 (09) :268-279