A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking

• DOI: 10.3897/jucs.91311
• Publication Date: 2023-07-24T14:58:51Z
• Authors: Geovana Ramos Sou...; Genaína Nunes Rod...; Edna Dias Canedo
• Keywords: Chatbot

Verification of chatbot conversational flows is paramount to capturing and understanding behavior predicting problems that would cause the entire flow be restructured from scratch. The literature on testing scarce, few works approach this subject do not focus verifying communication sequences in tandem with functional requirements itself. However, covering all possible context-oriented chatbots through feasible practice given many ramifications should covered by test cases. Alternatively, model checking provides a model-based verification mathematically precise unambiguous manner. Moreover, it can anticipate design flaws early software phase could lead incompleteness, ambiguities, inconsistencies. We postulate finding via may overcome quite gaps are current techniques for flows. Therefore, work, we propose modeling strategy verify Uppaal tool. Our materialized form templates mapping elements into elements. To evaluate strategy, invited developers different levels expertise. feedback participants revealed great ally phases prototyping design, as well helping refine revealing branching logic reused implementation phase.