News 2007
(30. Oktober 2007)
Coverity, Inc., Marktführer für automatische Verbesserung von Softwarequalität und
-sicherheit, ist von Deloitte & Touche USA in die Liste der "Rising Stars" / LLP´s
Technology Fast 50 für das Silicon Valley aufgenommen worden.
Der "Rising-Star-Award" zeichnet Firmen mit
hohem Wachstum aus, die seit mindestens drei, aber seit maximal fünf Jahren auf dem Markt tätig sind.
Mit einer Wachstumsrate von 537 Prozent in diesem Zeitraum gehört Coverity zu den fünfzehn
wachstumsstärksten Unternehmen im Silicon Valley.
Das "Technology Fast 50 Rising Star Program" berücksichtigt Firmen, die 2004 einen Umsatz von
mindestens 50.000 USD und 2006 von mindestens 5.000.000 USD erwirtschaftet haben.
(Oktober 2007)
Coverity gibt die Verfügbarkeit der ersten Software-Analyse-Engine bekannt, die auf der
Booleschen Erfüllbarkeit (boolean satisfiability, SAT) basiert.
Coveritys SAT-Engine ermöglicht eine präzise Darstellung der Software,
die das automatische Aufdecken auch komplexer Softwareprobleme mit einer bisher unerreichten
Präzision ermöglicht.
Coverity Prevent SQS hilft damit den Entwicklungsteams schnell potentiell teure Defekte aufzudecken und zu fixen.
Der neue "False Path Pruning Solver" ist der erste Solver für Coveritys statisches
Code-Analysetool Prevent SQS.
Zwei weitere Solver, die Code-Assertionen und kritische Softwarefehler wie Integer-Overflows
statisch überprüfen, sollen bereits Anfang 2008 folgen.
Mit dem False Path Pruning Solver wurden vor der Markteinführung bereits über
zwei Millionen Codezeilen aus Open-source-Projekten analysiert.
Hierbei stellte sich heraus, daß der neue Solver die bereits sehr niedrige
False-Positive-Rate
von Coveriy Prevent SQS um durchschnittlich weitere 30 Prozent senkt.
Die False-Positive-Rate der aktuellen Version von Coverity Prevent SQS liegt damit bei hervorragenden 15 Prozent.
Weitere Informationen:
neue Software Code Analysis Engine
Coverity Prevent SQS
(4. Oktober 2007)
Verifysoft hat während der Entwicklung von
"CTC++ for Java and C#",
einem Add-on zur Messung der Code-Coverage in C# und Java-Projekten,
einen schwerwiegenden Fehler in der Codegenerierung des Mono C# Kompilers aufgedeckt.
Die Kompilate, die mit dem ungefixten Kompiler übersetzt
wurden sind nicht vertrauenswürdig und müssen mit einem
zukünftig gefixten Kompiler komplett neu übersetzt werden.
Der Bug wurde mittlerweile von Novell bestätigt, weitere
Informationen und Details unter
https://bugs.launchpad.net/mono/+bug/144734
https://bugzilla.novell.com/show_bug.cgi?id=328136
(28. September 2007)
Eine neue Version (4.2) des Code Complexity Measures Tools
Testwell CMT++ ist jetzt verfügbar.
CMT++ 4.2 ist um neue Features erweitert worden, zum Beispiel:
- Das neue Format für den "long report" ist XML. Die Ausgabe
umfaßt jetzt alle Informationen, die CMT++ generiert
(System-Level-Summary, Alarme, ...).
Das neue XML-Format ist optimal für die Integration von CMT++ in Toolchains geeignet.
- Bessere Behandlung der bedingten Kompilationen bei instabilen {}s.
Keine "unexpected end of file"-Melgungen bei normaler Nutzung.
- Viele Verbesserungen im HTML Report (cmt2html utility)
- Verbesserte CMT++ GUI für Windows
- Visual Studio 2005 IDE intergration eingeführt (Windows)
(13. September 2007)
Verifysoft hat das Testabdeckungstool
"Testwell CTC++ Test Coverage Analyzer for C and C++"
auf Java und C# ausgeweitet.
Das in Offenburg entwickelte "CTC++ for Java and C# Add-on"
erlaubt wie das Basistool CTC++ die Messung der Testabdeckung für
alle Coverage-Niveaus von der einfachen Function Coverage über Decision-,
Condition-/Branch- und Multicondtion-Coverage bis hin zur höchsten
Testabdeckungsstufe Modified Condition/Decision-Coverage.
Mit dem neuen Add-on kann CTC++ damit zum Nachweis höchster Code-Qualität
bei der Entwicklung von sicherheitskritischen Projekten in C, C++, Java und C#
eingesetzt werden.
Interessierten Firmen steht das
"CTC++ for Java and C# Add-on"
ab sofort zur Verfügung.
(12. September 2007)
Eine neue Version von
Conformiq Qtronic™,
der führenden modellgetriebenen Testlösung, ist ab sofort Verfügbar.
Hier die Neuerungen in Conformiq Qtronic™ 1.1:
- die Kommunikation zwischen internen Threads im Modell kann jetzt in
"Scripters" und "Loggers" nachverfolgt werden
- Verbesserung der Array-Allocation-Semantik in QML
- neuer Skripter, zur Ausgabe der Skripten als MSC-formatierte HTML-Seiten
- neues Java Plugin API ermöglicht jetzt die Implementierung von Plugins
in Java (in der gleichen Weise, wie dies bisher in C++ möglich war).
|
(5. September 2007)
Die neue Verifysoft-Firmenbroschüre mit Informationen zu unseren automatischen
Testgeneratoren, statischen Codeanalyse- und Software-Komplexitätsmesstools
sowie Code Coverage Analysen ist ab sofort verfügbar.
Download:
 Deutsch
