Proceedings of Computer Science and Information Technologies 2023 Conference 2023
DOI: 10.51408/csit2023_05
|View full text |Cite
|
Sign up to set email alerts
|

Automated Model-Based Test Case Generation for UML Activity Diagrams using EFSM

Nazanin Shahbazi,
Mohammad-Reza Keyvanpour

Abstract: Model-based testing (MBT) is a promising approach for generating test cases from system models, providing high levels of automation and effectiveness. The potential for automation in MBT is possible if the model is formal and machine-readable. A commonly employed formal modeling technique is the representation of a system as an extended finite state machine (EFSM). However, in practice, formal models are not common in the industry. Activity diagrams, on the other hand, are well-suited for generating test cases… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 19 publications
0
0
0
Order By: Relevance