scholarly journals SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences

2021 ◽  
Author(s):  
Kleber Petry ◽  
Edson OliveiraJr ◽  
Leandro Costa ◽  
Aline Zanin ◽  
Avelino Zorzo
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Model Based ◽  
Model Based Testing ◽  
Software Product ◽  
Line Test ◽  
Testing Approach

scholarly journals Coverage-based Approach for Model-based Testing in Software Product Line

2018 ◽  
Vol 7 (4.15) ◽  
pp. 63 ◽  
Author(s):  
Rabatul Aduni Sulaiman ◽  
Dayang Norhayati A. Jawawi ◽  
Shahliza Abd Halim
Keyword(s):  
Product Quality ◽  
Software Product Line ◽  
Product Line ◽  
Feature Model ◽  
Model Based ◽  
Model Based Testing ◽  
Software Product ◽  
Quality Of Products

Rapid Quality assurance is an important element in software testing in order to produce high quality products in Software Product Line (SPL). One of the testing techniques that can enhance product quality is Model-Based Testing (MBT). Due to MBT effectiveness in terms of reuse and potential to be adapted, this technique has become an efficient approach that is capable to handle SPL requirements. In this paper, the authors present an approach to manage variability and requirements by using Feature Model (FM) and MBT. This paper focuses on modelling the integration towards enhancing product quality and reducing testing effort. Further, the authors considered coverage criteria, including pairwise coverage, all-state coverage, and all-transition coverage, in order to improve the quality of products. For modelling purposes, the authors constructed a mapping model based on variability in FM and behaviour from statecharts. The proposed approach was validated using mobile phone SPL case study. 

scholarly journals Managing complexity and variability of a model-based embedded software product line

2011 ◽  
Vol 8 (1) ◽  
pp. 35-49 ◽  
Author(s):  
Andreas Polzer ◽  
Daniel Merschen ◽  
Goetz Botterweck ◽  
Andreas Pleuss ◽  
Jacques Thomas ◽  
...  
Keyword(s):  
Embedded Software ◽  
Software Product Line ◽  
Product Line ◽  
Model Based ◽  
Software Product ◽  
Managing Complexity

An Introductory Study on an Architecture-Based Software Product Line Test Generation Method

2019 ◽  
Vol 29 (08) ◽  
pp. 1071-1089
Author(s):  
Jihyun Lee
Keyword(s):  
Test Generation ◽  
Software Product Line ◽  
Product Line ◽  
Multiple Products ◽  
Product Line Architecture ◽  
Testing Stage ◽  
Software Product ◽  
Implementation Under Test ◽  
Line Test ◽  
Large Systems

Architecture-based testing allows test engineers to focus on the structure of complicated software and the interactions between software components that constitute the architecture of a software product. By observing and controlling the connections and interactions between components of complex or large systems during software testing, architecture-based testing can detect and localize such faults at those locations. The complexity of software product line testing is high because an implementation under test contains variability given the different binding times and is used by multiple products. This paper introduces how architecture-based testing is applied to test generation for a software product line and examines the strengths of the proposed method against existing software product line testing methods. The paper also illustrates the use of product line architecture and architectural artifacts to generate product line interaction tests. It was found that architecture-based testing can be applied to software product line test generation by tailoring it to deal with variability and product-line specific processes. The results of a comparison with existing methods show that architecture-based software product line test generation provides better capabilities in terms of variability in the testing stage, the explicit formation and application of binding, test coverage, and architectural awareness.

Sign in / Sign up

Export Citation Format

Share Document