Model-Based Testing Design for Embedded Automotive Software

Mjeda, Anila; McElligott, Pat; Ryan, Kevin; Thiel, Steffen

doi:10.4271/2009-01-0151

Cited by 4 publications

(4 citation statements)

References 13 publications

(15 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The validation functions can be integrated into Simulink models to run simulations. Mjeda et al [83] apply AVF in addition to CTM/ES. Both processes are executed in parallel to create test cases, which are combined to evaluate each other.…”

Section: ) Classification-tree Methods (Ctm)mentioning

confidence: 99%

Survey of Model-Based Security Testing Approaches in the Automotive Domain

2023

View full text Add to dashboard Cite

Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical systems. As a result of the high number of different technologies and connectivity features involved, testing these systems to identify security vulnerabilities is a big challenge. Security testing techniques, such as penetration testing, are often manual methods that are applied comparatively late in the vehicle development process. Thus, vulnerabilities are only detected late or after development, leading to higher costs and more patching effort. To reduce the amount of testing resources in general and enable early and automated testing, modelbased testing methods have been established in several domains, such as information technology and the automotive domain. The transfer of model-based testing approaches to automotive security testing could help to detect vulnerabilities earlier than other, manual methods by automatically generating, executing, or simulating security tests. In this study, we review the literature on model-based test approaches in the automotive domain. First, we consider security-independent approaches to obtain an overview of applied models, formalisms, test selection criteria, and test generation techniques. In addition, we investigate, whether and how model-based approaches are applied for automotive security testing. Overall, we identified 63 publications related to model-based testing and 29 publications with regard to model-based security testing. The aim of this study is to provide an overview and direct comparison between these approaches. In this manner, the state of model-based security testing in the automotive domain, current challenges, and potential research areas are determined. INDEX TERMSAutomotive security, model-based testing, model-based security testing.

show abstract

Section: ) Classification-tree Methods (Ctm)mentioning

confidence: 99%

Survey of Model-Based Security Testing Approaches in the Automotive Domain

2023

View full text Add to dashboard Cite

show abstract

“…During the test run, test cases are generally executed in sequential order. The testing design of the classification tree method has been widely used for embedded systems [12], embedded automotive systems [12,22,[26][27][28] and web applications [29] in terms of functional requirements. In addition, "Modbat" and Microsoft's "Spec Explorer" are also model-based test case generating tools.…”

Section: Related Workmentioning

confidence: 99%

Extended Covering Arrays for Sequence Coverage

et al. 2018

View full text Add to dashboard Cite

Although combinatorial testing has been widely studied and used, there are still some situations and requirements that combinatorial testing does not apply to well, such as a system under test whose test cases need to be performed contiguously. For thorough testing, the testing requirements are not only to cover all the interactions among factors but also to cover all the value sequences of every factor. Generally, systems under test always involve constraints and dependencies in or among test cases. The constraints among test cases have not been effectively specified. First, we introduce extended covering arrays that can achieve both t-way combinatorial coverage and t-wise sequence coverage, and propose a clocked computation tree logic-based formal specification method for specifying constraints. Then, Particle Swarm Optimization (PSO) based Extended covering array Generator (PEG) is elaborated. To evaluate the constructed test suites, a method for verifying the constraints' validity is presented, and kernel functions for measuring the coverage are also introduced. Finally, the performance of the proposed PEG is evaluated using several sets of benchmark experiments for some common constraints, and the feasibility and usefulness of PEG is validated.

show abstract

“…The first concept is a generation of test cases using algorithm, e.g., random generation, genetic algorithm and evolutionary algorithm [6]. More than one test coverage can be adopted to measure the adequacy of the test cases.…”

Section: B Testing Selection Criteriamentioning

confidence: 99%

A study on test automation of IVN of intelligent vehicle using model-based testing

Han

Son

Cho

2013

2013 Fifth International Conference on Ubiquitous and Future Networks (ICUFN)

View full text Add to dashboard Cite

To certify complex functionality of intelligent vehicle, functional testing is critical parts of development process. For practical testing, well-defined test suites which have wide test coverage and appropriate number of test cases are mandatory. Model-based testing is a kind of black box testing that test suites are derived from model of SUT and automatically executed by modelbased testing tool. Also, test cases can be generated automatically with test sequence generation. For test automation of IVN of intelligent vehicle, several transition-based models and test suites which derived from practical test sequence generation strategy are developed. Also, test reports are generated automatically to analyze test results via IVN testing tool. To model the intelligent front lamp system, MATLAB/Simulink stateflow was used. Test sequence generation using TT (transition tour) can assure test coverage and reduce functional testing time. For actual IVN testing, Vector CANoe which supports IVN simulation and testing of actual bus was used. The test cases of CANoe are derived from the result of TT so that the test suite can assure the test coverage also.

show abstract

Model-Based Testing Design for Embedded Automotive Software

Cited by 4 publications

References 13 publications

Survey of Model-Based Security Testing Approaches in the Automotive Domain

Survey of Model-Based Security Testing Approaches in the Automotive Domain

Extended Covering Arrays for Sequence Coverage

A study on test automation of IVN of intelligent vehicle using model-based testing

Contact Info

Product

Resources

About