.png){kind=icon}
返回
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-15981-6_3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
函数式反应式编程（FRP）是一种用于实现持续与环境交互并处理高度动态数据的编程范式。异步FRP尤其具有表现力，可用于实现图形用户界面以及与其他非同步数据流和事件交互的反应式系统。测试此类异步FRP程序具有挑战性，因为程序的行为不仅取决于其从环境接收的具体数据，还取决于各数据片段到达的相对时间。本文提出PropRatt，一种用于异步FRP的基于属性的测试框架。PropRatt的关键组件是其规范语言，该语言通过扩展基本的线性时序逻辑，提供了表达多个并发信号属性的手段。这使我们能够表达在不同时间点来自不同信号的数据之间的时序属性。PropRatt使用Haskell实现，并针对一种新近引入的嵌入Haskell的异步FRP语言。我们通过案例研究展示了PropRatt的实用性，测试了信号组合库以及图形用户界面，并提出了如何修改信号生成策略以更好地建模特定领域的方法。
Keyword:
Property-based testing
Functional Reactive Programming
Linear Temporal Logic
期刊
P
IF:
0
论文数:
12
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏分享收藏
查看更多内容