Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems

Lasalle, Jonathan; Peureux, Fabien; Guillet, Jérôme

doi:10.1145/2002931.2002934

Cited by 8 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various approaches to MBTCC employ SCs or sequence diagrams as input models . Furthermore, other concepts employing ADs as input models for MBTCC do not support concurrency at all . Besides the target on the language usage, other approaches presented different tools to support and to facilitate MBT, which include, for instance, the tool MBTsuite .…”

Section: Related Workmentioning

confidence: 99%

“…[37][38][39] Furthermore, other concepts employing ADs as input models for MBTCC do not support concurrency at all. [40][41][42] Besides the target on the language usage, other approaches presented different tools to support and to facilitate MBT, which include, for instance, the tool MBTsuite. 54 It employs ADs for test case creation and it is capable of exporting these ADs into a variety of different outputs.…”

Section: Related Workmentioning

confidence: 99%

“…An MBTCC approach seems beneficial and applicable to SMArDT's formalized SysML models. However, existing approaches to automatic test case generation do not suffice to fulfill project‐specific requirements on the modeling language. This is due to the fact that (1) within SMArDT's second layer, data types are not yet specified but no extra testing diagram is created for test case creation.…”

Section: A Smardt Approach To Mbtcc For Automotive Software Testingmentioning

confidence: 99%

See 2 more Smart Citations

SMArDT modeling for automotive software testing

et al. 2018

View full text Add to dashboard Cite

Summary Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error‐prone. Model‐based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model‐based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: A Smardt Approach To Mbtcc For Automotive Software Testingmentioning

confidence: 99%

See 1 more Smart Citation

SMArDT modeling for automotive software testing

et al. 2018

View full text Add to dashboard Cite

show abstract

“…An oracle procedure compares its results with the SUT outcomes and report an error if there is an unacceptable difference between them. For instance, Lasalle et al (2011) apply a Simulink model as oracle information and its simulation calculates the expected results of a vehicle reaction with respect to the road characteristics when steering.…”

Section: Specification-based Oraclesmentioning

confidence: 99%

Test oracles for simulink-like models

2016

View full text Add to dashboard Cite

The design of embedded systems is often supported by the definition of executable models for tools like Matlab/Simulink or Scilab/Xcos. These models play a pivotal role in the development process and their correctness is thus extremely important. Many different solutions exist for the definition of suitable tests to â\u80\u9cexerciseâ\u80\u9d these models, but only a few (partial) solutions exist for assessing the quality of execution (simulation) results, that is, for defining suitable oracles. This paper addresses the problem and proposes a formal language for specifying the oracles and relating them to existing models. It also presents Apolom, a prototype tool for checking simulation results against stated oracles. The empirical assessment we conducted to assess the viability of the proposed solution is organized around four case studies and witnesses interesting results in terms of effectiveness, efficiency, and required resources

show abstract

“…A short videotape, describing and exemplifying the toolchain with this case study (including SysML model description), is available in [20]. Finally, more details about modelling and testing techniques can be found in [12]. …”

Section: Fig 6 Clemessy Testinview Interfacementioning

confidence: 99%

Development of an automated MBT toolchain from UML/SysML models

Lasalle

Peureux

Fondement

2011

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

International audienceThis paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts

show abstract

Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems

Cited by 8 publications

References 3 publications

SMArDT modeling for automotive software testing

SMArDT modeling for automotive software testing

Test oracles for simulink-like models

Development of an automated MBT toolchain from UML/SysML models

Contact Info

Product

Resources

About