|
(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.
Das Qualification-Kit wird vor Jahresende zur Verfügung stehen.
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
|
|
 |
(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.
|

|
|
Ende Mai erscheint im dpunkt-Verlag das Buch "Software-Test für
Embedded Systems" von Dr. Stephan Grünfelder. Alle wichtigen
praxistauglichen Methoden des Software-Tests für eingebettete
Systeme und ihre Eingliederung in planungsgesteuerte bzw. agiles
Projeke werden beschrieben und durch zahlreiche Beispiele
ergänzt.
Behandelt werden u.a. die Themen Statische Code-Analyse, Unit-,
Integrations- und Systemtests, Data Race Testing, Schedulability
und Echtzeittests sowie Normen und Haftungsrisiko. Bewertungen von
Testmethoden, Erfahrungsberichte und eine Diskussion von
Testwerkzeugen runden die Kapitel ab.
Der Autor hat langjährige Erfahrung als Programmierer und Tester
für die unbemannte Raumfahrt und Medizintechnik sowie als
Projektleiter für Steuergeräte-Entwicklung im Automobilbereich. Er
lehrt an der Hochschule Reykjavik sowie der Fachhochschule
Technikum und der Technischen Universität in Wien.
Das Buch kann über den dpunkt-Verlag bestellt werden. Teilnehmer an
unserem Seminar Testen von Embedded
Systems erhalten das Buch während der Schulung ohne
Mehrkosten. |
|

Professor Dr.-Ing. Daniel Fischer |
|
Dr. Daniel Fischer, Professor für Angewandte Informatik an der
Hochschule Offenburg und Berater für Software-Qualitätsmanagement
und Embedded Software zeigt am 10. und 11. Juni 2013 im
Technologiepark Offenburg (TPO)
wie Sie durch effiziente Softwaretests Risiken und Kosten bei
Entwicklung und Test von eingebetteter Software vermeiden.
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 beim Testen von Software.
Sichern Sie sich jetzt Ihren Platz und profitieren Sie von unserem
Jubliäumspreis: 880 Euro (statt regulär 1.300 Euro) für das
2-Tages-Seminar inkl. umfangreicher Schulungsunterlagen und
Fachbuch. > Hier informieren
und anmelden. |
(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.
|
|

click to enlarge |
 |
|
(Ithaca, New York/USA, 22. April 2013)
GrammaTech Inc. hat von US-Regierungsbehörden für über acht
Millionen US-Dollar Forschungsaufträge erhalten. In den vergangenen
25 Jahren hat GrammaTech unter anderem für die NASA, das National
Institute of Standards and Technology (NIST) sowie die National
Science Foundation (NSF) gearbeitet.
|
In den letzten vier Monaten hat GrammaTech acht Vorschläge
eingereicht, von denen sechs bereits ausgewählt worden sind. Die
Entscheidung über die beiden anderen Projekte steht noch aus.
"Die Auswahl unterstreicht den Erfolg und die Stärke des
GrammaTech-Forschungs-Teams und deren Experten für automatische
Code-Analyse, die zur Weltklasse gehören", erklärt Tim Teitelbaum,
GrammaTech-CEO und emeritierter Professor des Cornell Computer
Science Departments. "Wir haben kürzlich eine neue Filiale in
Madison (Wisconsin) eröffnet und unsere Teams in Ithaca und New
York City verstärkt.".
Das Ergebnis der Forschung sind Werkzeuge, die von
Softwareentwicklern in aller Welt zum Aufdecken von kritischen
Fehlern und Sicherheitslücken in deren Quellcode eingesetzt werden.
(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.
(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.
|

click to enlarge |
|
(Ithaca, New York/USA, 26. Februar 2013)
GrammaTech hat Verbesserungen bei der Darstellung der
Softwarearchitektur mit CodeSonar vorgestellt. Zu den neuen
Features gehören eine neue Treemap-Ansicht, die die hierarchische
Struktur des Codes in einer sehr übersichtlichen Form darstellt.
Zur Anzeige der Fehlerdichte in den einzelnen Modulen nutzt die
CodeSonar-Ansicht verschiedene Farben. Dies erlaubt den Nutzern
problematische Codeteile sofort zu erkennen. >
weitere Informationen
|
|


|
|
Das TPO-Kunstforum zeigt vom 7. März bis Ende Mai 2013 im Technologiepark Offenburg die Werke zweier
Künstler.
Als Maler-Plastikerin der "Art brut" stellt Patricia Gallien
Gemälde und Skulpturen aus, die das Ergebnis einer Sensibilität für
die Poesie des Gegenstands sind. Ihre bevorzugten Themen sind die
Innerlichkeit des Wesens, die Spuren der Zeit und die
Vergänglichkeit...
Die in Straßburg (Frankreich) lebende Künstlerin ist
Gesellschafterin der Verifysoft Technology GmbH.
Des Weiteren sind während der Öffnungszeiten des Technologieparks
(9-18h) Aufnahmen des Oberschopfheimer Fotodesigners Tobias Zappe
zu sehen.
Eröffnet wird die Ausstellung am Donnerstag, 7. März um 18.30 Uhr
durch die Offenburger Oberbürgermeisterin Edith Schreiner und dem
Geschäftsführer des Technologieparks Bruno O. Schwelling. Kunden
und Freunde von Verifysoft sind herzlich zu dieser Vernissage
eingeladen (um vorherige Anmeldung per Email oder Telefon 0781 127
8118-0 wird gebeten).
Einladung
Infos zu Gallien
Artikel Badische
Zeitung |
|

Click to enlarge |
|
Dr. Paul Anderson, Entwicklungsleiter von
GrammaTech, zeigt auf der Embedded World 2013 die Visualisierung der
Softwarearchitektur mit dem statischen Codeanalysetool CodeSonar®:
"Visualizing Program Structure with Static Analysis", Mittwoch
27.02.2013 ab 11h45.
Die Embedded World ist mit über 22.000 Besuchern aus 57 Ländern das
weltweit größte Treffen der "embedded Community".
Informieren Sie sich über GrammaTech CodeSonar®:
GrammaTech Inc.: Halle 4 Stand 626
Verifysoft Technology GmbH: Halle 4 Stand 308
Beantragen Sie hier Ihre
kostenlose Trialversion von GrammaTech CodeSonar. |
 |
|
(Ithaca, New York/USA, Offenburg/Deutschland, 1.
Februar 2013)
GrammaTech und Verifysoft Technology geben den Abschluss eines
Distributionsvertrages für die statischen Code-Analysewerkzeuge
CodeSonar® und
CodeSurfer® bekannt. Verifysoft Technology wird die Werkzeuge von
GrammaTech in Deutschland, Österreich, der Schweiz und
Liechtenstein vertreiben.
|
CodeSonar ist ein leistungsfähiges System für die Quellcodeanalyse.
Da durchschnittlich etwa doppelt so viele kritische Defekte wie bei
anderen statischen Codeanalysetools gefunden werden, wird CodeSonar
insbesondere in sicherheitskritischen Projekten eingesetzt. So wird
das Werkzeug in Luft- und Raumfahrt, Medizintechnik, Automotive und
anderen sicherheits- und missionskritischen Projekten genutzt.
CodeSonar ist beispielsweise bei Airbus, Boeing und der NASA
erfolgreich im Einsatz.
Aus unternehmensstrategischen Gründen hatte Verifysoft den
Distributionsvertrag mit dem bisherigem Partner Coverity Inc. aus
San Francisco nicht mehr verlängert. weitere Informationen
(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.
(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
|
 |
|
(Tallinn/Estland, 21. Januar 2013)
EstCube wird in weniger als drei Monaten den ersten Satelliten
Estlands ins All schicken. Elvior unterstützt das Projekt durch die
Lieferung von der Software-Testsoftware Elvior TestCast.
EstCube nutzt Elviors TTCN-3-Test-Ausführungstool sowie die
modellbasierte Testplattform. Weitere Informationen über EstCube
sind auf der EstCube-Homepage verfübar.
|

click to enlarge |
|
|
(Paderborn, Offenburg, 10. Januar 2013)
Testwell CTC++ zeigt die
Code-Abdeckung bei der PC-basierten Simulation virtueller
Steuergeräte, die mit SystemDesk® generiert werden. SystemDesk ist
ein Produkt der Firma dSPACE, das die Entwicklung komplexer
Steuergeräte-Software, basierend auf AUTOSAR, unterstützt.
Und auch bei der SIL- bzw. PIL-Simulation von dSPACE TargetLink®-Modellen kann Testwell CTC++ zur
Überprüfung der Code-Abdeckung genutzt werden.
> weitere Informationen
|
|


 |
|
Verifysoft stellt stellt im Januar und Februar 2013 auf folgenden
Messen aus:
OOP 2013, ICM International Congress Center
München (21.-25. Januar 2013)
Kostenloser Eintritt in die Ausstellung: hier registrieren
Avionics
Europe 2013, MOC Event Centre München (20.-21. Februar
2013)
Erfahren Sie wie Sie mit statischer Codeanalyse die
Softwarequalität verbessern und mit Testwell CTC++ die geforderte Code Coverage für
DO-178C-Projekte erreichen.
Embedded
World 2013, Nürnberg, Halle 4 Stand 4-308 (26.-28. Februar
2013)
Auf der weltgrößten Messe für embedded Systeme zeigen wir Ihnen
unter anderem wie Sie Test Coverage in kleinsten embedded Targets
messen.
|
|
 |
|
Verifysoft wünscht alles Gute für 2013
Das Team von Verifysoft Technology GmbH bedankt sich bei allen
Kunden, Partnern und Lieferanten für ein erfolgreiches Jahr 2012.
Für das neue Jahr 2013 wünschen wir Ihnen alles Gute, Glück,
Gesundheit und Erfolg.
Foto: Titisee (Schwarzwald, Deutschland), Dezember
2012
|
 |
|
(Offenburg, 3. Dezember 2012)
Die Termine für unsere Seminare mit Professor Dr. Daniel Fischer
von der Hochschule Offenburg stehen fest.
Das zweitägige Seminar "Testen von Embedded Systems" findet am 10.+
11. Juni 2013 im Technologiepark Offenburg und am 11. + 12.
November 2013 im Best Western Plus Delta Park Mannheim statt.
Weitere Informationen und Anmeldung: hier.
Firmen, die mehr als fünf Mitarbeiter schulen wollen, können dieses
Seminar auch als Inhouse-Seminar
buchen.
Das Seminar "Effizientes Testmanagement" für Manager und
Entscheidungsträger findet am 13. November 2013 im Best Western
Plus Delta Park Mannheim statt. Weitere Informationen und
Anmeldung: hier.
|
|
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
|
|
 |
 |
|
Verifysoft Technology sponsort den Französischen Softwaretesttag
JFTL, der am 26.
März 2013 in Paris stattfindet.
|
News-Archiv:
2012, 2011, 2010,
2009, 2008, 2007,
2006, 2005, 2004,
2003
last updated: 14 May 2013
© 2013 Verifysoft Technology GmbH
all company and event logos are © and the property of their
respective owners
CTA++, CTC++, CMT++ and CMTJava are tools of Testwell Oy, Tampere,
Finland
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are
tools and trademarks of Conformiq, Saratoga (USA)/Espoo
(Finland)
CodeSonar® and CodeSurfer® are products and trademarks of
GrammaTech, Ithaca/New York (USA)
DataDrill Express is a product of Distributive Management,
Fredericksburg VA (USA), main distributor for Europe: Spirula,
Palaiseau (France)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
QMetry is a product and a trademark of QMetry, Santa Clara
(USA)
Verybench for Testwell CMT++ is a product of Verifysoft Technology,
Offenburg (Germany)
all other trademarks of this site are the property of their
respective owners.
|