Veröffentlichung der Version 9.0 für Testwell CTC++

Verifysoft Technology GmbH veröffentlicht eine neue Version des Code Coverage Tools Testwell CTC++. Die Version 9.0 steht ab sofort allen Kunden zum Download bereit. Das Update bietet neben Optimierungen unter anderem folgende Neuerungen:
Unterstützung von Objective-C
Die Erweiterung Objective-C der Sprache C, die insbesondere auf macOS und iOS zum Einsatz kommt, wird nun von Testwell CTC++ unterstützt.
Erkennung von kompilierzeit-konstanten Ausdrücken
Für boolesche Ausdrücke wird die Erkennung, ob ihr Wert zur Kompilierzeit schon feststeht, stark verbessert. Damit werden die Fälle einer inhaltlich unnötigen Abdeckungsmessung deutlich reduziert.
Weitere Details finden Sie in den Releasenotes.
Fragen Sie hier Ihre Evaluationslizenz für Testwell CTC++ 9.0 an.

Jetzt zum 6. Static Code Analysis Day am 5. März 2019 anmelden und von hervorragenden Vorträgen profitieren

Am 5. März 2019 veranstaltet Verifysoft zum sechsten Mal in Offenburg den Static Code Analysis Day.
In Ihren Vorträgen erläutern die Experten, wie man die Produktivität und Qualität von Software durch den Einsatz der statischen Codeanalyse steigern kann.
Themen der Vorträge des 6. Static Code Analysis Days sind Machine Learning for Finding Programming Defects and Anomalies sowie eine Vorstellung der neusten Version des statischen Analysetools CodeSonar (Dr. Paul Anderson, Vice President of Engineering, GrammaTech, New York), Verbesserung der Zuverlässigkeit, Sicherheit, Performance und Wartbarkeit von Applikationen durch statische Analyse (Dipl.-Ing. (FH) Royd Lüdtke, Direktor für statische Analysetools, Verifysoft Technology GmbH, Offenburg), Semantic Static Analysis of IoT Software (Dr. Pietro Ferrara, Head of Research and Development, JuliaSoft, Verona/Italy) und The Julia Static Analyzer (Sanna Kallio, Marketing & International Sales, JuliaSoft and Dr. Pietro Ferrara, Head of Research and Development, JuliaSoft, Verona/Italy).
In dem Vortrag Das Kind ist in den Brunnen gefallen (M.Sc. Jan-David Baltzer, Static Code Analysis, Verifysoft Technology Offenburg) geht es dann noch um die allgemeine Frage "Wie verstehe ich Software ausschließlich anhand ihres Quellcodes?"
Da die Plätze begrenzt sind und auch dieses Mal mit zahlreichen Teilnehmern gerechnet wird, empfehlen wir eine rechtzeitige Anmeldung.
Weitere Informationen und Anmeldung zum Static Code Analysis Day hier.

Erweitertes Seminarprogramm 2019 - frühzeitig anmelden und sparen

Das Seminarangebot von Verifysoft Technology wächst aufgrund der Nachfrage weiter. Im Jahr 2019 kommen wieder neue Seminare hinzu. Im zweitägigen Seminar Testen von Embedded Software werden notwendige Kenntnisse vermittelt, um qualitativ hochwertige und zuverlässige Embedded Systems effizient und effektiv testen zu können.
Im Rahmen der Schulung Software Entwicklung nach IEC 61508 erhalten die Teilnehmer einen kompakten Überblick über den Gesamtinhalt der Norm vorgestellt.
Während des eintägigen Seminars Requirements Engineering auf den Punkt gebracht lernen die Teilnehmer selbst gute Requirements zu schreiben. Sie bekommen eine langjährig, erprobte Checkliste.
Sehen Sie hier die Termine. Alle Seminare sind auch als Inhouse Schulungen buchbar. Hierzu können Sie uns gerne kontaktieren. Anmeldungen zu den Seminaren sind ab sofort zum Frühbucherpreis möglich.
Geben Sie bei Ihrer Anmeldung den Code "Newsletter0518" an uns sparen Sie zusätzlich 10% (nicht gültig für Inhouse Seminare).

Angriffssicherheit (Security): Testwell CTC++ hilft bei der Auswertung von Penetration Tests

Penetration Tests helfen dabei, Sicherheitslücken in Software und Systemen aufzudecken. Die Auswertung dieser Tests lässt sich deutlich vereinfachen, wenn während des Penetrationstests die Code-Abdeckung gemessen wird. Das (Ideal-)Ziel ist dabei das Gegenteil der für die funktionale Sicherheit üblichen klassischen 100%-Coverage: Möglichst wenige Teile der Software sollen unter dem Penetrationstests zur Ausführung kommen.
Auf dem Embedded Software Engineering Kongress (ESE) in Sindelfingen wurde gezeigt, wie der Code Coverage Analyser Testwell CTC++ nicht nur für die Safety, sondern auch effizient für Security-Themen eingesetzt werden kann. Entwickler können mit dem vorgestellten Ansatz schneller und einfacher die Ergebnisse von Penetration Tests nachvollziehen, notwendige Arbeitsschritte ableiten und deren erfolgreiche Umsetzung im Retest prüfen.
Jetzt im Video mehr erfahren.

Dissassembler - ein wertvolles Werkzeug in CodeSonar for Binaries

Nach Erhebungen von VDC Research binden etwa 43% aller Software-Projekte Third-Party-Komponenten ein. Da diese oft nur als Binärdateien vorliegen und der zugehörige Quellcode nicht zur Verfügung steht, ist eine Qualitätsbeurteilung nicht gerade einfach. GrammaTech hat dieses Problem erkannt und ermöglicht mit "CodeSonar for Binaries" erstmals über den Quellcode hinaus die statische Analyse auch auf Binärdateien anzuwenden. Die erkannten Probleme werden im Assembler-Listing ausgewiesen und umfangreich erläutert. Es ist so möglich Fehler auch direkt in der Binärdatei zu beheben. Vielfach ist es dennoch für einen C/C++-Programmierer nicht immer einfach ein von CodeSonar aufgedecktes Problem im Assembler-Code zu verstehen. Optional bietet GrammaTech als Bestandteil der aktuellen CodeSonar Edition 5.0 daher einen Disassembler als Hilfswerkzeug an. Dieser wandelt die Binärsequenz in aussagekräftigen C-Quellcode und vereinfacht damit dem Auswertenden die Qualifizierung der gemeldeten Probleme.

Termine

• Static Code Analysis Day
Dienstag, 5. März 2019
• Seminar: Effiziente Unit-Tests für Embedded Systeme
Mittwoch, 27. März 2019
• Testwell CTC++ Training
Donnerstag, 28. März 2019
• Seminar: Requirements Engineering auf den Punkt gebracht
Mittwoch, 8. Mai 2019
Mittwoch, 9. Oktober 2019
• Seminar: Software Entwicklung nach IEC 61508"
Di u. Mi 21. - 22. Mai 2019
Di u. Mi 12. - 13. November 2019
• Seminar "Testen von Embedded Software"
Mi u. Do 10. - 11. Juli 2019
Di u. Mi 12. - 13. November 2019

Messen
• Software Quality Days 2019
15. - 18. Januar 2019 in Wien
• Embedded World 2019
26. - 28. Februar 2019 in Nürnberg
• Embedded Testing 2019
02. - 04. Juli 2019 in München