logo


ESE Kongress

Bug-Hunting mit Statischer Codeanalyse: Vortrag auf dem ESE-Kongress gibt Überblick

(Sindelfingen/Deutschland, 5. Dezember 2013)

Der Fachvortrag "Bug-Hunting mit Statischer Codeanlyse" von Professor Dr. Daniel Fischer (Hochschule Offenburg) und Andreas Behr (Verifysoft Technology GmbH) auf dem Embedded Software Engineering-Kongress in Sindelfingen gab den zahlreichen Besuchern einen umfassenden Überblick über die verschiedenen Varianten der statischen Codeanalyse und zeigte, wie die "tickenden Zeitbomben" in der Software effizient aufgedeckt werden können.
Verifysoft war wie auch in den vergangenen Jahren auf dem diesjährigen ESE-Kongress wieder mit einem eigenem Stand vertreten und informierte über Code-Coverage auf kleinen Targets, Vermeidung von Software-Erosion und statische Codeanalyse. Unter allen Besuchern an unserem Messestand wurde ein 2-Tages-Seminar "Testen von Embedded Software" inkl. Hotelübernachtung verlost. > weitere Infos

Mehr Unterstützung für französischsprachige Kunden

(Offenburg/Deutschland, Paris/Frankreich, 27. November 2013)

Verifysoft begrüßt Olivier Casse als Regional Sales Manager mit Sitz in Paris. Ab Januar 2014 wird er unsere Kunden aus Frankreich, der französischsprachigen Schweiz und Belgien unterstützen. Olivier Casse hat mehr als 20 Jahre Berufserfahrung im technischen Verkauf von Embedded-Software-Tools für Software-Tool-Anbieter wie Wind River, Atego, Artisan, I-Logix usw. > Distributoren

Bits&Chips 2013 Embedded Systems s´Hertogenbosch (Niederlande): Code-Coverage auf kleinen Targets

(s´Hertogenbosch/Niederlande, 7. November 2013)

Bits&Chips Embedded Systems ist die führende Konferenz für Embedded Systeme in den Niederlanden. Verifysoft war in s´Hertogenbosch mit einem Messestand vertreten und hat über die "Vermeidung von Risiken und Erfüllung von Sicherheitsnormen mit Testwell CTC++" referiert. Die Präsentation ist jetzt online.
> weitere Infos über Bits&Chips Embedded Systems.

Mitgründer von GrammaTech zum Mitglied der Academia Europaea gewählt

(Ithaca, New York/USA, 24. Oktober 2013)

Dr. Thomas Reps, Präsident und Mitgründer von GrammaTech, ist zum Mitglied der führenden europäischen Akademie Academia Europaea gewählt worden. "Hiermit wird seine bahnbrechende Forschung über die automatische Programmanalyse und die EDV-Sicherheit geehrt. Die Grundlage dafür ist seine Arbeit an der Wisconsiner Universität und bei GrammaTech", erklärt Professor Dr. Dr. h.c. Reinhard Wilhelm von der Universität des Saarlandes in Saarbrücken, der selbst auch Mitglied der Akademie ist.
Ziel der Academia Europaea ist es, die höchstmöglichen Standards in Wissenschaft, Forschung und Bildung durch die Förderung interdisziplinärer und internationaler Forschung anzuregen.

TTCN-3 Test-Entwicklungs- und -Ausführungsplattform Elvior TestCast 6.7.3 verfügbar

(Tallinn/Estland, 16. September 2013)

Elvior hat die Version 6.7.3 der Testentwicklungs- und -ausführungplattform TestCast herausgegeben. Zu den neuen Features zählen TCI-TL-Support für Java und Support für TCI und TRI Version 4.5.1.

QMetry 5.5 Available

(Santa Clara/USA, 29 August 2013)

