Verification of real-Time Graphics Systems
dc.contributor.author | Nagy, Robert | |
dc.contributor.author | Timofeitchik, Hussaian Aram | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers) | sv |
dc.contributor.department | Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers) | en |
dc.date.accessioned | 2019-07-03T13:01:35Z | |
dc.date.available | 2019-07-03T13:01:35Z | |
dc.date.issued | 2012 | |
dc.description.abstract | Today, software quality assurance is an important part of software development,where increasingly more research is conducted in order to achieve more efficient and reliable verification processes. However, little progress has been made when it comes to verification of real-time graphics systems. To this day, most verification of such applications is performed through repetitive manual labour, where graphical content is ocularly inspected and subjectively verified. In this thesis, we present the Runtime Graphics Verification Framework (RUGVEF), where we have combined runtime verification with image analysis in order to automate the verification of graphical content. We also provide a proof of concept in the form of a case study, where RUGVEF is evaluated in an industrial setting by verifying CasparCG, an on-air graphics playout system. The results of the case study are five previously unknown defects, together with statistics of previously known defects (which were injected back into the system) that could be detected by our tool. | |
dc.identifier.uri | https://hdl.handle.net/20.500.12380/164580 | |
dc.language.iso | eng | |
dc.setspec.uppsok | Technology | |
dc.subject | Data- och informationsvetenskap | |
dc.subject | Computer and Information Science | |
dc.title | Verification of real-Time Graphics Systems | |
dc.type.degree | Examensarbete för masterexamen | sv |
dc.type.degree | Master Thesis | en |
dc.type.uppsok | H | |
local.programme | Software engineering and technology (MPSOF), MSc |
Ladda ner
Original bundle
1 - 1 av 1
Hämtar...
- Namn:
- 164580.pdf
- Storlek:
- 2.79 MB
- Format:
- Adobe Portable Document Format
- Beskrivning:
- Fulltext