Checklist‐based techniques with gamification and traditional approaches for inspection of interaction models

Interaction models specify the structure and content of the user interface, the allowed user actions, and the corresponding system responses. There is a need to inspect interaction models, as it avoids the propagation of defects to other artefacts. We created two inspection techniques for interaction models, called MoLVERIC Cards (MCards) and MoLVERIC Check (MCheck). MCards employs a gamification mechanism to motivate practitioners during the inspection. MCheck is a simple technique to be used by practitioners in a traditional way. Both techniques have questions, whose answers assist in identifying defects. We performed three studies to verify whether these techniques support the inspection of interaction models. In the first and second studies, we evaluated MCards and MCheck in comparison with an ad‐hoc technique supported by the conventional inspection approach based on defect types. The results of these studies showed that both techniques support the inspection of interaction models. In the third study, we evaluated MCard in comparison with MCheck to understand the participants'; perceptions of both techniques. The study results showed that MCards was considered more suitable for practitioners interested in using dynamic activities, while MCheck was considered more suitable for practitioners who want to use a more traditional technique.