A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking
Chatbot
DOI:
10.3897/jucs.91311
Publication Date:
2023-07-24T14:58:51Z
AUTHORS (3)
ABSTRACT
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.
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (0)
CITATIONS (6)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....