Automatic Testing of Real-Time Graphics Systems

被引：0

作者：

Nagy, Robert ^{[1
]}

Schneider, Gerardo ^{[2
]}

Timofeitchik, Aram ^{[3
]}

机构：

[1] Dfind Redpatch, Stockholm, Sweden

[2] Chalmers Univ Gothenburg, Dept Comp Sci & Engn, Gothenburg, Sweden

[3] DQ Consulting AB, Stockholm, Sweden

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013 | 2013年 / 7795卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：463 / 477

页数：15

共 15 条

[1] LARVA - Safer Monitoring of Real-Time Java']Java Programs (Tool Paper) [J].

Colombo, Christian ;

Pace, Gordon J. ;

Schneider, Gerardo .

SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, :33-+

[2]

Cunha Marco, 2010, 2010 2nd International Conference on Software Technology and Engineering (ICSTE 2010), P202, DOI 10.1109/ICSTE.2010.5608882

[3]

Distler T., 2011, IMAGE QUALITY ASSESS

[4]

Farnham K., 2007, THREADING BUILDING B

[5]

Fell D, 2001, EMBED SYST PROGRAM, V14, P86

[6]

Microsoft, 2012, STREAM SIMD EXT SSE

[7]

MURCHING AM, 1994, IEEE IMAGE PROC, P963, DOI 10.1109/ICIP.1994.413702

[8]

Myers G, 1979, Art of Software Testing

[9]

S.B.C. (SVT), NAT NEWS AKT RAPP

[10]

S.B.C. (SVT), 2006, SWED EL 2006

← 1 2 →