loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Authors: Kleber Petry 1 ; Edson OliveiraJr 1 ; Leandro Costa 2 ; Aline Zanin 3 and Avelino Zorzo 3

Affiliations: 1 State University of Maringá, Maringá, Brazil ; 2 Unisinos, Porto Alegre, Brazil ; 3 PUCRS, Porto Alegre, Brazil

Keyword(s): Activity Diagrams, Model-Based Testing, Sequence Diagrams, SMarty, Software Product Line, UML, Variability.

Abstract: Code reuse and testing approaches to ensure and to increase productivity and quality in software development has grown considerably among process models in recent decades. Software Product Line (SPL) is a technique in which non-opportunistic reuse is the core of its development process. Given the inherent variability in products derived from an SPL, an effective way to ensure the quality of such products is to use testing techniques, which take into account SPL variability in all stages. There are several approaches for SPL variability management, especially those based on the Unified Modeling Language (UML). The SMarty approach provides users identification and representation of variability in UML models using stereotypes and tagged-values. SMarty currently offers a verification technique for its models, such as sequence diagrams, in the form of checklist-based inspections. However, SMarty does not provide a way to validate models using, for example, Model-Based Testing (MBT). Thus, this paper presents SMartyTesting, an approach to assist the generation of test sequences from SMarty sequence diagrams. To evaluate the feasibility of such an approach, we performed an empirical comparative study with an existing SPL MBT approach (SPLiT-MBt) using activity diagrams, taking into account two criteria: sequence differentiation, and number of sequences generated. Results indicate that SMartyTesting is feasible for generating test sequences from SMarty sequence diagrams. Preliminary evidence relies on generating more test sequences using sequence diagrams than activity diagrams, thus potentially increasing SPL coverage. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.80.252.84

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Petry, K.; OliveiraJr, E.; Costa, L.; Zanin, A. and Zorzo, A. (2021). SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences. In Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-509-8; ISSN 2184-4992, pages 165-172. DOI: 10.5220/0010373601650172

@conference{iceis21,
author={Kleber Petry. and Edson OliveiraJr. and Leandro Costa. and Aline Zanin. and Avelino Zorzo.},
title={SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences},
booktitle={Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2021},
pages={165-172},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010373601650172},
isbn={978-989-758-509-8},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences
SN - 978-989-758-509-8
IS - 2184-4992
AU - Petry, K.
AU - OliveiraJr, E.
AU - Costa, L.
AU - Zanin, A.
AU - Zorzo, A.
PY - 2021
SP - 165
EP - 172
DO - 10.5220/0010373601650172

0123movie