Static Code Analysis Day 2015 in Offenburg
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! Seminarflyer
ISO 26262 konformes Testen mit qualifizierten Tools
(Offenburg, 12. Dezember 2014)
> Weitere Informationen
ESE-Kongress 2014: Interview mit Verifysoft-Geschäftsführer Klaus Lambertz
(Sindelfingen, Offenburg, 3. Dezember 2014)
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.
Verifysoft Technology präsentierte Lösungen für den Test von Software auf CESA 3.0
(Paris/Frankreich, 10. Dezember 2014)
Weltweit bekannte Unternehmen wie Daimler, Audi, Volkswagen, BMW, Continental und andere steigern bereits ihre Softwarequalität mit Testlösungen von Verifysoft.
Integration von Testwell CTC++ in Imagix 4D
(Offenburg/Deutschland, San Luis Obispo/USA, 27. November 2014)
Imagix und Verifysoft haben das Test Coverage Tool Testwell CTC++ in Imagix 4D integriert. Imagix 4D kann jetzt dazu genutzt werden zu beurteilen, ob Ihre Testfälle zu einer ausreichenden Testabdeckung geführt haben. Das Ziel ist, die Bereiche des Quellcodes zu erkennen, für die mehr Tests geschrieben werden müssen. Zur Darstellung des Kontrollflusses hat Imagix 4D verschiedene Layouts. Eines von ihnen ist das "Logic-Layout-Diagramm", welches die Programmlogik einer Funktion zeigt. Die Kontrollflussanalyse zeigt eine Vielzahl verschiedener Softwaremetriken farblich dar. So wird unzureichende Code-Coverage rot dargestellt.
Imagix ist ein privater Softwareanbieter aus San Luis Obispo (Kalifornien).
> weitere Information
Imagix ist ein privater Softwareanbieter aus San Luis Obispo (Kalifornien).
> weitere Information
Kostenfreies Webinar: Code Coverage auf embedded Targets nach ISO 26262
ESE-Kongress 2014: Wir sind dabei!
Erfahren Sie im Vortrag von Roland Bär wie Sie die Herausforderung Testcoverage auf Geräten mit sehr wenig Speicher meistern.
Besucher an unserem Messestand haben nicht nur die Möglichkeit sich bei unserem Team über Statische Codeanalyse und Testabdeckung zu informieren, sondern darüber hinaus ein 2-Tages-Seminar "Testen von embedded Software" mit Professor Dr. Daniel Fischer zu gewinnen. Selbstverständlich übernehmen wir auch die Kosten für die Hotelübernachtung.
Sichern Sie sich Ihren Platz: Jetzt anmelden!
Verifysoft auf dem Automotive SPIN Italia in Mailand
Jahresumsatz mit GrammaTech CodeSonar um 60% gestiegen
(Ithaca/New York, Offenburg, 18. September 2014)
Immer mehr Kunden aus der Luft- und Raumfahrt, Medizintechnik, Autombil- und Telekommunikationsindustrie verlassen sich auf die Expertise von GrammaTech CodeSonar, dem führenden Werkzeug für die statische Code-Analyse. Heute verkündete GrammaTech eine 60%-ige Steigerung des Jahresumsatzes für das Geschäftsjahr, das am 31. Juli endete. Auch Verifysoft verbuchte seit Anfang 2014 eine deutliche Steigerung der CodeSonar-Bestellungen im deutschsprachigen Raum.
Der Erfolg von CodeSonar ist nicht zuletzt den neuen Features des Analysetools zu verdanken, die die Einhaltung von Standards überwachen. Auch das Auffinden von Nebenläufigkeitsproblemen, die Binary-Analyse von Fremdkomponenten sowie die Verbesserung der Software-Sicherheit durch das Aufspüren gefährlicher Datenflüsse gehören zu den Stärken von CodeSonar. CodeSonar wurde für fehlerintolerante Embedded Projekte konzipiert, hilft aber ebenso in der Entwicklung anderer Applikationen Risiken und Kosten zu senken. Das Tool analysiert sowohl Quellcode als auch Binaries und identifiziert schwerwiegende Sicherheits- und Qualitätsschwachstellen. Systemabstürze und unerwartetes Laufzeitverhalten bedingt durch z. B. Speicherlecks, Race Conditions, Divisionen durch 0 etc. können so frühzeitig im Entwicklungsprozess ausgeschlossen werden.
Überzeugen Sie sich durch die Analyse Ihrer eigenen Projekte von der Leistungsfähigkeit unseres Werkzeuges im Vergleich zu anderen statischen Codeanalysetools. Kontaktieren Sie uns für Ihre kostenlose Evaluationslizenz und erfahren Sie mehr über die interessanten Lizenzmodelle für CodeSonar.
Der Erfolg von CodeSonar ist nicht zuletzt den neuen Features des Analysetools zu verdanken, die die Einhaltung von Standards überwachen. Auch das Auffinden von Nebenläufigkeitsproblemen, die Binary-Analyse von Fremdkomponenten sowie die Verbesserung der Software-Sicherheit durch das Aufspüren gefährlicher Datenflüsse gehören zu den Stärken von CodeSonar. CodeSonar wurde für fehlerintolerante Embedded Projekte konzipiert, hilft aber ebenso in der Entwicklung anderer Applikationen Risiken und Kosten zu senken. Das Tool analysiert sowohl Quellcode als auch Binaries und identifiziert schwerwiegende Sicherheits- und Qualitätsschwachstellen. Systemabstürze und unerwartetes Laufzeitverhalten bedingt durch z. B. Speicherlecks, Race Conditions, Divisionen durch 0 etc. können so frühzeitig im Entwicklungsprozess ausgeschlossen werden.
Überzeugen Sie sich durch die Analyse Ihrer eigenen Projekte von der Leistungsfähigkeit unseres Werkzeuges im Vergleich zu anderen statischen Codeanalysetools. Kontaktieren Sie uns für Ihre kostenlose Evaluationslizenz und erfahren Sie mehr über die interessanten Lizenzmodelle für CodeSonar.
Verifysoft ernennt Royd Lüdtke zum Direktor für Statische Analysetools
(Offenburg, 29. August 2014)
Royd Lüdtke hat umfangreiche Berufserfahrung als Applikationsingenieur und Berater bei einer Vielzahl von Firmen und Institutionen wie New Era Of Networks, Sybase, Rogue Wave Software und dem Fraunhofer Institut. Lüdtke studierte in Dortmund Elektrotechnik und Energietechnik, hält mehrere Patente und ist Autor von Veröffentlichungen im IT-Bereich.
Royd Lüdtke wird den Pre-Sales und Support für GrammaTech CodeSonar im deutschsprachigen Raum verantworten.
A.I. Corporation (AIC) aus Tokio wird Distributor für Testwell-Tools in Japan
(Tokio/Japan, Offenburg/Deutschland, 26. August 2014)
"Wir freuen uns, die Testwell-Tools anbieten zu können. Die Werkzeuge sind einfach zu nutzen und bieten unseren Kunden einen hohen Mehrwert. Bei der Messung der Testabdeckung unterstützt Testwell CTC++ alle Kompiler und alle embedded Targets", führt Hiroshi Ueda, Produktmanager der Embedded-Testing-Abteilung bei AIC aus. "Vor der Evaluierung hatte ich nicht erwartet, dass Code Coverage auf embedded Targets so einfach ist."
"Während meiner Gespräche in Tokio war ich sehr von der Professionalität des AIC-Teams beeindruckt", sagt Klaus Lambertz, Geschäftsführer von Verifysoft. "AIC ist ein kompetenter Partner, um unsere Werkzeuge in Japan zu vertreten. Ich bin davon überzeugt, dass AIC die Erfolgsgeschichte, die wir mit Testwell CTC++ in Deutschland begonnen haben, in Japan fortsetzen wird. Alle Autohersteller, eine Vielzahl ihrer Zulieferer, sowie zahlreiche Firmen aus den Bereichen Medizintechnik und Transport vertrauen in Deutschland auf die Qualität der Testwell-Tools. Unsere Ziele sind ambitioniert: für Japan streben wir eine ähnliche starke Marktdurchdringung wie in unserem Heimatmarkt an, in dem Testwell CTC++ mittlerweile zu den Standardtools gehört."
> AIC-Webseite > News auf Japanisch > Verifysoft-Distributoren
Software Testing Day in Turin
Embedded Software Testing Day in London
Testwell CTC++ Test Coverage Analyser: Version 7.3 verfügbar
(Offenburg/Deutschland, Tampere/Finnland, 21. August 2014)
Die neue Version 7.3 enthält die folgenden Verbesserungen:
- Ausweitung der Multicondition-Instrumentatierung auf Assignment-Statements der Art "variable = boolean expression having && or || operators;"
- Verbessertes Handling von Header-Files und weitere Verbesserungen in the ctcxmlmerge-Utility.
- Verbesserungen der ctc2html-Utility, insbesondere beim grafischen HTML-Report.
Testwell CTC++ Qualification Kit deckt ISO 26262, DO-178C, IEC 61508 und EN 50128 ab
(München, Offenburg, Tampere, 20. August 2014)
Das Testwell CTC++ Qualification Kit wurde in Zusammenarbeit mit der Testwell Oy aus Tampere (Finnland) und der Validas AG aus München erstellt. Validas ist ein führendes Beratungsunternehmen für die Software-Tool-Qualifizierung.
Das Kit entspricht den Normen ISO 26262, DO-330, DO-178C, IEC 61508 und EN 50128. Aktuell wird die Programmiersprache C abgedeckt. Das Testwell CTC++ Qualification Kit enthält ein Qualification Support Tool, Tausende von Testfällen, eine Test Automation Unit zur Ausführung der Tests, sowie einen Verifikations- und Validierungs-Report für das Kit (V&V Report). Nutzer des Kits profitieren ebenfalls vom "Getting-Started-Support" der Validas AG. Da das Kit bereits existierende Qualifikations-Aktivitäten integriert, können die Anwender es mit minimalen Aufwand nutzen. Durch die Nutzung der von Validas entwickelten modulbasierten Qualifikationsmethodologie kann der Anwender das Testwell CTC++ Qualification Kit durch eigene Tests und Mitigations ergänzen.
> weitere Informationen
Verifysoft weiter auf Wachstumskurs: Erweiterung der Geschäftsräume
(Offenburg, 7. Juli 2014)
Unsere Technologien sind aktuell bei über 400 Firmen in mehr als 30 Ländern weltweit erfolgreich im Einsatz. Zu unseren Kunden zählen alle deutschen Automobilhersteller, zahlreiche Zulieferer, die wichtigsten europäischen Luft- und Raumfahrtkonzerne sowie führende Unternehmen aus der Medizintechnik.
Nach der Übernahme der Softwaretest-Technologien des finnischen Testtoolherstellers Testwell im Sommer 2013 hatte Verifysoft ein weltweites Distributorennetz mit Vertretungen in den USA, Indien, Korea, Großbritannien, Italien, Rumänien, Finnland und Israel aufgebaut. Eine Vereinbarung mit einer japanischen Vertretung steht kurz vor dem Abschluss.
Nach einem sehr erfolgreichem ersten Halbjahr 2014 gehen wir von einer weiteren deutlichen Umsatzsteigerung für das laufende Jahr aus. Gründe hierfür sind unter anderem die sehr gute Qualität unserer Testwerkzeuge, die gute Konjunktur in Deutschland sowie ein deutliches weltweites Wachstum insbesondere in den USA, Indien, Korea und Japan.
Auch personell ist Verifysoft weiter gewachsen. Hierdurch wird die Erweiterung der Geschäftsräume im Technologiepark Offenburg erforderlich. Wir bitten Sie um Verständnis, falls es bedingt durch den Umzug zwischen dem 8. und 11. Juli zu kurzen Verzögerungen bei der Beantwortung Ihrer Anfragen kommen sollte.
GrammaTech CodeSonar vom SGS TÜV Saar zertifiziert
(Ithaca, New York/USA, 2. Juli 2014)
ISO 26262, IEC 61508 und EN 50128 dienen der Sicherheit und Zuverlässigkeit von Applikationen für Automotive Systeme, medizintechnische Anwendungen und Bahnbetrieb. CodeSonar wurde von der SGS TÜV Saar GmbH geprüft und erhält mit der Zertifizierung die Fähigkeit bescheinigt Software auf diese Standards hin prüfen zu können.
> weitere Informationen > Zertifikat
Testwell CTC++ feiert 25 Jahre erfolgreichen Einsatz in der Software Testing Community
Verifysoft feiert den 25. Geburtstag von Testwell CTC++ am Donnerstag, den 25. September 2014 im Technologiepark in Offenburg. Wir möchten Sie herzlich dazu einladen mit uns diesen Tag zu verbringen. Es erwarten Sie Präsentationen zu den Anforderungen von Sicherheitsstandards, Code Coverage Leveln und eine Vorführung des CTC ++ Coverage Tools sowie des Qualification Kits.
Knallende Korken und eine Testwell CTC++ Geburtstagstorte dürfen natürlich auch nicht fehlen! > 25 Jahre Testwell CTC++
Lexington Soft LLC wird Distributor für Testwell-Tools in den USA and Kanada
(Lexington/USA, Offenburg/Deutschland, 12 Mai 2014)
Lexington Soft liefert End-to-End-Enterprise-Lösungen für Entwicklung, Test und Qualität von Software. Die indische Filiale von Lexington Soft hat bereits seit Januar 2012 Testwell-Tools erfolgreich in Indien vertreten. Ab jetzt wird das Unternehmen die Kunden von Verifysoft in den USA und Kanada unterstützen. Die Märkte werden vom Büro in Lexington/Boston (USA) aus bearbeitet. > Distributoren
QTronic Software S.R.L verkauft zukünftig Testwell Tools in Rumänien
(Cluj-Napoca/Rumänien, Offenburg/Deutschland, 14 April 2014)
Bereits in der Vergangenheit haben Verifysoft Technolgoy und QTronic erfolgreich zusammengearbeitet. Während TestWeaver tausende von Testfällen konstruiert und ausführt, ermöglicht Testwell CTC++ die automatisierte Analyse der Testüberdeckung. > Distributoren
Elvior gibt die Version 6.8 von TestCast T3 heraus
(Tallinn/Estland, Offenburg/Deutschland, 9. April 2014)
Elvior hat TestCast T3 Version 6.8 herausgegeben. Das Update enthät folgende neuen Features:
- Komplettunterstützung für TTCN-3:2014
- Unterstützung von externen Logger-Prozessen, die über TCP/IP kommunizieren (C++, C#)
- XSD-Dateien werden automatisch konvertiert, wenn die -rb-Flag im Kommandozeientool gesetzt ist
- zahlreiche andere Verbesserungen
Verybench 2.1: Neues grafisches Interface für Metrikenanalyse Testwell CMT++
(Offenburg, 8. April 2014)
Verybench ist eine grafische Benutzeroberfläche für das Code-Komplexitäts-Messtool Testwell CMT++. Aussagekräftige Dashboards- und Metrics-Views ermöglichen es Managern, Entwicklern und Testern die Qualität, Komplexität und Wartbarkeit des Quellcodes zu beurteilen. Die klare und verdichtete Darstellung von Verybench erlaubt es, gezielte Verbesserungs- und Refactoringsmaßnahmen einzuleiten und somit Kosten einzusparen.
Verybench 2.1 wird ab sofort mit allen CMT++-Evaluationen herausgegeben. Kunden mit gütiger Softwarewartung für Testwell CMT++ erhalten die neue CMT++-Oberfläche kostenlos. > weitere Informationen
GrammaTech CodeSonar: Version 4.0 verfügbar
(Ithaca, New York/USA, 4. April 2014)
Die Version 4.0 bietet neue Vorteile wie die Analyse des Drittanbieter-Codes, Einhaltung von Standards, Beseitigung von anspruchsvollen Multi-Core-Problemen und die Verbesserung der Codesicherheit durch Handling fehlerhafter Datenflüsse.
CodeSonar setzt damit neue Standards in der automatisierten Code-Analyse. Die Entwicklungsteams von Embedded Systems gewährleisten damit verbesserte Code-Qualität und schützen die Software einfacher und schneller von den steigenden Bedrohungen durch komplexe Sicherheitslücken.
CATIA - AUTOSAR Builder von Dassault Systèmes angebunden
(Vélizy-Villacoublay/Frankreich, Offenburg, München/Deutschland, 2. April 2014)
Testwell CTC++ der führende Code-Coverage-Analyser für On-Target-Test-Coverage. Neben der Anbindung an den AUTOSAR Builder bestehen unter anderem weitere Anbindungen von Testwell CTC++ an dSPACE SystemDesk®, dSPACE TargetLink®, PikeTec Time Partition Testing (TPT) und QTronic TestWeaver. >weitere Informationen
Erfolgreicher Softwaretest-Seminar-"Marathon" in Offenburg
(Offenburg, 27. März 2014)
Professor Dr. Daniel Fischer von der Hochschule Offenburg und das Team von Verifysoft Technology konnten Ende März zahlreiche Teilnehmer bei den Seminaren Effiziente Unit-Tests für Embedded Systeme, Effizientes Testmanagement und Testen von Embedded Software begrüßen.
Knapp 50 Personen reisten aus allen Teilen Deutschlands, Österreichs und der Schweiz, unter anderem aus Dresden, Wien, Zürich und Regensburg in den Technologiepark Offenburg an.
Hervorragend besucht war vor allem die Schulung zum Test von Embedded Software.
Hier gab es wie auch bei den anderen Seminaren Bestnoten: 88% der Teilnehmer empfehlen unsere Seminare weiter.
Die Erwartungen wurden bei allen erfüllt und bei 59% der Teilnehmer sogar übertroffen.
Mehr über die Bewertungen unserer Kunden hier.
Knapp 50 Personen reisten aus allen Teilen Deutschlands, Österreichs und der Schweiz, unter anderem aus Dresden, Wien, Zürich und Regensburg in den Technologiepark Offenburg an.
Hervorragend besucht war vor allem die Schulung zum Test von Embedded Software.
Hier gab es wie auch bei den anderen Seminaren Bestnoten: 88% der Teilnehmer empfehlen unsere Seminare weiter.
Die Erwartungen wurden bei allen erfüllt und bei 59% der Teilnehmer sogar übertroffen.
Mehr über die Bewertungen unserer Kunden hier.
Testwell CTC++ Test Coverage Analyser: Version 7.2 verfügbar
(Offenburg/Deutschland, Tampere/Finnland, 18. März 2014)
Die neue Version verfügt über ein Testfall-Konzept sowie ein ctcxmlmerge-Tool.
Das Testfall-Konzept (test case concept) vereinfacht das Sammeln von Coverage-Daten und gibt diese für nutzerdefinierte Testfälle aus.
Das ctcxmlmerge-Tool ermöglicht die Ausgabe eines kombinierten Coverage-Reports über die gesamte Code-Basis, welche mit verschiedenen Konfigurationen gebaut und getestet worden ist.
Zusätzlich hat Testwell CTC++ 7.2 Verbesserungen beim Handling von verschiedenen anspruchsvollen und extremen Gebrauchssituationen, die bei einigen Kunden genutzt werden, sowie einige Bug-Fixes. Gleichzeitig mit dem Update von Testwell CTC++ v7.2 ist auch eine neue Version (5.1) des Host-Target add-ons (HOTA) herausgegeben worden. HOTA ermöglicht die Messung der Testabdeckung in allen embedded Targets.
Visuelle Fehleranalyse von CodeSonar entdeckt gefährliche Datenflüsse im Code
(Nürnberg/Deutschland, 24.-26. Februar 2014)
Dank der visuellen Darstellung der fehlerhaften Datenflüsse sehen die Entwickler die Auswirkungen gefährlicher Eingaben auf das Verhalten ihres Codes. Während andere Tools nur einfache Warnungen für Fehlerwerte ausgeben, zeigt die Visualisierungsengine von CodeSonar bereits bestehende Schwachstellen.
Die visuelle Fehleranalyse zeigt schwer auffindbare und fehlerhafte Datenpfade in den Embedded Anwendungen an, die auf C/C++ basieren. Sie steigert die Geschwindigkeit und Genauigkeit bei der Verfolgung der Datenflüsse. Die Lösung analysiert sowohl Quellcode als auch Binärcode um schwerwiegende Sicherheits- und Qualitätsprobleme zu identifizieren, die Systemabstürze, Speicherschäden, Datenlecks, Data Races oder unerwartete Schwachstellen verursachen.
Gewinner unserer Verlosung auf der Embedded World
(Nürnberg, 27. Februar 2014)
Der Hauptpreis, ein Seminar Testen von Embedded Software geht an R. Liebscher (TomTom Development).
Jeweils ein Fachbuch Software-Test für Embedded Systems von Stephan Grünfelder erhalten D. Richter (ACD) und A. Gopalan (Rohmann GmbH).
Für unsere Seminare Ende März stehen übrigens noch einige Plätze zur Verfügung.
Elvior gibt TestCast T3 Version 6.7.4 heraus
(Tallinn/Estland, Offenburg/Deutschland, 28. Januar 2014)
This major release of TestCast T3 includes support for TTCN-3 extension package: Support of interfaces with continuous signals and modifications for Extended TRI support. Users can gain also of extended command line support to control TestCast features from command line. The release is available for Windows and Linux platforms.
Static Code Analysis Day 2014 in Offenburg
Wir zeigen, wie Sie durch Einsatz von statischer Codeanalyse Ihre Softwarequalität effizient verbessern. Sie erfahren mehr über die Vorteile von Advanced Static Code Analysis-Tools im Vergleich zu herkömmlichen Werkzeugen wie Lint. Sie sehen, wie komplexe Softwaredefekte problemlos aufgedeckt werden und wie Sie Checker für individuelle Prüfungen erstellen.
Vorträge:
- Bug-Hunting mit Statischer Codeanalyse
- Tücken von Multi-Core-Software: Nebenläufigkeiten sind gefährlich
- Suche nach der optimalen Balance zwischen tatsächlichen Fehlern und False-Positives
- Visualisierung von Programmstrukturen mit statischer Codeanalyse
> weitere Infos Seminarflyer
ERTS2 in Toulouse und Embedded World Nürnberg: Verifysoft stellt aus
Verifysoft stellt ebenfalls vom 25. bis 27. Februar auf der Embedded World in Nürnberg aus. Mit über 22.000 Besuchern ist die Embedded World die führende Messe für eingebettete Hard- und Software. Sie treffen uns in Halle 4 am Stand 322. Wir informieren Sie über Code Coverage, Komplexitätsmessungen, Unit Tests, Test Management, automatische Testfallgenerierung und Statische Codeanalyse. > weitere Infos