New features include: Implemented Broadcast Messaging to users help icon QMetry Release Notes, Added report "Test Case Execution By Date per User" help icon QMetry Release Notes, Added integration with Assembla defect tracker, Added delete function to the API help icon QMetry Release Notes, Added API to create a requirement, Added Precondition as a field that gets copied to the description field of JIRA help icon QMetry Release Notes, Added API for listing TestCases in a Test Suite, Added ability to save Advanced Boolean Searches to easily create TestSuites (Enterprise) help icon QMetry Release Notes, Added new Continuous Testing report (Enterprise) help icon QMetry Release Notes, Added report "TestCase Results By Tester Per Drop" (Enterprise) help icon QMetry Release Notes, Updated Test Suite Export (Enterprise) help icon QMetry Release Notes, Added Export on execution screen (Enterprise) help icon QMetry Release Notes, Added Role Rights to allow users to see other users tasks (Enterprise) help icon QMetry Release Notes, Added additional Save button to the Test Plan Module help icon QMetry Release Notes, Allow users to save import map as a private mapping, Added a Quick Start Video to help new users. There are also several other enhancements.

US Navy wählt GrammaTech für die Verbesserung der Softwaresicherheit

Ithaca (New York/USA), 19. August 2013

GrammaTech hat von der US Navy den Auftrag zur Entwicklung eines Tools bekommen, welches die Fähigkeit hat, böswillige Angriffe zu erkennen und hierauf zu reagieren. Die GrammaTech-Forscher werden in diesem Projekt eine Kombination von automatischer Programmanalyse und manuellen Tuningtechniken nutzen, um ein Modell des beabsichtigten Verhaltens der Software zu erstellen, seine wichtigsten Eigenschaften zu erfassen und die Ereignisse zu bestimmen, die verfolgt werden müssen. Das Werkzeug wird zusätzlichen Schutz für sicherheitskritische Systeme bieten.

TTCN-3 Test-Entwicklungs- und -Ausführungsplattform Elvior TestCast 6.7.2 erhätlich

(Tallinn/Estland, 2. August 2013)

Elvior hat Version 6.7.2 der Test-Entwicklungs- und -Ausführungsplattform TestCast herausgegeben. Zu den neuen Features zählen detailed mismatch report, detailed decoding analysis und log playback.

Verifysoft kündigt Testwell CTC++-Qualification-Kit für die Normen DO-178C, EN-50128, IEC 61508 und ISO 26262 an

(Offenburg, 14. Mai 2013)

Verifysoft kündigt ein Qualification-Kit für Testwell CTC++ an, welches die Sicherheitsnormen DO-178C, EN-50128, IEC 61508 und ISO 26262 abdeckt.
Das Qualification-Kit vereinfacht die Zertifizierung von embedded Software, deren Testabdeckung mit Testwell CTC++ analysiert wird. Das Kit für Testwell CTC++ wird Dokumentationen, Testfälle und Prozeduren enthalten, welche die Qualifizierung des Werkzeugs in sicherheitskritischen Projekten unterstützen.
CTC++-Nutzer und Firmen, die an einem Einsatz von Testwell CTC++ zur Analyse der Testabdeckung in sicherheitskritischen Projekten interessiert sind, können das Qualification-Kit bereits jetzt zum vorteilhaften Subskriptionspreis reservieren. > weitere Infos

Testwell CTC++ 7.1.2 verfügbar

(Tampere/Finnland, 13. Mai 2013)

Version 7.1.2 ist eine Bug-Fix-Version des führenden Test-Coverage-Tools Testwell CTC++. Es gibt weitere Verbesserungen im HTML-Report. Kunden mit gültiger Softwarewartung können die neue Version kostenlos herunterladen.

GrammaTech kündigt Integration von CodeSonar® in die Eclipse-IDE an

(Ithaca, New York/USA, 23. April 2013)

Das statische Code-Analyse-Werkzeug GrammaTech CodeSonar wird in die Eclipse-Entwicklungsumgebung integriert. Hierdurch können Entwickler Programmierfehler, die durch CodeSonar aufgedeckt worden sind, direkt in der Eclipse-Umgebung korrigieren.
Die statische Codeanalyse von CodeSonar wird direkt aus Eclipse heraus gestartet werden können. Fehler können dadurch schon vor dem Einschecken gefixt werden. Die Ergebnisse werden automatisch mit dem zentralen Server synchronisiert und erlauben somit eine effiziente Verwaltung der Korrekturaktivitäten. Wenn ein Nutzer beispielsweise eine Warnung mit einer hohen Priorität einstuft, wird dies für seine Kollegen sichtbar. Ebenfalls können Ergebnisse von verschiedenen Analyseläufen verglichen werden.
Das CodeSonar-Eclipse-Plug-In wird im Spätsommer verfügbar sein. Kunden mit gültiger Softwarewartung erhalten das Plug-In ohne Zusatzkosten.

