.png){kind=icon}
返回
FlinkCheck: Property-Based Testing for Apache Flink
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2947361.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Apache Flink is an open-source, soft real-time stream processing framework underlying many modern systems dealing with cloud and real-time computing, data analytics, and the Internet of Things, among others. As the complexity of stream-processing systems increase, the testing, debugging, and verification tools supporting them should improve as well. However, Flink's testing tools only include a local cluster fake, which requires a great effort from the user to manually craft all those streams (and their corresponding output) that are relevant for each particular function under test. Property-based testing is an automatic, black-box testing technique that tests functions by generating random inputs and checking whether the obtained outputs fulfill a given property. In this paper, we present FlinkCheck, a property-based testing tool for Apache Flink. It uses a bounded temporal logic for both guiding how random streams are generated and defining the properties. We illustrate how the tool works with an example of a collaborative initiative against sexual harassment.
Keyword:
Apache Flink
stream processing
property-based testing
linear temporal logic (LTL)
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
Bacteria differentially induce degradation of Bcl-xL, a survival protein, by human platelets.png)
BloodOAAI
BloodIF0
OAAI分享收藏WOMEN AND SIMPLIFIED HYDROPONICS: COMMUNITY GARDENING AS A WAY OF EMANCIPATION IN TRUJILLO, PERU
PREAI
分享收藏分享收藏A tool supported methodology to passively test asynchronous systems with multiple users一种工具支持的方法来被动地测试具有多个用户的异步系统OAAI
OAAI分享收藏
查看更多内容