News

[English][Français]
Links auf weitere News:

Firma     Conformiq Tool Suite     CMT++/CMTJava     CTC++/CTC for Java and C#     Elvior TestCast     GrammaTech     QMetry     Software Diagnostics     Events/Seminare     ALLE NEWS

 

Verifysoft-Newsletter-01.jpg  
Sie möchten in Zukunft (ca. 2-4 mal jährlich) über Entwicklungen von Verifysoft informiert werden?
Kein Spam, keine Weitergabe Ihrer Daten an Dritte!
Bleiben Sie informiert, abonnieren Sie unseren Newsletter hier

Newsletter hier lesen.

 

Zahlreiche Teilnehmer und hochkarätige Vorträge beim Static Code Analysis Day 2015

Static Analysis Day
Static Analysis Day: Prof. Dr. Fischer
  (Offenburg, 3. März 2015)

Volles Haus beim Static Code Analysis Day am 3. März 2015 von Verifysoft im Technologiepark Offenburg. Wie bereits im Vorjahr wurde bei der 2. Ausgabe des "Tages der Statischen Codeanalyse" hochkarätiger Wissenstransfer geboten.
Professor Dr. Fischer von der Hochschule Offenburg gab mit seinem Vortrag über Softwarequalitätssicherung eine Einführung in das Thema. Auf besonderes Interesse stieß der "Wegweiser zur Auswahl eines Werkzeuges zur Statischen Codeanalyse" von Royd Lüdtke (Leiter der Abteilung Statische Codeanalyse bei Verifysoft). Dr. Paul Anderson (Vice President of Engineering bei GrammaTech New York) referierte über die Prüfung von MISRA C-Regeln mit GrammaTech CodeSonar. Zu sehen war auch eine Demo dieses "Advanced Static Analysis Tools" sowie die Roadmap für die kommende Version des Werkzeugs.       > Bericht mit Präsentationsfolien

 


Static Code Analysis Day 2015 in Offenburg

Static Analysis Day   Erfahren Sie während des 2. Static Code Analysis Days am 3. März 2015 in Offenburg wie Sie durch Statische Codeanalyse kritische Fehler und Sicherheitslücken in Ihrer Software vermeiden.
Unsere anerkannten Spezialisten Professor Dr. Fischer (Offenburg), Dr. Paul Anderson (New York) sowie Dipl.-Ing. Royd Lüdtke zeigen erforderliche Maßnahmen zur Garantie höchster Softwarequalität in sicherheitskritischen Systemen. Sie sehen die Überprüfung von Programmierrichtlinien wie MISRA-C und das Aufdecken von Risikofaktoren wie Nebenläufigkeitsfehler.
Die für die Statische Codeanalyse erhältlichen Tools unterscheiden sich erheblich hinsichtlich Preis und Leistung. Um für Ihr Projekt die richtige Wahl zu treffen geben wir Ihnen Beurteilungskritierien zur Auswahl des geeigneten Werkzeuges an die Hand.
> Jetzt anmelden!     [PDF]   Seminarflyer

 


Besuchen Sie uns am 24.-26. Februar 2015 auf der Embedded World in Nürnberg

Embedded World logo   Besuchen Sie uns am 24.-26. Februar 2015 auf der Embedded World in Nürnberg. Informieren Sie sich über unsere Technologien und nutzen Sie die Chance ein 2-Tages-Seminar "Testen von Embedded Systems" (inkl. Hotelübernachtung) zu gewinnen.

Wir zeigen Ihnen, wie Sie
- Softwarequalität mit Statischer Codeanalyse entscheidend verbessern
- Anforderungen von Normen wie ISO 26262 und DO-178C in Bezug auf Code Coverage auch auf kleinsten Targets erfüllen
- Prozesse mit unserem Testmanagement-Tool effektiv überwachen
- zu komplexe Software erkennen, hohe Wartungskosten und Software-Erosion vermeiden

Wir freuen uns auf Ihren Besuch
Verifysoft Technology GmbH
Embedded World Nürnberg
Halle 4 Stand 328

 


2-Tages-Seminare "Testen von Embedded Software" 2015 in Offenburg und Berlin

Professor Dr. Daniel Fischer
Professor Dr.-Ing. Daniel Fischer
  Verifysoft bietet in diesem Jahr das 2-Tages-Seminar "Testen von Embedded Software" mit Professor Dr. Daniel Fischer in Offenburg (11.+12.03. bzw. 18.+19.11.2015) und Berlin (15.+16.06.2015) an.