Elvior gibt TestCast 6.7.1 heraus

(Tallinn/Estland, 18. April 2013)

Elvior hat Version 6.7.1 der Test-Entwicklungs- und -Ausführungsplattform TestCast mit folgenden Features herausgegeben:
  • TTCN-3:2013-Support
  • Configuration- und Deployment-Extension-Package-Support
  • Unterstützung für mehrere Skripten in einer Kampagne sowie für embedded Kampagnen
Informationen über alle Verbesserungen sind hier verfügbar.

Testwell CTC++ 7.1.1 verfügbar

(Tampere/Finnland, 9. April 2013)

Version 7.1.1 ist eine kleine Bug-Fix-Version des führenden Test-Coverage-Tools Testwell CTC++. Ebenfalls gibt es Verbesserungen im HTML-Report. Kunden mit gültiger Softwarewartung können die neue Version kostenlos herunterladen.

QMetry Announces Improved Agile Capabilities and Enhancements in Integration and Reporting Features in Release 5.4

(Santa Clara/USA, 26 February 2013)

QMetry, a premier provider of Test Management solutions today announced the latest release of its award-winning Test Management Platform. QMetry 5.4 focuses on improvements for teams using Agile methodologies, as well as enhancements in its Integration capabilities with ALM products and in the Reporting capabilities embedded in the platform.
QMetry 5.4 improves its archiving feature with the ability to easily migrate backlogs from one release to another. Further, both Releases and Cycles can now be locked to enable teams to freeze activity at certain checkpoints and thereby isolate test artifacts and results. There is also easy access to a CI module via a link to Jenkins that enables QA teams to have a unified and consistent view of relevant testing information.
With QMetry´s Continuous Testing feature, organizations using Agile development practices can test each iteration, or "build", that comes out of development. Development groups may deliver to QA multiple increments, builds, or "Drops" in a given week. With Version 5.4 QMetry adds the ability of QA organizations to assign default drops per cycle and/or per QA role.

Testwell CTC++ 7.1 mit C++11-Support verfügbar

(Tampere/Finnland, 1. Februar 2013)

Testwell gibt die Verfügbarkeit eines "Major-Updates" des führenden Test-Coverage-Analysers Testwell CTC++ bekannt. Testwell CTC++ 7.1 unterstützt jetzt alle neuen C++11-Standard-Features wie Lambda-Funktionen, Trailing return type, Range-based loops u.s.w. Die neue Version kommt zusätzlich mit weiteren Verbesserungen.
Unsere Kunden mit Softwarewartungsvertrag können Testwell CTC+ 7.1 kostenlos herunterladen.

Elvior TestCast 6.7.0 verfügbar

(Tallinn/Estland, 1. Februar 2013)

Elvior hat die Version 6.7.0 der Test-Entwicklungs- und -Ausführungplattform TestCast mit erweitertem TRI (xTRI)-Support, Logging of template names, Extension package for reading SUT status, TRI suport for parameterized map and unmap operations, ASN.1 permitted alphabet constraint support und einer Vielzahl anderer Verbesserungen herausgegeben.   weitere Informationen

Neues Seminar: Effiziente Unit-Tests für Embedded Systeme

In einem neuen Seminar "Effiziente Unit-Tests für Embedded Systeme" zeigt Verifysoft wie frei verfügbare Unit-Testtools wie ucUnit, Unity, Check und CppUTest zum Test von eingebetteter Software genutzt werden können. Die Teilnehmer lernen wie beim Einsatz dieser Werkzeuge mit dem Code Coverage Tool Testwell CTC++ eine optimale Testabdeckung erreicht wird, die den Ansprüchen für die Entwicklung sicherheitskritischer Software entspricht.
Das Seminar findet erstmalig am Donnerstag, 18.04.2013 im Technologiepark Offenburg statt.     weitere Infos und Anmeldung