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

Download

Preview

Text - Accepted Version
· Please see our End User Agreement before downloading. | Preview

Text - Accepted Version
· Restricted to Repository staff only

Restricted to Repository staff only

Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Tools

Lists

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
Identification Number/DOI	10.1007/978-3-030-50995-8_10
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