Property-Based Testing - The ProTest Project

Derrick, John; Walkinshaw, Neil; Arts, Thomas; Earle, Clara Benac; Cesarini, Francesco; Fredlund, Lars–Åke; Gulías, Víctor M.; Hughes, John; Thompson, Simon

doi:10.1007/978-3-642-17071-3_13

Cited by 14 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To generate the tests, we utilize the Property-Based Testing (PBT) tool ScalaCheck [5]. PBT is an approach to test functional requirements of software [6]. PBT test cases are automatically generated from an abstract model of the System Under Test (SUT), as opposed to being manually written as in the case with unit testing of software.…”

Section: Introductionmentioning

confidence: 99%

“…It should also be noted that shrinking is a common concept within PBT [6], meaning that failing test cases are shrunk to smaller failing test cases to make analyzing them easier. With the Commands implementation of ScalaCheck, shrinking would mean to remove commands from the failing command sequence while keeping it valid and rerun it after each shrinking step until the shortest sequence of command leading to a failure is found.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Automated Testing of Ultrawideband Positioning for Autonomous Driving

Vedder

Svensson

Vinter

et al. 2020

Journal of Robotics

View full text Add to dashboard Cite

Autonomous vehicles need accurate and dependable positioning, and these systems need to be tested extensively. We have evaluated positioning based on ultrawideband (UWB) ranging with our self-driving model car using a highly automated approach. Random drivable trajectories were generated, while the UWB position was compared against the Real-Time Kinematic Satellite Navigation (RTK-SN) positioning system which our model car also is equipped with. Fault injection was used to study the fault tolerance of the UWB positioning system. Addressed challenges are automatically generating test cases for real-time hardware, restoring the state between tests, and maintaining safety by preventing collisions. We were able to automatically generate and carry out hundreds of experiments on the model car in real time and rerun them consistently with and without fault injection enabled. Thereby, we demonstrate one novel approach to perform automated testing on complex real-time hardware.

show abstract

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

Automated Testing of Ultrawideband Positioning for Autonomous Driving

Vedder

Svensson

Vinter

et al. 2020

Journal of Robotics

View full text Add to dashboard Cite

show abstract

“…Based on previous work [19] which used UML descriptions together with OCL properties to perform automatic testing of software components, we propose to apply property-based testing (PBT) [15] to do perform automatic testing of web services. When using PBT, testers have to write properties that the system under test (SUT) needs to satisfy, rather than specific test cases.…”

Section: Introductionmentioning

confidence: 99%

Turning web services descriptions into quickcheck models for automatic testing

Francisco

López

Ferreiro

et al. 2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing.Web services are a popular solution to integrate components when building a software system, or to allow communication between a system and third-party users, providing a flexible, reusable mechanism to access its functionalities. Testing of web services is a key activity: we need to verify their behaviour and ensure their quality as much as possible, as efficiently as possible.By automatically deriving QuickCheck models from its WSDL description and its OCL semantic constraints, we enable generation and execution of great amounts of automatically generated test cases. Thus, we avoid the usual compromise between effort and cost, which too often leads to smaller and less exhaustive test suites than desirable.To illustrate the advantages of our framework, we present an industrial case study: a distributed system which serves media contents customers' TV screens.

show abstract

“…When dealing with software testing, one way to make sure that functional requirements are fulfilled is using PropertyBased Testing (PBT) [17]. When doing PBT, inputs are automatically generated and a model of the software is used to evaluate whether it fulfils its specification, whereby the golden run is generated automatically for each test sequence based on the model.…”

Section: Introductionmentioning

confidence: 99%

Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System

Vedder¹,

Vinter²,

Jönsson

2015

2015 IEEE International Conference on Dependable Systems and Networks Workshops

View full text Add to dashboard Cite

Abstract-In this work we use our testing platform based on FaultCheck and QuickCheck that we apply on a quadcopter simulator. We have used a hardware platform as the basis for the simulator and for deriving realistic fault models for our simulations. The quadcopters have a collision-avoidance mechanism that shall take over control when the situation becomes hazardous, steer away from the potential danger and then give control back to the pilot, thereby preventing collisions regardless of what the pilot does. We use our testing platform to randomly generate thousands of simulations with different input stimuli (using QuickCheck) for hundreds of quadcopters, while injecting faults simultaneously (using FaultCheck). This way, we can effectively adjust system parameters and enhance the collision-avoidance mechanism.

show abstract

Property-Based Testing - The ProTest Project

Cited by 14 publications

References 19 publications

Automated Testing of Ultrawideband Positioning for Autonomous Driving

Automated Testing of Ultrawideband Positioning for Autonomous Driving

Turning web services descriptions into quickcheck models for automatic testing

Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System

Contact Info

Product

Resources

About