Approach to Testing Many State Machine Models in Education

Shinpei Ogata, Mizue Kayama, Kozo Okano

2019

Abstract

In state machine modeling education, the effort required by instructors to test a large number of learner-created models should be reduced to concentrate on the following feedback activity. Although there are several methods for validating and verifying a state machine model, a considerable problem for instructors is the lack of tools to test multiple models at once. This study proposes a preliminary approach and a support tool to efficiently and promptly test multiple state machine models. A basic approach to solving this problem is creating test cases and then testing multiple state machine models simultaneously using these test cases. To reduce the instructors’ testing effort, the proposed approach includes three new concepts: (1) a logger extension to capture simulated data generated by an existing state machine simulation tool called SMart-Learning; (2) a method for creating test cases based on these logs; and (3) a feature to test many models using these test cases. As a result of a preliminary evaluation, it was confirmed that the proposed approach could be useful to test many answer models efficiently.

Paper Citation

in Harvard Style

Ogata S., Kayama M. and Okano K. (2019). Approach to Testing Many State Machine Models in Education.In Proceedings of the 11th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-367-4, pages 481-488. DOI: 10.5220/0007768004810488

in Bibtex Style

@conference{csedu19,
author={Shinpei Ogata and Mizue Kayama and Kozo Okano},
title={Approach to Testing Many State Machine Models in Education},
booktitle={Proceedings of the 11th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2019},
pages={481-488},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007768004810488},
isbn={978-989-758-367-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - Approach to Testing Many State Machine Models in Education
SN - 978-989-758-367-4
AU - Ogata S.
AU - Kayama M.
AU - Okano K.
PY - 2019
SP - 481
EP - 488
DO - 10.5220/0007768004810488