Property-Based Testing for Spark Streaming. Issue 4 (19th February 2019)
- Record Type:
- Journal Article
- Title:
- Property-Based Testing for Spark Streaming. Issue 4 (19th February 2019)
- Main Title:
- Property-Based Testing for Spark Streaming
- Authors:
- RIESCO, A.
RODRÍGUEZ-HORTALÁ, J. - Abstract:
- Abstract: Stream processing has reached the mainstream in the last years, as a new generation of open-source distributed stream processing systems, designed for scaling horizontally on commodity hardware, has brought the capability for processing high-volume and high-velocity data streams to companies of all sizes. In this work, we propose a combination of temporal logic and property-based testing (PBT) for dealing with the challenges of testing programs that employ this programming model. We formalize our approach in a discrete time temporal logic for finite words, with some additions to improve the expressiveness of properties, which includes timeouts for temporal operators and a binding operator for letters. In particular, we focus on testing Spark Streaming programs written with the Spark API for the functional language Scala, using the PBT library ScalaCheck. For that we add temporal logic operators to a set of new ScalaCheck generators and properties, as part of our testing library sscheck.
- Is Part Of:
- Theory and practice of logic programming. Volume 19:Issue 4(2019)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 19:Issue 4(2019)
- Issue Display:
- Volume 19, Issue 4 (2019)
- Year:
- 2019
- Volume:
- 19
- Issue:
- 4
- Issue Sort Value:
- 2019-0019-0004-0000
- Page Start:
- 574
- Page End:
- 602
- Publication Date:
- 2019-02-19
- Subjects:
- property-based testing, -- linear temporal logic, -- first-order modal logic, -- Spark Streaming, -- Scala
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068419000012 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 10857.xml