We propose a method tailored to the requirements of safety-critical
embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular
focus on the specification-based control logic of the system under test
and ...
This thesis proposes a new testing method called CTMCONTROL, which enhances the popular Classification Tree Method (CTM) by incorporating Modified Condition/Decision Coverage (MC/DC) capabilities. This brings the CTM closer ...
Process Modelling Language (PML) is a notation
for describing software development and business processes. It
takes the form of a shared-state concurrent imperative language
describing tasks as activities that require ...
Mjeda, Anila; Botterweck, Goetz(Technische Universität Berlin, Universitätsbibliothek, 2019)
In this position paper, we argue that more collaborative research is needed
to increase the use of research-led verification and testing techniques in industrialscale
projects. We focus on the a) practical applicability ...
The ever increasing complexity of embedded automotive software is not matched by the current development and test processes of automotive embedded software and the latter have become the limiting factor.
A model-based ...
