scholarly journals Model-Based Testing of a WAP Gateway: An Industrial Case-Study

2007 ◽  
pp. 116-131 ◽  
Author(s):  
Anders Hessel ◽  
Paul Pettersson
Keyword(s):  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Wap Gateway

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.

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

Ontology-Driven Requirements Elicitation Based on Scenario

2012 ◽  
Vol 542-543 ◽  
pp. 1459-1462 ◽  
Author(s):  
Zhi Jun Fan ◽  
Zhao Liang Jiang
Keyword(s):  
Association Rules ◽  
Mass Customization ◽  
Requirements Elicitation ◽  
Apriori Algorithm ◽  
Industrial Case Study ◽  
Model Based ◽  
Scenario Model

For the completeness and accuracy of customers' requirements information in the mass customization paradigm, a method of ontology-driven personal requirements elicitation based on scenario was proposed. Firstly, customer scenario model and product requirements model based on ontology theory were constructed respectively. Association rules were mined with Apriori algorithm using the method of metarule. Scenario ontology was mapped to requirement ontology completely. Then, customers' personal requirements information was elicited completely and accurately. Finally, industrial case study has been performed to demonstrate the practicality and effectiveness of the proposed approach.

Sign in / Sign up

Export Citation Format

Share Document