Model-based testing of embedded systems in hardware in the loop environment

Keränen, Janne S.; Räty, Tomi

doi:10.1049/iet-sen.2011.0111

Cited by 24 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We illustrate this with one case study from the automotive industry. There is signifficant interest for time-domain model-checking of a steering box control [19,25] and a gear box control [22]. In achieving this case study, we show how LLFSMs are capable of emulating timed-automata [3], which in itself is another major contribution, since this enables the tools utilising LLFSMs to also perform formal verification in the time domain (and not only in the value domain).…”

Section: Introductionmentioning

confidence: 90%

Models Testing Models in Continuous Integration of Model-Driven Development

Estivill‐Castro

Hexel

Stover³

2015

Software Engineering and Applications/ 831: Advances in Power and Energy Systems

View full text Add to dashboard Cite

We propose to test software models with software models. Model-Driven Software Development proposes that software is to be constructed by developing high-level models that directly execute or generate most of the code. On the other hand, Test-Driven development proposes to produce tests that validate the functionality of the code. This paper brings both together by using Logic-Labeled Finite-State Machines to deploy executable models of embedded systems and also to configure the corresponding tests. The advantage is a much more efficient validation of the models, with more robust and durable representations, that ensure effective and efficient quality assurance throughout the development process, saving the costly exercise of formal model-checking until the system is complete enough to meet all requirements.

show abstract

Section: Introductionmentioning

confidence: 90%

Models Testing Models in Continuous Integration of Model-Driven Development

Estivill‐Castro

Hexel

Stover³

2015

Software Engineering and Applications/ 831: Advances in Power and Energy Systems

View full text Add to dashboard Cite

show abstract

“…There also exist several case studies (Keranen and Raty 2011;Lindvall et al 2015) where the effectiveness of MBT is evaluated with a special focus on embedded, safety-critical systems. Some of the proposed MBT techniques are extensively evaluated also for other application domains with large case studies .…”

Section: Related Workmentioning

confidence: 99%

Model-based testing of digital TVs: an industry-as-laboratory approach

Sözer

Gebizli

2016

Software Qual J

View full text Add to dashboard Cite

Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still challenges regarding its application in different domains. Some of these challenges are general, while some others are domainspecific. In this paper, we explain our experiences in enhancing model-based testing for its adoption in the consumer electronics domain, in particular for Digital TV systems. We applied the so-called industry-as-laboratory approach to define/refine research problems and evaluate our research results. We summarize these results and provide an evaluation of relevant research problems for our context. We observed that the industry-as-laboratory approach is highly effective for industry-academia collaboration and technology transfer in the scope of model-based software testing.

show abstract

“…For example, [38] is an informal survey of test methods for embedded systems. [39] is a regular paper in which a comparison table of model-based testing tools for embedded systems is presented. [38] Software testing in critical embedded systems-a systematic review of adherence to the DO-178B Standard 2011 SLR in the focused areas of adherence to the DO-178B standard for critical embedded systems [37] Model-based testing of embedded systems in hardware in the loop environment 2012 [43]…”

Section: Related Work: Other Review Studies In the Area Of Testing Ementioning

confidence: 99%

Testing embedded software: A survey of the literature

Garousi

Felderer

Karapıçak

et al. 2018

Information and Software Technology

View full text Add to dashboard Cite

Context: Embedded systems have overwhelming penetration around the world. Innovations are increasingly triggered by software embedded in automotive, transportation, medical-equipment, communication, energy, and many other types of systems. To test embedded software in an effective and efficient manner, a large number of test techniques, approaches, tools and frameworks have been proposed by both practitioners and researchers in the last several decades. Objective: However, reviewing and getting an overview of the entire state-of-the-art and the-practice in this area is challenging for a practitioner or a (new) researcher. Also unfortunately, as a result, we often see that many companies reinvent the wheel (by designing a test approach new to them, but existing in the domain) due to not having an adequate overview of what already exists in this area. Method: To address the above need, we conducted and report in this paper a systematic literature review (SLR) in the form of a systematic literature mapping (SLM) in this area. After compiling an initial pool of 588 papers, a systematic voting about inclusion/exclusion of the papers was conducted among the authors, and our final pool included 312 technical papers. Results: Among the various aspects that we aim at covering, our review covers the types of testing topics studied, types of testing activity, types of test artifacts generated (e.g., test inputs or test code), and the types of industries in which studies have focused on, e.g., automotive and home appliances. Furthermore, we assess the benefits of this review by asking several active test engineers in the Turkish embedded software industry to review its findings and provide feedbacks as to how this review has benefitted them. Conclusion: The results of this review paper have already benefitted several of our industry partners in choosing the right test techniques / approaches for their embedded software testing challenges. We believe that it will also be useful for the large worldwide community of software engineers and testers in the embedded software industry, by serving as an "index" to the vast body of knowledge in this important area. Our results will also benefit researchers in observing the latest trends in this area and for identifying the topics which need further investigations.

show abstract

Model-based testing of embedded systems in hardware in the loop environment

Cited by 24 publications

References 18 publications

Models Testing Models in Continuous Integration of Model-Driven Development

Models Testing Models in Continuous Integration of Model-Driven Development

Model-based testing of digital TVs: an industry-as-laboratory approach

Testing embedded software: A survey of the literature

Contact Info

Product

Resources

About