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.
Chapter PDF
References
CasparCG (2008), https://casparcg.svn.sourceforge.net/svnroot/casparcg
Colombo, C., Pace, G.J., Schneider, G.: LARVA — safer monitoring of real-time java programs (tool paper). In: SEFM, pp. 33–37. IEEE Comp. Soc. (2009)
Cunha, M., Paiva, A.C.R., Ferreira, H.S., Abreu, R.: PETTool: A pattern-based GUI testing tool. In: ICSTE 2010, vol. 1, pp. 202–206 (2010)
Distler, T.: Image quality assessment (IQA) library (2011), http://tdistler.com/projects/iqa
Farnham, K.: Threading building blocks scheduling and task stealing: Introduction (August 2007), http://software.intel.com/en-us/blogs/2007/08/13/threading-building-blocks-scheduling-and-task-stealing-introduction/
Fell, D.: Testing graphical applications. Embedded Sys. Design 14(1), 86 (2001)
Li, X., Cui, Y., Xue, Y.: Towards an automatic parameter-tuning framework for cost optimization on video encoding cloud. Int. J. Digit. Multim. Broadc. (2012)
Microsoft. Streaming SIMD extensions, SSE (2012), http://msdn.microsoft.com/en-us/library/t467de55.aspx
Murching, A.M., Woods, J.W.: Adaptive subsampling of color images. In: ICIP 1994, vol. 3, pp. 963–966 (November 1994)
Myers, G.J., Sandler, C.: The Art of Software Testing, 2nd edn. John Wiley & Sons (2004)
Sharke, M.: Rage PC launch marred by graphics issues (October 2011), http://pc.gamespy.com/pc/id-tech-5-project/1198334p1.html
S.B.C. (SVT). National news: Aktuellt & Rapport, http://www.casparcg.com/case/national-news-aktuellt-rapport
S.B.C. (SVT). Swedish election 2006 (2006), http://www.casparcg.com/case/swedish-election-2006
Timofeitchik, A., Nagy, R.: Verification of real-time graphics systems. Master’s thesis, Chalmers University of Technology, Gothenburg, Sweden (May 2012)
Wang, Z., Bovik, A.C., Sheikh, H.R., Simoncelli, E.P.: Image quality assessment: From error visibility to structural similarity. IEEE Trans. on Image Proc. 13(4), 600–612 (2004)
Yeh, T., Chang, T.-H., Miller, R.C.: Sikuli: using GUI screenshots for search and automation. In: UIST 2009, pp. 183–192. ACM (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nagy, R., Schneider, G., Timofeitchik, A. (2013). Automatic Testing of Real-Time Graphics Systems. In: Piterman, N., Smolka, S.A. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2013. Lecture Notes in Computer Science, vol 7795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36742-7_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-36742-7_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36741-0
Online ISBN: 978-3-642-36742-7
eBook Packages: Computer ScienceComputer Science (R0)