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. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
López, M., Castro, L. M., & Cabrero, D. (2013). Feasibility of property-based testing for time-dependent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8112 LNCS, pp. 527–535). Springer Verlag. https://doi.org/10.1007/978-3-642-53862-9_67
Mendeley helps you to discover research relevant for your work.