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.

 

Testwell CTC++ Test Coverage Analyser: Version 7.3.3 verfügbar

Testwell CTC++   (Offenburg/Deutschland, Tampere/Finnland, 18. Mai 2015)

Verifysoft und Testwell geben die Verfügbarkeit von Testwell CTC++ Version 7.3.3 für Windows bekannt. Die Version 7.3.3 ist eine Vorabversion von Testwell CTC++ 7.4 für ausgewählte Kunden.
Testwell CTC++ ist das führende Code Coverage Tool zur Analyse der Testabdeckung in allen embedded Targets und mit allen Compilern.
Version 7.3.3 verfügt über folgende neue Features:

  • HTML-Report mit Line-Coverage-Informationen
  • Einführung eines Annotation-Konzepts zur Kommentierung der Coverage-Reporte.

 


Mit mehr Führungs- und Kommunikationskompetenzen zu erfolgreichen IT-Projekten: Praxis-Training mit Pierre Michel Ernest startet am 21.09.2015

Pierre Michel Ernest, Exzellent Trainieren
Pierre Michel Ernest, Kopf von "Exzellent Trainieren"
Kennen Sie das? Unklare Kundenanforderungen, längst überfällige Entscheidungen werden vom Kunden nicht getroffen, die Kommunikation im Team läßt zu wünschen übrig, die Teammitglieder stöhnen unter hoher Arbeitslast, die Stimmung im Team wird immer schlechter und die Projektkosten laufen aus dem Ruder ...
In unserem Praxis-Training für IT-Projektleiter und Entscheidungsträger mit Pierre Michel Ernest (Geschäftsführer von "Exzellent Trainieren" und Dozent für Management an den Hochschulen Offenburg und Karlsruhe) lernen Sie wie Sie Projektmitarbeiter konkret motivieren und zu Höchstleistungen führen, interne Probleme frühzeitig erkennen, die Weichen für einen erfolgreichen Projektverlauf stellen und wie Sie Kundenwünsche in Einklang mit der angebotenen Leistung bringen.
Das Praxis-Training startet am 21. und 22.09. im Technologiepark Offenburg. Weitere Termine des viertägigen Seminars sind der 11.11. sowie der 10.12.2015.
Um exzellente Trainingsergebnisse zu erzielen ist die Anzahl der Plätze begrenzt. > Jetzt anmelden!    [PDF]  Seminarflyer

 

 

GrammaTech arbeitet an einer Advanced Analysis Engine zur automatischen Code-Korrektur (PLINY-Projekt der DARPA)

(Ithaca/New York, 30. April 2015)

GrammaTech hat Arbeiten am PLINY-Projekt begonnen. Dieses Projekt, an dem auch drei amerikanische Universitäten mitarbeiten, soll automatisch Programmierfehler aufdecken und Bug-Fixes vorschlagen. PLINY ist Teil des "Mining and Understanding Software Enclaves"-Programms (MUSE) der DARPA (Defense Advanced Research Projects Agency).
Das Projekt soll mehrere Milliarden Codezeilen von Open-Source-Software durchsuchen und eine Datenbank mit deren Eigenschaften, Verhaltensweisen und Schwachstellen aufstellen.
Zur Bewerkstellung dieser Aufgabe greift das PLINY-Projekt auf das statische Codeanalysetool GrammaTech CodeSonar zurück. CodeSonar ist außergewöhnlich skalierbar, also zur Analyse von sehr großen Programmen geeignet und deckt darüber hinaus subtile Programmeigenschaften auf.     > weitere Information

 


Elvior TestCast T3 Version 6.8.3 herausgegeben

(Tallin/Estland, Offenburg/Deutschland, 28. April 2015)

Elvior hat die Version 6.8.3 von TestCast T3 mit folgenden neuen Features herausgegeben:

  • TCI helper: timeout for TCI DLL calls allowing detection of problems in external TCI implementation
  • Logging of TCI and TRI trace - enhanced problems detection in TCI and TRI implementation
  • Go to line functionality for log lines created by a log statement

 


VDC-Studie: 40% der embedded Software-Projekte verspätet

(Ithaca/New York, 15. April 2015)

Gemäß der von GrammaTech gesponsorten VDC-Studie "Software Quality and Security Challenges from Rapid Rise of Third-Party Code" berichten mehr als 40% der Entwickler über Terminverzögerungen bei embedded Softwareprojekten. Um Liefertermine einzuhalten, nutzen Entwicklungsteams trotz potentieller Probleme und Sicherheitsschwachstellen auch in Medizintechnik, Luft-/Raumfahrt, Automotive und Transport Fremdcode. In allen Industrien ist ein weiterer Anstieg der Nutzung von Third-Party-Code zu erwarten.
Quellcode-Analyse zur Aufdeckung von Fehlern und Sicherheitslücken ist bei Fremdcode nur dann möglich, wenn der Source-Code vorliegt. Sollte dieser nicht verfügbar sein, bietet die Binärcode-Analyse von GrammaTech Abhilfe. Diese Analyse liefert Qualitätsaussagen auf der Basis der Binarys des Fremdcodes.
Die Wichtigkeit einer automatisierten Testsuite zur statischen Analyse von Quell- und Binärcode wird durch die Tatsache unterstrichen, dass der Umfang von embedded Software doppelt so schnell steigt, wie die Anzahl der Softwareentwickler in diesem Bereich. Die Studie steht bei GrammaTech zum Download bereit.

 


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: 19 May 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.