scholarly journals A Case Study Of Existing Quality Model Based On Defects , Tests Management Of Embedded Software System

2018 ◽  
Vol 8 (2) ◽  
pp. 15-30
Author(s):  
Abhishek Anurag et al., Abhishek Anurag et al., ◽  
Keyword(s):  
Embedded Software ◽  
Software System ◽  
Quality Model ◽  
Model Based

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.

scholarly journals A Case Study on Defining a “Quality Algorithm” Based on Correlation between ‘Existing Quality Model, Different Attributes of Defects & Tests’

2018 ◽  
Vol 7 (3.4) ◽  
pp. 235
Author(s):  
Abhishek Anurag ◽  
R Kamatchi
Keyword(s):  
Software Systems ◽  
User Requirements ◽  
Software System ◽  
Improve Quality ◽  
Quality Model ◽  
Cause Analysis ◽  
Root Cause ◽  
Analysis Technique

Usage and nature of software systems have changed significantly. Due to this complexity of software systems has also grown exponentially. In these ever-changing requirements and environment in which software system is being used, maintaining quality of software system is very challenging and difficult. If user requirements are not met as expected, it’s called defect. To improve quality, it’s critical to understand and analyze these defects. In this study root cause analysis technique is used to analyze defects and their attributes, root cause of defects and corrective actions of defects. A quality model is designed based on defects, root cause of defects and tests. A quality algorithm is designed in this study depending on existing quality model, defects, tests and their attributes. This quality algorithm is executed on a software system to validate quality model. The results obtained are analyzed to understand the quality of the software system and how it’s different than existing quality model. 

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.

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 MODEL-Based Performance Quality Assessment for IoT Applications

2021 ◽  
Vol 15 (12) ◽  
pp. 4
Author(s):  
Teeba Ismail Kh. ◽  
Ibrahim I. Hamarash
Keyword(s):  
Quality Assurance ◽  
Performance Metrics ◽  
Methodological Approach ◽  
Test Case ◽  
Quality Model ◽  
Iot Applications ◽  
Model Based ◽  
Performance Quality ◽  
Model Based Testing

<p class="0abstractCxSpFirst">The number of applications incorporating Internet of Things (IoT) concepts increases extraordinarily. This increase cannot continue without high-quality assurance. There are some difficulties in testing IoT applications; the system heterogeneity, test cost and time are taken to test the system, and the precision percentage of test results.</p><p class="0abstractCxSpLast">A well-known and possibly the best solution to overcoming these difficulties is to model the system for evaluation purposes, known as model-based testing (MBT). This paper aims to design a model-based testing approach to assess IoT applications performance quality attributes. The ISO 25000 quality model is used as a standard for software quality assurance applications. IoTMaaS is used as a case study to implement the methodological approach. The possible test cases were generated using the ACTS combinatorial test generation tool. The performance metrics of each test case were monitored until the optimum test case was identified, with the shortest response time and the least amount of resources used. The proposed testing method appears to be successful, according to the results.</p>

Formal Approach to Enhance the Reliability of Embedded Software System

2014 ◽  
Vol 568-570 ◽  
pp. 1451-1454
Author(s):  
Hai He Shi ◽  
Hai Peng Shi
Keyword(s):  
Formal Method ◽  
Embedded Software ◽  
Software Systems ◽  
Software System ◽  
Product Reliability ◽  
High Demand ◽  
Formal Approach

Software formal method is a mathematics-based technique for the specification, development and verification of software systems, and has been viewed as an important way to guarantee the reliability of final product. Reliability of Algorithms in embedded software system is in high demand. The paper introduces an algorithm formal approach suitable to the development of embedded software that will enhance its reliability, and as a case study an algorithm has been formally developed.

Sign in / Sign up

Export Citation Format

Share Document