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)