EasyTest: An Approach for Automatic Test Cases Generation from UML Activity Diagrams

Teixeira, Fernando Augusto Diniz; Silva, Gláucia Braga e

doi:10.1007/978-3-319-54978-1_54

Cited by 6 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, the researchers adapted the genetic algorithm to optimize and evaluate the adequacy of generated test cases. The experiments show that the proposed approach is efficient and effective in providing the software tester with a near-optimal test case and high test coverage in the early stage of software development, which cannot be done by contemporary similar studies [Teixeira and e Silva (2017); Khurana, Chhillar and Chhillar (2016); Mohalik, Gadkari, Yeolekar et al (2014)]. Interestingly, several studies have been conducted to generate the test cases from the software specifications [Binder (2000); Legeard, Peureux and Utting (2002); Malhotra and Garg (2011); Nebut, Fleurey, Le Traon et al (2006)].…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

An Automated Approach to Generate Test Cases From Use Case Description Model

Alrawashed¹,

Almomani²,

Althunibat³

et al. 2019

Computer Modeling in Engineering &Amp; Sciences

View full text Add to dashboard Cite

Test complexity and test adequacy are frequently raised by software developers and testing agents. However, there is little research works at this aspect on specification-based testing at the use case description level. Thus, this research proposes an automatic test cases generator approach to reduce the test complexity and to enhance the percentage of test coverage. First, to support the infrastructure for performing automatic, this proposed approach refines the use cases using use case describing template and save it in the text file. Then, the saved file is input to the Algorithm of Control Flow Diagram (ACFD) to convert use case details to a control flow diagram. After that, the Proposed Tool of Generating Test Paths (PTGTP) is used to generate test cases from the control flow diagram. Finally, the genetic algorithm associated with transition coverage is adapted to optimize and evaluate the adequacy of such test cases. A money withdrawal use case in the ATM system is used as an ongoing case study. Preliminary results show that the generated test cases achieve high coverage with an optimal test case. This automatic test case generation approach is effective and efficient. Therefore, it could promote to use other test case coverage criteria.

show abstract

Section: Resultsmentioning

confidence: 99%

“…However, the mutation process was not mentioned and the generated test cases were not optimized. Teixeira et al [Teixeira and e Silva (2017)] presented an automatic approach to generate test cases from an activity diagram. This proposed approach aims to integrate modeling, coding, and testing stage.…”

Section: Introductionmentioning

confidence: 99%

An Automated Approach to Generate Test Cases From Use Case Description Model

Alrawashed¹,

Almomani²,

Althunibat³

et al. 2019

Computer Modeling in Engineering &Amp; Sciences

View full text Add to dashboard Cite

show abstract

“…UML Activity Diagram is a semi-formal specification that can be used to describe the workflow of the system and captures critical system behaviors [9]. Although this Diagram is widely used in this field, there is a lack of automated techniques for test generation from UML activity diagrams [10]. In addition to the mentioned problem, due to the lack of formal semantics, the use of UML diagrams can lead to inconsistency, transformation problems, and different interpretations [5].…”

Section: Introductionmentioning

confidence: 99%

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

Shahbazi,

Keyvanpour

2023

Proceedings of Computer Science and Information Technologies 2023 Conference

View full text Add to dashboard Cite

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, but their lack of formal semantics can lead to ambiguous interpretations and make them unsuitable for automation. In this paper, we propose an efficient approach that maps UML Activity Diagrams into EFSMs, providing a formal modeling of the system under test (SUT) and utilizes JUnit and ModelJUnit Java libraries to automatically generate test cases, using coverage measures to evaluate them. Our approach aims to overcome the limitations of automation in MBT, while achieving efficient coverage and execution time metrics.

show abstract