ScAmPER: generating test suites to maximise code coverage in interactive fiction games

Lists

Download

Preview

paper_17.pdf - Accepted Version (683kB) | Preview

paper-camera-ready.pdf - Accepted Version (682kB)

Restricted to Repository staff only

Tools

Lester, M. M. ORCID: https://orcid.org/0000-0002-2323-1771 (2020) ScAmPER: generating test suites to maximise code coverage in interactive fiction games. In: TAP 2020: 14th International Conference on Tests and Proofs, 22-26 Jun 2020, Bergen, Norway, pp. 169-179. doi: 10.1007/978-3-030-50995-8_10

Abstract/Summary

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.

Altmetric Badge

Item Type	Conference or Workshop Item (Paper)
URI	https://reading-clone.eprints-hosting.org/id/eprint/90238
Item Type	Conference or Workshop Item
Refereed	Yes
Divisions	Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
Uncontrolled Keywords	reachability coverage explicit state interactive fiction
Publisher Statement	The final authenticated version is available online at https://doi.org/10.1007/978-3-030-50995-8_10
Download/View statistics	View download statistics for this item

Download Statistics

Downloads

Downloads per month over past year

Related URLs

Deposit Details

Date Deposited:	27 Apr 2020 15:50	Date item deposited into CentAUR
Last Modified:	28 Apr 2024 16:27	Date item last modified

References

1. Adams, S.: Scott adams grand adventures, http://www.msadams.com/downloads. htm 2. Cox, A.: Scottfree interpreter, https://www.ifarchive.org/indexes/ if-archiveXscott-adamsXinterpretersXscottfree.html 3. Dietsch, D., Jakobs, M.C.: Tap 2020 virtual machine (Apr 2020), https://doi. org/10.5281/zenodo.3751284 4. Dubois, C., Wolff, B. (eds.): Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Lecture Notes in Computer Science, vol. 10889. Springer (2018), https://doi.org/ 10.1007/978-3-319-92994-1 5. Fuchs, A.: Automated test case generation for java EE based web appli- cations. In: Dubois and Wolff [4], pp. 167–176, https://doi.org/10.1007/ 978-3-319-92994-1_10 6. Gibson-Robinson, T., Armstrong, P.J., Boulgakov, A., Roscoe, A.W.: FDR3 - A modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Proceed- ings. pp. 187–201 (2014), https://doi.org/10.1007/978-3-642-54862-8_13 7. Holzmann, G.J.: The SPIN Model Checker - primer and reference manual. Addison- Wesley (2004) 8. Julliand, J., Kouchnarenko, O., Masson, P., Voiron, G.: Under-approximation gen- eration 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 9. Lester, M.M.: ScAmPER: Scott Adams exPlicitly Evaluating Reachability (Mar 2020), https://doi.org/10.5281/zenodo.3724977 10. Mnih, V., Kavukcuoglu, K., Silver, D., Graves, A., Antonoglou, I., Wierstra, D., Riedmiller, M.A.: Playing atari with deep reinforcement learning. CoRR abs/1312.5602 (2013), http://arxiv.org/abs/1312.5602 11. Mnih, V., Kavukcuoglu, K., Silver, D., Rusu, A.A., Veness, J., Bellemare, M.G., Graves, A., Riedmiller, M., Fidjeland, A.K., Ostrovski, G., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529 (2015) 12. Narasimhan, K., Kulkarni, T.D., Barzilay, R.: Language understanding for text- based games using deep reinforcement learning. In: Proceedings of the 2015 Con- ference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, September 17-21, 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 sys- tem 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: Entertainment Computing - ICEC 2010, 9th International Conference, ICEC 2010, Seoul, Ko- rea, September 8-11, 2010. Proceedings. pp. 224–231 (2010), https://doi.org/ 10.1007/978-3-642-15399-0_21 16. Vos, T.E.J., Kruse, P.M., Condori-Fernández, N., Bauersfeld, S., Wegener, J.: TES- TAR: tool support for test automation at the user interface level. IJISMD 6(3), 46–83 (2015), https://doi.org/10.4018/IJISMD.2015070103

University Staff: Request a correction | Centaur Editors: Update this record

Search Google Scholar