Article
Journal :
International Journal of Computer Aided Engineering and Technology
ISSN : 1757-2657
Publisher :
Information
Period : March 2022
Volume : 16 Number : 3
Pages : 379-415
Details
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach
Abdelkamel Hettab Allaoua Chaoui Mohamed Boubakir Elhillali Kerkouche
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
Ref. laboratory citation :
misc-lab-393
DOI :
10.1504/IJCAET.2022.122153
Link :
Texte intégral
ACM :
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 -