A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study

2012 ◽  
pp. 726-742 ◽  
Author(s):  
Shaukat Ali ◽  
Tao Yue ◽  
Lionel Briand ◽  
Suneth Walawege
Keyword(s):  
Product Line ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configuration Methodology ◽  
Support Model

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2013 ◽  
pp. 108-125
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2011 ◽  
Vol 2 (2) ◽  
pp. 22-41
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems

2014 ◽  
pp. 234-261
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

scholarly journals Model-Based Testing in Practice: An Industrial Case Study using GraphWalker

2021 ◽  
Author(s):  
Muhammad Nouman Zafar ◽  
Wasif Afzal ◽  
Eduard Enoiu ◽  
Athanasios Stratis ◽  
Aitor Arrieta ◽  
...  
Keyword(s):  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing

Model-Based Testing of Highly Configurable Embedded Systems

2017 ◽  
pp. 557-584
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

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. 

Sign in / Sign up

Export Citation Format

Share Document