Paper Info
Title
Feasibility Of Property-Based Testing For Time-Dependent Systems
Abstract
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.
Year
DOI
Venue
2013
10.1007/978-3-642-53862-9_67
COMPUTER AIDED SYSTEMS THEORY, PT II
Keywords
Field
DocType
Functional testing, property-based testing, time constraints
Computer science,White-box testing,Risk analysis (engineering),Software performance testing,Software reliability testing,Artificial intelligence,Test strategy,Operational acceptance testing,Black-box testing,System integration testing,System testing,Simulation,Machine learning
Conference
Volume
ISSN
Citations 
8112
0302-9743
2
PageRank 
References 
Authors
0.40
5
3
Name
Order
Citations
PageRank
Macías López120.40
Laura M. Castro25010.39
David Cabrero3476.16