Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
复制标题
使用 QuickCheck 生成随机类型良好的轻量级 Java 程序
DOI：
10.1016/j.entcs.2019.04.002
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
A. R. D. Bois
中科院分区：
文献类型：
--
作者：
Samuel da Silva Feitosa;R. Ribeiro;A. R. D. Bois
目前，Java 是最常用的编程语言之一，被许多大型项目所采用，这些项目的应用程序达到了一定的复杂程度，手动测试和人工检查不足以保证软件开发的质量。即使使用自动化单元测试，此类测试也很少涵盖所有有趣的代码情况，这意味着一旦针对同一组规则一遍又一遍地测试代码，就永远无法发现错误。本文解决了在 Featherweight Java（一种著名的面向对象微积分）环境中使用 QuickCheck（一个用于基于属性的测试的 Haskell 库）生成随机类型良好程序的问题。
Currently, Java is one of the most used programming language, being adopted in many large projects, where applications reach a level of complexity for which manual testing and human inspection are not enough to guarantee quality in software development. Even when using automated unit tests, such tests rarely cover all interesting cases of code, which means that a bug could never be discovered, once the code is tested against the same set of rules over and over again. This paper addresses the problem of generating random well-typed programs in the context of Featherweight Java, a well-known object-oriented calculus, using QuickCheck, a Haskell library for property-based testing.