nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

verfasst von : Martin Mariusz Lester

Erschienen in: Tests and Proofs

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We present ScAmPER, a tool that generates test suites that maximise coverage for a class of interactive fiction computer games from the early 1980s. These games customise a base game engine with scripts written in a simple language. The tool uses a heuristic-guided search to evaluate whether these lines of code can in fact be executed during gameplay and, if so, outputs a sequence of game inputs that achieves this. Equivalently, the tool can be seen as attempting to generate a set of test cases that maximises coverage of the scripted code. The tool also generates a visualisation of the search process.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems

Nur mit Berechtigung zugänglich

Adams, S.: Scott adams grand adventures. http://www.msadams.com/downloads.htm

Cox, A.: Scottfree interpreter. https://www.ifarchive.org/indexes/if-archiveXscott-adamsXinterpretersXscottfree.html

Dietsch, D., Jakobs, M.C.: Tap 2020 virtual machine, April 2020. https://doi.org/10.5281/zenodo.3751284

Dubois, C., Wolff, B. (eds.): TAP 2018. LNCS, vol. 10889. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92994-1CrossRefMATH

Fuchs, A.: Automated test case generation for Java EE based web applications. In: Dubois and Wolff [4], pp. 167–176. https://doi.org/10.1007/978-3-319-92994-1_10

Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3—a modern refinement checker for CSP. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187–201. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_13CrossRefMATH

Holzmann, G.J.: The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Boston (2004)

Julliand, J., Kouchnarenko, O., Masson, P., Voiron, G.: Under-approximation generation driven by relevance predicates and variants. In: Dubois and Wolff [4], pp. 63–82. https://doi.org/10.1007/978-3-319-92994-1_4

Lester, M.M.: ScAmPER: Scott Adams exPlicitly Evaluating Reachability, March 2020. https://doi.org/10.5281/zenodo.3724977

10.

Mnih, V., et al.: Playing atari with deep reinforcement learning. CoRR abs/1312.5602 (2013). http://arxiv.org/abs/1312.5602

11.

Mnih, V., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529 (2015)CrossRef

12.

Narasimhan, K., Kulkarni, T.D., Barzilay, R.: Language understanding for text-based games using deep reinforcement learning. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, 17–21 September 2015, pp. 1–11 (2015). http://aclweb.org/anthology/D/D15/D15-1001.pdf

13.

Pickett, C.J., Verbrugge, C., Martineau, F.: NFG: a language and runtime system for structured computer narratives. In: Proceedings of the 1st Annual North American Game-On Conference (GameOn’NA 2005), pp. 23–32 (2005)

14.

Taylor, M.: Scott adams compiler (sac). http://www.miketaylor.org.uk/tech/advent/sac/

15.

Verbrugge, C., Zhang, P.: Analyzing computer game narratives. In: Yang, H.S., Malaka, R., Hoshino, J., Han, J.H. (eds.) ICEC 2010. LNCS, vol. 6243, pp. 224–231. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15399-0_21CrossRef

16.

Vos, T.E.J., Kruse, P.M., Condori-Fernández, N., Bauersfeld, S., Wegener, J.: TESTAR: tool support for test automation at the user interface level. IJISMD 6(3), 46–83 (2015). https://doi.org/10.4018/IJISMD.2015070103CrossRef

Titel: ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games
verfasst von: Martin Mariusz Lester
Verlag: Springer International Publishing
Buch: Tests and Proofs
Print ISBN: 978-3-030-50994-1

Electronic ISBN: 978-3-030-50995-8

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-50995-8_10

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"