Software-Qualitätssicherung nach ISO 26262
Zweigüberdeckung auch bei optimiertem Code ermitteln
Die Qualitätssicherung von Software in elektronischen Steuergeräten nach der ISO-Norm 26262 ist in der Praxis oft ziemlich schwierig. Vor allem bei echtzeitkritischen Multicore-Systemen stoßen kontrollflussorientierte Verfahren auf Basis von…