Capsule 9
ModelDefenders
General Information about the Capsule
Name: ModelDefenders
Identifier: ENACTEST_ID_9
Language: English
Category: Serious Game
Keywords: conceptual modelling, model-testing, finite state machine, class diagram, mutation testing
Description:
ModelDefenders is a two-player competitive game in which students are given a model under test (MUT). The students make mutants based on the original model and test cases for the original model. Similar to mutation testing, the test cases are run on the mutants. If a test case passes the mutant, the mutant is said to be dead. If a test case fails on the mutant, the mutant is said to be alive.
Supporting Materials
Cost: Free
Copyright and Other Restrictions: Yes
Description: Licensed for educational and research purposes.
Educational
Interactivity Type: Interactive
Learning Resource Type: Serious game
Interactivity Level: High
Intended End-User Role: Learner (Master’s students , final year Bachelor’s students)
Context: Higher Education
Typical Age Range: Adult learners (18+ years)
Difficulty Level: Intermediate
Description of Learning Objectives:
- Learning how to adequately test a conceptual model
- Increasing model coverage.
Prerequisites
- Prior knowledge of UML class diagrams
Classification of the Learning Objectives According to Bloom’s Taxonomy
- Understand: Comprehend model coverage, model mutations and model test cases.
- Apply: Execute effective model tests.
- Analyze: Compare model mutation test outputs with expected outcomes.
- Evaluate: Assess test effectiveness of test cases.
Learning Sequence
1. Students design a conceptual model or download a premade conceptual model.
2.Students go to the website hosting the game.
3.Students upload the model or use an already uploaded model.
4.Students join a game.
5.Student define a mutant based on the model under test
6.Students define a test case based on the model under test.
7.The test cases are run against the mutants of the opponent
8.Feedback is provided about the liveness of the mutant.
9.Students win points if they can kill a mutant and if they can define a mutant that survives a set of test cases.
Expected Consequences
a. Students will develop skills in model testing.
b. Students will improve their model coverage.