Das umfangreiche Programm beinhaltet unter anderem grundlegende Testprinzipien, Normen (DO-178C, IEC 61508, ISO 26262, ...), MISRA-Regeln, Metriken, Statische und dynamische Codeanalyse sowie wichtige Trends. Die Teilnehmer erhalten alle erforderlichen Informationen um embedded Software effizient testen zu können.
Seit 2008 zählt das Seminar zu den führenden Schulungen im deutschsprachigen Raum und erhält regelmäßig Bestnoten von den Teilnehmern. > Jetzt Platz sichern!

Übrigens: der Erfolg dieses Seminars war für uns Ansporn, auch in Frankreich Schulungen für den Test von embedded Software anzubieten. 2015 sind zwei Termine in Paris mit Professor Dr. Jean-François PRADAT-PEYRE (Universität Paris Ouest) geplant.

 


Testwell CTC++-Plugin für SonarQube™ verfügbar

SonarQube   (Offenburg/Deutschland, 16. Januar 2015)

Verifysoft gibt die Verfügbarkeit eines Testwell CTC++-Plugins für SonarQube™ bekannt.

Das Plugin ermöglicht den Import der Code-Coverage-Informationen von Testwell CTC++ in die SonarQube-Datenbank und deren Visualisierung über die SonarQube-Weboberfläche.
Es ist möglich, die Daten aller durch Testwell CTC++ analysierten Coverage-Stufen (bis hin zur MC/DC- und Multicondition-Coverage) in SonarQube zu importieren.
Testwell CTC++ und das SonarQube-Plugin kann für Quellcode in den Sprachen C, C++, Java und C# genutzt werden.
Weitere Informationen bzgl. des SonarQube-Plugins sind hier verfügbar.

 


Neue Version 6.8.1 von TestCast T3 verfügbar

(Tallinn/Estland, Offenburg/Deutschland, 9 Januar 2015)

Das Update von TestCast T3 enhält folgende neue Features:

  • Modifizierter Projekt-Explorer
  • Log-Ansicht: speichert Nachrichten-Binär-Inhalt in eine Datei
  • Im ASCI Modus der Log-Ansicht entdeckt und konvertiert UTF-8 Zeichen, sofern sie vorhanden sind
  • Laufzeitumgebungserstellung über die Kommandozeile
  TestCast T3 version 6.8.1

 


ISO 26262 konformes Testen mit qualifizierten Tools

 
ISO 26262 konformes Testen
  (Offenburg, 12. Dezember 2014)

In modernen Kraftfahrzeugen befinden sich eine Vielzahl hochgradig vernetzter Fahrzeugfunktionen, deren sicherheitsrelevante Aspekte nach der verbindlichen Norm ISO 26262 abzusichern sind. Wie ISO-konformes Testen bewerkstelligt wird, die dafür notwendigen funktionalen Tests erstellt werden und welche Abdeckungskriterien erfüllt werden müssen erfahren Sie am 23. April 2015 in Offenburg unserem Seminar „ISO 26262 konformes Testen mit qualifizierten Tools“. Darüber hinaus stellen wir Ihnen leistungsfähige Werkzeuge vor und geben Ihnen eine Einführung in die gemäß ISO 26262 geforderte Toolqualifizierung.
> Weitere Informationen

 


ESE-Kongress 2014: Interview mit Verifysoft-Geschäftsführer Klaus Lambertz

Klaus Lambertz ESE-Kongress   (Sindelfingen, Offenburg, 3. Dezember 2014)

In einem Interview der ELEKTRONIK PRAXIS / Vogel Business Media spricht Klaus Lambertz, Gründer und Geschäftsführer von Verifysoft, über den Einsatz von Code Coverage und Statischen Codeanalysetools in sicherheitskritischen Projekten.
Testwell CTC++ analysiert die Testabdeckung auf allen embedded Targets und kann für Zertifikationen nach DO178-C, ISO 26262 und anderen Normen eingesetzt werden. GrammaTech CodeSonar, ein statisches Analysetool welches eigens für den Einsatz in eingebetteter Software entwickelt worden ist, wurde kürzlich durch den SGS-TÜV Saar zertifiziert.
Das Interview wurde am 3. Dezember auf dem Software Engineering Kongress (ESE) in Sindelfingen aufgezeichnet. Lesen Sie den Artikel der Elektronik Praxis und sehen Sie das Interview hier.

 


 

News-Archiv:
2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003


last updated: 2 April 2015
© 2013-2015 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
Testwell CTA++, CTC++, CMT++ and CMTJava are tools and trademarks of Verifysoft Technology GmbH, Offenburg (Germany)
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are tools and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
CodeSonar is a tool and a registered trademark of GrammaTech Inc., Ithaca/New York (USA)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
QMetry is a product and a trademark of QMetry, Santa Clara (USA)
all other trademarks of this site are the property of their respective owners.