Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies

2019 ◽  
pp. 211-235 ◽  
Author(s):  
Wasim Said ◽  
Jochen Quante ◽  
Rainer Koschke
Keyword(s):  
Case Studies ◽  
Embedded Software ◽  
State Machines

A PILOT STUDY OF PRODUCTIVE VERSUS NONPRODUCTIVE KNOWLEDGE ACQUISITION IN EMBEDDED SOFTWARE DEVELOPMENT

2007 ◽  
Vol 17 (04) ◽  
pp. 539-556 ◽  
Author(s):  
SIMON L. WINBERG ◽  
STEPHEN R. SCHACH
Keyword(s):  
Pilot Study ◽  
Software Development ◽  
Knowledge Acquisition ◽  
Case Studies ◽  
Significant Proportion ◽  
Embedded Software ◽  
Learning Tasks ◽  
Development Costs ◽  
Event Chains ◽  
Future Work

Embedded software development involves many knowledge acquisition (KA) tasks that collectively account for a significant proportion of development costs. This paper presents a pilot study that used case studies to investigate the extent to which knowledge acquired in learning tasks was used in developing a final product. Data obtained from the case studies were used to construct event chains, which trace the amount of time spent on KA tasks and the types of knowledge acquired in individual learning tasks. Knowledge acquired was separated into three categories: knowledge of data, knowledge of process, and knowledge of innovation. Each top-level category was further partitioned into productive and nonproductive knowledge depending on whether the knowledge was, or was not used, in the construction of the final product. The event chains were processed to visualize the chronological progression of how knowledge acquired in the separate categories moved between subcategories of productive and nonproductive knowledge as development progressed. Results of this analysis show trends in KA for the case studies investigated, which we plan to use in the design of future work on this topic.

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.

Using aspects for testing of embedded software: experiences from two industrial case studies

2013 ◽  
Vol 22 (2) ◽  
pp. 185-213 ◽  
Author(s):  
Jani Metsä ◽  
Shahar Maoz ◽  
Mika Katara ◽  
Tommi Mikkonen
Keyword(s):  
Case Studies ◽  
Embedded Software
Sign in / Sign up

Export Citation Format

Share Document