Model-based testing (MBT) is an activity that allows designing and generating test cases from the initial specification of the system under test (SUT). Unified modelling language (UML) is a standard for model-based specifications, while UML-ADs (UML activity diagrams) are usually used for modelling the overall behaviour of systems. This paper presents a graph transformation-based approach to generate automatically scenario-oriented test cases from UML-ADs. To facilitate the test scenario generation process, an intermediate model called extended activity dependency graph (EADG) is proposed. The approach consists of generating EADG models from UML-ADs. Then, test scenarios are generated from the obtained EADG models. This approach also allows testers to validate their proposed test scenarios by applying them on UML-ADs using a graphical simulation. All ideas presented above are implemented using the graph transformation tool AToM3. To this end, two meta-models and three graph grammars are proposed for presenting and generating EADG and test scenarios models, and for performing the graphical simulation. The approach is applied on a case study and experimental results show that our approach has a high rate of fault-detection capability. This approach can detect more defects in complex structures of concurrency and nested loops.
Key words :
Automatic test case generation
Graph transformation
UML activity diagram
Model-based testing
Test coverage criteria
AToM3
A. Hettab, A. Chaoui, M. Boubakir and E. Kerkouche. 2022. Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. International Journal of Computer Aided Engineering and Technology, 16, 3 (March 2022), Inderscience Publishers (IEL), 379-415. DOI: https://doi.org/10.1504/IJCAET.2022.122153.
APA :
Hettab, A., Chaoui, A., Boubakir, M. & Kerkouche, E. (2022, March). Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. International Journal of Computer Aided Engineering and Technology, 16(3), Inderscience Publishers (IEL), 379-415. DOI: https://doi.org/10.1504/IJCAET.2022.122153
IEEE :
A. Hettab, A. Chaoui, M. Boubakir and E. Kerkouche, "Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach". International Journal of Computer Aided Engineering and Technology, vol. 16, no. 3, Inderscience Publishers (IEL), pp. 379-415, March, 2022. DOI: https://doi.org/10.1504/IJCAET.2022.122153.
BibTeX :
@article{misc-lab-393, author = {Hettab, Abdelkamel and Chaoui, Allaoua and Boubakir, Mohamed and Kerkouche, Elhillali}, title = {Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach}, journal = {International Journal of Computer Aided Engineering and Technology}, volume = {16}, number = {3}, issn = {1757-2657}, pages = {379--415}, publisher = {Inderscience Publishers (IEL)}, year = {2022}, month = {March}, doi = {10.1504/IJCAET.2022.122153}, url = {https://www.inderscience.com/info/inarticle.php?artid=122153}, keywords = {automatic test case generation, graph transformation, UML activity diagram, model-based testing, test coverage criteria, AToM3} }
RIS :
TI - Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach AU - A. Hettab AU - A. Chaoui AU - M. Boubakir AU - E. Kerkouche PY - 2022 SN - 1757-2657 JO - International Journal of Computer Aided Engineering and Technology VL - 16 IS - 3 SP - 379 EP - 415 PB - Inderscience Publishers (IEL) AB - Model-based testing (MBT) is an activity that allows designing and generating test cases from the initial specification of the system under test (SUT). Unified modelling language (UML) is a standard for model-based specifications, while UML-ADs (UML activity diagrams) are usually used for modelling the overall behaviour of systems. This paper presents a graph transformation-based approach to generate automatically scenario-oriented test cases from UML-ADs. To facilitate the test scenario generation process, an intermediate model called extended activity dependency graph (EADG) is proposed. The approach consists of generating EADG models from UML-ADs. Then, test scenarios are generated from the obtained EADG models. This approach also allows testers to validate their proposed test scenarios by applying them on UML-ADs using a graphical simulation. All ideas presented above are implemented using the graph transformation tool AToM3. To this end, two meta-models and three graph grammars are proposed for presenting and generating EADG and test scenarios models, and for performing the graphical simulation. The approach is applied on a case study and experimental results show that our approach has a high rate of fault-detection capability. This approach can detect more defects in complex structures of concurrency and nested loops. KW - automatic test case generation KW - graph transformation KW - UML activity diagram KW - model-based testing KW - test coverage criteria KW - AToM3 DO - 10.1504/IJCAET.2022.122153 UR - https://www.inderscience.com/info/inarticle.php?artid=122153 ID - misc-lab-393 ER -