Feasibility of Property-Based Testing for Time-Dependent Systems

摘要

As needed as testing is in software development to ensure the construction of quality products, it has also been traditionally forgotten or neglected, mostly due to its cost. However, in the recent past industry is acknowledging the far greater costs of not testing, or testing in a non-efficient and non-effective manner, particularly when the monetization of a software product is involved. This has lead to new approaches, techniques and tools for software testing, such as property-based testing. In this paper, we present how we applied this advanced technique, property-based testing, to verify a system where the handling of temporal information is critical: a distributed system for advertisement transmission over a digital TV network.