Automatic testing of real-time graphics systems

Authors:
Robert Nagy;Gerardo Schneider;Aram Timofeitchik
Affiliations:
Dfind Redpatch, Sweden;Department of Computer Science and Engineering, Chalmers | University of Gothenburg, Sweden;DQ Consulting AB, Sweden
Venue:
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2013

Citing 4
Cited 0

The Art of Software Testing

The Art of Software Testing
Sikuli: using GUI screenshots for search and automation

Proceedings of the 22nd annual ACM symposium on User interface software and technology
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Image quality assessment: from error visibility to structural similarity

IEEE Transactions on Image Processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we deal with the general topic of verification of real-time graphics systems. In particular we present the Runtime Graphics Verification Framework (RUGVEF), where we combine techniques from runtime verification and image analysis to automate testing of graphics systems. We provide a proof of concept in the form of a case study, where RUGVEF is evaluated in an industrial setting to verify an on-air graphics playout system used by the Swedish Broadcasting Corporation. We report on experimental results from the evaluation, in particular the discovery of five previously unknown defects.