English
Français
|
(29. August 2007)
Testwell gibt das Release einer neuen Version des
Testwell CTC++ for Symbian Target
Devices Add-on Packages (CTC4STD) bekannt.
Die neue Version instrumentiert jetzt auch C-Dateien (als C Code kompiliert).
Bisher war konnte der instrumentierte Code nur als C++ Code instrumentiert werden.
|
(14. August 2007)
Sie arbeiten an Softwareprojekten mit mindestens 500.000 LOC?
Nehmen Sie an unserem kostenlosen Code-Audit teil.
Wir stellen Ihnen Coverity Prevent, das führende statische Softwareanalysetool
für bis zu vier Wochen für kostenlose Code-Scans zur Verfügung und
zeigen Ihnen mindenstens dreißig gravierende Fehler in Ihrer Applikation.
Sie analysieren Ihre Software und durch automatische Analyse ohne Schreiben
eines einzigen Testfalls. Als Ausgabe erhalten Sie innerhalb kürzester Zeit
eine Liste der Anzahl der Defekte in Ihrer Software (sortiert nach Fehlerkategorien).
In einem zweiten Schritt kommen wir zu Ihnen ins Haus und decken mindestens
dreißig Fehler Ihrer Wahl auf - für Sie völlig kostenlos und unverbindlich.
Die Vertraulichkeit wird vorab durch Unterzeichnung eines Non Disclosure Agreements (NDA)
garantiert.
In vielen Projekten finden wir hunderte bzw. tausende von gravierenden Defekten.
Sollte Coverity Sie überzeugen und Sie Wert auf höchste Codequalität legen,
bieten wir Ihnen gerne projektgebundene (zeitlich begrenzte oder permanente) Lizenzen an.
Lassen Sie Coverity Prevent Prevent für Sie arbeiten und beantragen Sie Sie Ihren
kostenlosen Trial!
|
(10. Juli 2007)
Testwell gibt die Verfügbarkeit des
Test Coverage Anaylzers CTC++ Version 6.4
bekannt.
Die neue Version verfügt jetzt auch unter Windows über die
´ctcwrap´-Capability.
Hiermit wird das Ausführen von "ctc-builds" mit vorhandenen Makefiles
und anderen Build-Arrangements wesentlich vereinfacht.
CTC++ 6.4 kommt mit einer
neuen IDE-Integration für Visual Studio .NET 2003
und Visual Studio 2005. Die Nutzung von CTC++ wird dadurch einfacher und leistungsfähiger.
Die neue Version verfügt jetzt über eine "Power-User-Capability"
zum einfacheren Kummulieren von einzelnen "ctc-builds" und deren Testsitzungen.
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version kostenlos.
(Juni 2007)
Mitarbeiter des Nokia Research Centers haben ein Papier über die Nutzung von
Conformiq Qtronic™ veröffentlicht.
Der Bericht ist in den Konferenzunterlagen der TESTCOM/FATES 2007,
einer in Tallin (Estland) abgehaltenen Konferenz über auf formalen Methoden basiertes
Testen erschienen.
Ein kostenpflichtiger Download der Konferenzunterlagen ist unter LNCS 4581 bei
Springer erhältlich.
(18. Mai 2007)
Testwell gibt das Release der Version 3.2 des Host-Target Add-ons für das
führende code Coverage Tool Testwell CTC++
bekannt.
Die neue Version kommt mit weiteren Verbesserungen beim Target-Laufzeitverhalten.
Desweiteren sind Modellimplementationen für low-level Datentransferroutinen
eingeführt worden.
Mit dem CTC++ Host-Target Add-on ist es möglich, die Testabdeckung in allen
embedded Targets zu messen.
Unsere Kunden mit gültigem Wartungsvertrag erhalten die neue Version in den
nächsten Tagen kostenlos zugestellt.
(16. Mai 2007)
Verifysoft Technology gibt die Verfügbarkeit eines CTC++ Addon-Päckchens
bekannt, das den Benutzern des
FreeBSD Betriebssystems / Intel nahtlos und transparent die Nutzung des
Testwell CTC++ Code Coverage Tools auf
dieser Plattform ermöglicht.
Die CTC++ Programme laufen im Linux ABI Modus, die Laufzeitbibliothek und die
generierten Executables sind nativ FreeBSD.
Ebenfalls arbeiten die Softwarekomplexitäts-Messtools
Testwell CMT++ und
Testwell CMTJava "Out-of-the-Box" mit dem FreeBSD-Betriebssystem.
Bis jetzt waren die Testwell-Tools bereits für Windows, Linux, HP-UX und Solaris
verfügbar.
(30. April 2007)
Eine neue Version des CTC++ Add-ons v3.1 für Symbian Target Devices
ist verfügbar und erlaubt jetzt die Messung der Testabdeckung in Geräten, die
auf dem Symbian OS v9.x (EKA2 kernel) basieren.
Der Support für die bisherigen Symbian OS-Levels bis v8 (EKA1 kernel) wurde
eingestellt. Die Unterstützung des EPOC-Emulators
(Symbian OS vor und nach v9) in der CTC++/Windows-Version bleibt unverändert.
Weitere Informationen über
CTC++ für Symbian
|
|
Verifysoft Technology hat auf der Embedded World in Nürnberg eine Reihe
neuer Produkte und Updates für den Test und die Analyse von embedded Software
präsentiert.
Große Beachtung fand der Code Coverage Analyzer
Testwell CTC++, der die Messung
der Testabdeckung in kleinsten embedded Targets erlaubt. CTC++ ist das einzige Coveragetool
auf dem Markt, welches mit allen embedded Systemen und selbst mit kleinsten Targets arbeitet.
Weit über hundert Besucher informierten sich über
Conformiq Qtronic™.
Conformiq Qtronic™ ist ein neues modellbasiertes Testtool, mit dem
automatisch Testfälle aus bestehenden UML-Modellen generiert und ausgeführt
werden.
weitere Informationen:
Embedded World 2007
|
(1. Februar 2007)
Die neue Version des Test Coverage Analyzers Testwell CTC++ ist jetzt verfügbar.
CTC++ 6.3 bietet zahlreiche Verbesserungen und eine Integration in die Visual Studio 2005 IDE.
Der HTML-Report ist noch übersichtlicher (report sorting, directory level summaries, etc.).
CTC++ verfügt jetzt auch über eine "ctcwrap"-Integration für
Unix-Makefiles und andere Kommandos.
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version kostenlos.
(30. Januar 2007)
Conformiq Software (Espoo/Helsinki) und Verifysoft Technology GmbH
geben das Release von Conformiq Qtronic™, einer revolutionären Lösung für die
designmodellbasierte Automatisierung der Qualitätssicherung bekannt.
Conformiq Qtronic™ ist ein neues Testtool, das den Ansatz der
Model Driven Quality Assurance (MDQA) weiter vorantreibt.
Conformiq Qtronic™ ersetzt das mühevolle Schreiben von Testfällen für den
Black-Box-Test durch automatische Testfallgenerierung und -ausführung.
Das Werkzeug nutzt dabei bestehende Designmodelle gängiger Modellierungstools.
Conformiq Qtroniq kann unabhängig von der Programmiersprache eingesetzt werden
und steht ab sofort zum Download für eine kostenlose
Evaluation zur Verfügung.
Weitere Informationen: Conformiq Qtronic™
|
|
|
Verifysoft Technology stellte auf der diesjährigen OOP in München neue Tools und
Add-Ons vor.
Mit Conformiq
Conformiq Qtronic™ ist es ab sofort möglich,
Testfälle für den Black-Box-Test automatisch auf der Basis bestehender
Softwaredesignmodelle zu generieren und auszuführen.
Besonderes Interesse fand
Coverity Prevent, ein statisches Testtool für das
Aufdecken von Laufzeitfehlern in großen und größten Projekten
(500.000 bis mehrere Millionen Codezeilen).
Die Messung der Code Coverage in kleinsten embedded Targets wird durch das neue Add-on
zu Testwell CTC++ ermöglicht.
Während der Ausstellung wurden drei Jahreslizenzen der Code Complexity Measures Tools
Testwell CMT++ und
CMTJava sowie eine Reihe von Trostpreisen verlost.
Die Gewinner erhalten Ihre Preise per Post bzw. Email.
|
|
Treffen Sie uns und informieren Sie sich über neueste Entwicklungen aus der Welt
der Softwaretests.
Auf der OOP im Januar und der Embedded World im Februar 2007 zeigen wir unter anderem
- Codecoverage in kleinsten embedded Targets
- statische Codeanalyse mit Coverity Prevent
- das neue modellbasierte Testtool Conformiq Qtronic™
OOP, International Congress Centrum München
23.-25. Januar 2007
Embedded World, Messe Nürnberg,
13.-15. Februar 2007
Weitere Informationen über unsere Veranstaltungen
|
|
Die Softwarequalität und die Wartbarkeit von Applikationen hängt von der
Codekomplexität ab. Ein mehrseitiger Artikel in der Ausgabe 01/2007 von
MSCoder erklärt
am Beispiel von Testwell CMT++ wie man die Komplexität von Quellcode bestimmt
und welchen Einfluss diese auf die Wartbarkeit von Programmen hat.
Artikel aus MSCoder (Ausgabe 01/2007) (738 KB)
|
|
Firmenprofil 2007
Firmenprofil (Stand 2007)
News-Archiv:
2006,
2005,
2004,
2003
last updated: 28.05.2009
© 2007-2009 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Conformiq Qtronic™ are products and a trademarks of Conformiq Inc., Saratoga (USA)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.
|
![[English]](flaggeUK.jpg){kind=small}
![[Français]](flaggeF.jpg){kind=small}
