Abstract
We report on the use of runtime monitoring to automatically discover gameplay bugs in the execution of video games. In this context, the expected behaviour of game objects is expressed as a set of temporal logic formulæ on sequences of game events. Initial empirical results indicate that, in time, the use of a runtime monitor may greatly speed up the testing phase of a video game under development, by automating the detection of bugs when the game is being played.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Worst videogame bugs of all time: From game-ending glitches to data-destroying nightmares, http://bit.ly/GLySq
Biscotti, F., Blau, B., Lovelock, J.-D., Nguyen, T.H., Erensen, J., Verma, S., Liu, V.K.: Market trends: Gaming ecosystem. Technical report, Gartner Group. Report G00212724 (2011)
Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Services Computing 5(2), 192–206 (2012)
Hamann, L., Gogolla, M., Kuhlmann, M.: OCL-based runtime monitoring of JVM hosted applications. ECEASST 44 (2011)
Karakovskiy, S., Togelius, J.: The Mario AI benchmark and competitions. IEEE Trans. Comput. Intellig. and AI in Games 4(1), 55–67 (2012)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: Getting started with AspectJ. Commun. ACM 44(10), 59–65 (2001)
Lewis, C., Whitehead, J.: Repairing games at runtime or, how we learned to stop worrying and love emergence. IEEE Software 28(5), 53–59 (2011)
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
Varvaressos, S., Vaillancourt, D., Gaboury, S., Blondin Massé, A., Hallé, S. (2013). Runtime Monitoring of Temporal Logic Properties in a Platform Game. In: Legay, A., Bensalem, S. (eds) Runtime Verification. RV 2013. Lecture Notes in Computer Science, vol 8174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40787-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-40787-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40786-4
Online ISBN: 978-3-642-40787-1
eBook Packages: Computer ScienceComputer Science (R0)