Requirement-centric Reactive Testing for Safety-Related Automotive Software

Mjeda, Anila; Hinchey, Michael G.

doi:10.1109/ret.2015.9

Cited by 4 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Simulation-based testing is the driving technology to verify and validate complex dynamic systems, such as Cyber-Physical Systems [1], [2]. In many domains, safety standards require test cases to be associated to requirements (e.g., the ISO 26262 standard on the automotive domain) [3]. As a result, a common practice is to derive test cases directly from requirements.…”

Section: Introductionmentioning

confidence: 99%

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

Arrieta¹,

Agirre²,

Sagardui³

2020

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

Simulation models are frequently used to model, simulate and test complex systems (e.g., Cyber-Physical Systems (CPSs)). To allow full test automation, test cases and test oracles are required. Safety standards (e.g., the ISO 26262) highly recommend that the test cases of systems like CPSs are associated to requirements. As a result, typically, test cases that need to cover specific requirements are manually generated in the context of simulation models. This is, of course, a time-consuming and non-systematic process. However, the current practice lacks tools that generate test cases by considering functional requirements for simulation-based testing. In this short paper we propose a Domain-Specific Language (DSL) for specifying requirements for simulation-based testing in an easy manner. These files are later parsed by an automatic test generation algorithm, which generates test cases that follow the ASAM-XiL standard. The tool was integrated with two professional tools: (1) SYNECT from dSPACE and (2) xMOD from FEV. An initial validation was also performed with an industrial simulation model from YASA motors.

show abstract

Section: Introductionmentioning

confidence: 99%

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

Arrieta¹,

Agirre²,

Sagardui³

2020

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

show abstract

“…This technique is suitable for complex industrial systems, such as embedded systems [45] and automotive software [35]. Using formal models for testing is required for certification of safety-critical systems [36].…”

Section: Introductionmentioning

confidence: 99%

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Marsso

Mateescu

Serwe

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We present TESTOR, a tool for on-the-fly conformance test case generation, guided by test purposes. Concretely, given a formal specification of a system and a test purpose, TESTOR automatically generates test cases, which assess using black box testing techniques the conformance to the specification of a system under test. In this context, a test purpose describes the goal states to be reached by the test and enables one to indicate parts of the specification that should be ignored during the testing process. Compared to the existing tool TGV, TESTOR has a more modular architecture, based on generic graph transformation components, is capable of extracting a test case completely on the fly, and enables a more flexible expression of test purposes, taking advantage of the multiway rendezvous. TESTOR has been implemented on top of the CADP verification toolbox, evaluated on three published case-studies and more than 10000 examples taken from the non-regression test suites of CADP.

show abstract

“…But, they are rather useful. Model Based Requirement Engineering and Model Based Testing reduce costs, testing times and defects injected [8]. Because of this, it is important to consider using models to further enhance the definition of the process.…”

Section: Introductionmentioning

confidence: 99%

Using SysML Modeling to Accurately Represent Automotive Safety Requirements

Gulias

Torreblanca

Aguilar

et al. 2016

2016 4th International Conference in Software Engineering Research and Innovation (CONISOFT)

View full text Add to dashboard Cite

Nowadays, software development innovations are heavily found in electronic control units for the automotive sector. Software in this sector has grown considerably, though, the number of vehicle recalls because of software defects has grown accordingly. Because of this situation, different proposals arise in the various phases of the software development life cycle which aim to prevent these defects. In this article, we focus on the automotive requirements section and present, based on ISO standard 26262 and the SysML modeling language, a guide to effective requirement writing, specification and modeling.

show abstract

Requirement-centric Reactive Testing for Safety-Related Automotive Software

Cited by 4 publications

References 4 publications

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Using SysML Modeling to Accurately Represent Automotive Safety Requirements

Contact Info

Product

Resources

About