Capsule 8
TesCaV
General Information about the Capsule
Name: TesCaV
Identifier: ENACTEST_ID_8
Language: English
Category: Environment
Keywords: conceptual modelling, model-coverage, finite state machine, class diagram
Description:
TesCaV is a tool that provides visual feedback about the coverage achieved by manually testing a prototype application generated from a conceptual model. The feedback is provided to the students on their demand, leaving the student in control. When a student is done testing, the log of the testing activities is available to share with teachers. Through the use of TesCaV, the students will learn to achieve a higher test coverage of the system under test.
Teachers can use the software to have students testing a pre-made application, or let the student test their own application created with the Merlin modelling tool.
Prerequisite knowledge: Both students and teachers need an understanding of UML class diagrams and state charts. A few pre-made exercises are provided by the developers of the tool. Teachers who want to create their own exercises need to be able to create a model using the Merlin modelling tool to create the application students will test. Students who want to test their own applications need to be familiar with Merlin and the code generator to create their own applications.
Supporting Materials
Cost: Free
Copyright and Other Restrictions: Yes
Description: Licensed for educational and research purposes.
Educational
Interactivity Type: Interactive
Learning Resource Type: Environment
Interactivity Level: Low
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: Moderate
Description of Learning Objectives:
- Learning how to adequately test a conceptual model
- Increasing model coverage.
Prerequisites
- When using given models: Prior knowledge of UML class diagrams and state charts.
- When using own models: MERODE modelling language
Classification of the Learning Objectives According to Bloom’s Taxonomy
- Understand: Comprehend model coverage.
- Apply: Execute effective model tests. Define sufficiently complete set of test cases.
- Analyse: Compare test outputs with expected outcomes.
- Evaluate: Assess test effectiveness based on model coverage.
Learning Sequence
1. Student designs a conceptual model and generate an application
or student downloads a pre-generated application based on a pre-made conceptual model
2.Student runs the application
3.Student executes test scenarios to test the conceptual model
4. Student can request feedback from TesCaV on the completeness of their test scenarios in terms of model coverage
Expected Consequences
a)Students will develop skills in model testing.
b)Students will improve their model coverage skills.