logo
Verifysoft Technology Newsletter Testing Solutions for your Productivity and Software Quality

No. 05/2018     Dezember 2018      

Lesen Sie in diesem Newsletter:

1 -Veröffentlichung der Version 9.0 für Testwell CTC++
2 -Jetzt zum 6. Static Code Analysis Day am 5. März 2019 anmelden und von hervorragenden Vorträgen profitieren
3 -Erweitertes Seminarprogramm 2019 - frühzeitig anmelden und sparen
4 -Angriffssicherheit (Security): Testwell CTC++ hilft bei der Auswertung von Penetration Tests
5 -Dissassembler - ein wertvolles Werkzeug in CodeSonar for Binaries
6 -2018
7 -Termine
Testwell CTC++ 9.0

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.
SAD 2019

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.
Von der Melkmaschine bis zum Airbus

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).
Penetration Tests und Code Coverage

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.
CodeSonar for Binaries

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.

2018

Verifysoft Technology wird das Jahr 2018 mit einem neuen Rekordumsatz abschließen und ist jetzt bei knapp 600 Kunden in 37 Ländern auf allen Kontinenten vertreten. Wir sind stolz darauf, dass wir auch im ablaufenden Jahr dazu beitragen konnten, die Qualität und Sicherheit von Software zu verbessern. Da wir alle täglich mit Software zu tun haben, freuen wir uns, dass wir durch unsere Arbeit einen Beitrag zur Sicherheit und Lebensqualität aller leisten durften. Das Verifysoft-Team bedankt sich bei allen Kunden, Partnern und Lieferanten für die gute Zusammenarbeit im Jahr 2018.
Wir wünschen Ihnen und Ihren Familien frohe Festtage und alles Gute für das neue Jahr.
Für 2019 freuen wir uns auf die Fortführung unserer guten Zusammenarbeit.
Ihr Verifysoft-Team
Verifysoft Team
Verifysoft Events

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

Folgen Sie uns auf:

Youtube
Twitter
LinkedIn
Wir wünschen Ihnen Fröhliche Weihnachten und einen Guten Rutsch ins Neue Jahr!

Mit freundlichen Grüßen,
-
Klaus Lambertz
Geschäftsführer
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg
URL: https://www.verifysoft.com

Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz

Newsletter-Anmeldung / Newsletter-Archiv


Newsletter-Archiv

Hier zum Newsletter anmelden