loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Shinpei Ogata ; Mizue Kayama and Kozo Okano

Affiliation: Faculty of Engineering, Shinshu University, Wakasato 4-17-1, Nagano-shi, Nagano, 380-8553 and Japan

Keyword(s): Domain-Specific Language, Modeling Education, Simulation, State Machine Diagram, Testing, Unified Modeling Language.

Related Ontology Subjects/Areas/Topics: Computer-Supported Education ; Learning/Teaching Methodologies and Assessment

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.232.88.17

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-5026, SciTePress, pages 481-488. DOI: 10.5220/0007768004810488

@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},
issn={2184-5026},
}

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
IS - 2184-5026
AU - Ogata, S.
AU - Kayama, M.
AU - Okano, K.
PY - 2019
SP - 481
EP - 488
DO - 10.5220/0007768004810488
PB - SciTePress