Auf der embedded world 2020 in Nürnberg geht es vom 25. bis 27. Februar 2020 mal wieder nur um Embedded-Systeme und die Neuheiten am Markt. Razorcat ist natürlich mit dabei – mit der jüngsten Version unseres Unittestwerkzeugs TESSY und unseren weiteren erfolgreichen Werkzeugen für das automatisierte Testen von Embedded-Software im Verifikationspfad.
Besuchen Sie Razorcat in Halle 4 / 4-434 und nutzen Sie unseren kostenlosen Gutscheincode 424734, den sie hier einlösen können.
Als Weltneuheit präsentieren wir in diesem Jahr eine neuartigen Funktion "Mutation Test" zur automatischen Qualitätsanalyse von Unit- und Komponenten-Tests im Preview von TESSY 4.3.
Der neue Mutation Test in TESSY – auch „Test the Test” genannt – überprüft automatisiert die Fehlererkennungsfähigkeit bestehender Testfälle. Damit verbessert diese einzigartige Funktion den Review von Testmethoden und Testqualität, wie er in den Normen für Funktionale Sicherheit (IEC 61508, IEC 62304, ISO 26262 und EN 50128) vorgeschrieben ist und reduziert den manuellen Aufwand erheblich. Der Mutation Test verändert minimal („mutiert“) den zu testenden C/C++-Quellcode an fehlersensiblen Stellen und baut damit typische Programmierfehler ein. Erkennen die Unit- und Integrationstests den Fehler, werden diese Tests als nützlich bewertet. Eine Nichterkennung deutet auf schwache Testfälle hin und der Mutation Test gibt Hinweise, wo die Testfälle optimiert und eine bessere Qualität beim Testen erreicht werden kann. Mit dieser einzigartigen Methode lassen sich Tests einfach und automatisiert qualitativ bewerten. Der objektive Qualitätsnachweis der Unit- und Integrationstests kann auch für eine weitere Zertifizierung der Embedded-Software für Sicherheitsanwendungen genutzt werden.
TESSY 4.3 bietet außerdem weitere Features wie einen deutlich verbesserten Konfigurations-Editor TEE, der nun als neue Perspektive vollständig in TESSY integriert ist.
Neben TESSY und CTE präsentieren wir Ihnen auch unsere Zertifizierungs- und Systemtestwerkzeuge ITE (Integrated Test Environment) und CCDL (Check Case Definition Language). Mit einem Aufzug-System-Demonstrator präsentieren wir wie einfach ein System- oder HIL-Test mit CCDL definiert und automatisiert durchgeführt werden kann. ITE erzeugt dabei alle notwendigen Testergebnisberichte die direkt zur Zertifizierung genutzt werden können.
Sie haben keine Zeit die Tests selber durchzuführen oder wollen mit unabhängigen Tests die Qualität Ihrer Software prüfen? – Kein Problem, unser Testteam unterstützt Ihre Testprojekte und berät Sie gerne, treffen Sie uns an unserem Stand 4-434!
Razorcat ist ebenso auf der embedded world Conference mit einem Vortrag vertreten:
Test the Test – Enhanced Test Quality with Mutation Testing Session 6.4: Software Engineering IV Software Testing & Debugging I
Deutsch
de
English
en