Verifysoft in der Fachpresse
Eine Übersicht über unsere aktuellen Pressemitteilungen finden Sie
hier
Produkte:
Conformiq Qtronic™
CMT++/CMTJava
CTC++
Coverity Prevent
Verifysoft/Allgemeines
|
Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung
beim Softwaretest
Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool
für die Automatisierung der Testfallerstellung beim funktionalen Software-
und Systemtest bekannt, die ab sofort über den deutschen Distributor
Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und
zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq
Qtronic automatisch generiert werden.
meditronic-journal 05/2009:
Artikel (148 KB)
Homepage meditronic-journal
|
|
Automatisch Testen
Die Firma Conformiq Inc. gibt die Verfügbarkeit von "Conformiq Qtronic 2.0",
einem Werkzeug für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest, bekannt.
Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte,
können die Tests jetzt automatisch generiert werden. ...
OBJEKTspektrum 3/2009
Artikel (243 KB)
Homepage OBJEKTspektrum
|
|
iX-Studie "Modellbasiertes Testen"
Die knapp 390 Seiten starke iX-Studie
"Modellbasiertes Testen: Modellierung und Generierung von Tests –
Grundlagen, Kriterien für Werkzeugeinsatz, Werkzeuge in der
Übersicht" stellt nach einer ausführlichen Erörterung
der Grundlagen des modellbasierten Testens neun Werkzeuge ausführlich vor.
Neben dem durch Verifysoft Technology vertriebenen automatischen Testfallgenerator
Conformiq Qtronic™ haben die Autoren Helmut Götz, Markus Nickolaus,
Thomas Roßner und Knut Salomon die Werkzeuge Expecco (eXept Software AG),
MaTeLo (ALL4TEC), Rhapsody TestConductor/Automatic Test Generator (Telelogic),
Smartesting Test Generator (Smartesting), TDE/UML (Siemens AG),
TestBench/MBT (imbus AG), TPT (PikeTec GmbH) und TT-Suite
(Testing Technologies IST GmbH) im Detail untersucht.
weitere Informationen und Bestellungen über
heise.de
|
|
Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung
beim Softwaretest
Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool
für die Automatisierung der Testfallerstellung beim funktionalen Software-
und Systemtest bekannt, die ab sofort über den deutschen Distributor
Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und
zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq
Qtronic automatisch generiert werden.
PC & Industrie 04/2009:
Artikel (148 KB)
Homepage PC & Industrie
|
|
Messeführer Embedded World 2009: Testfälle automatisch generieren
Eine neue Version des Testfallgenerators "Conformiq Qtronic™" präsentiert Verifysoft.
Conformiq Qtronic™ erstellt basierend auf UML-Modellen automatisch Testfälle für
den Black-Box-Test von Softwaresystemen.
Desweiteren zu sehen sein wird ein neues Frontend für das Softwarekomplexitäts-Messtool
"Testwell CMT++". Entwickler, Qualitätsbeauftragte und
Projektmanager können damit alle relevanten Komplexitätsdaten
auswählen und sich grafisch anzeigen lassen.
Für Zertifizierungen erforderliche Nachweise liefert das
Code-Coverage-Tool "Testwell CTC++".
Es deckt alle Abdeckungsstufen bis zur Multicondtion-Coverage ab.
Text übernommen aus (rh) Design & Elektononik 1/2009
Homepage Design & Elektronik
|
|
Mitarbeiter des Nokia Research Centers veröffentlichen ein Papier über die
Nutzung von Conformiq Qtronic™
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.
Homepage Springer
|
|
Modellbasiertes Testen
Modellbasiertes Testen ist ein Schlagwort, unter dem verschiedenste Techniken zur Nutzung
von Modellartefakten im Testprozess verstanden werden.
Der Artikel stellt eine Klassifikation und Bewertung bestehender Methoden vor...
Zu den systemmodell-getriebenen Werkzeugen gehöhren:
Conformiq Qtronic™, das über eine Anbindung an existierende UML-Werkzeuge
die Testgenerierung aus den Systemmodellen unterstützt,
Leirios Test Generator, ...
Microsoft SpecExplore, ...
OBJEKTspektrum 3/2007, Prof. Dr. Ina Schieferdecker (TU Berlin)
Artikel zum Download (kostenpflichtig)
Homepage OBJEKTspektrum
|
|
Messeführer Embedded World 2009:
... Desweiteren zu sehen sein wird ein neues Frontend für das Softwarekomplexitäts-Messtool
"Testwell CMT++". Entwickler, Qualitätsbeauftragte und
Projektmanager können damit alle relevanten Komplexitätsdaten
auswählen und sich grafisch anzeigen lassen. ...
Text übernommen aus (rh) Design & Elektononik 1/2009
Homepage Design & Elektronik
|
|
Komplexität und Qualität von Software
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)
Homepage MSCoder
|
|
Komplexität messen
Verifysoft hat eine neue Version des Softwaremess-Tools CMT++
(Code Complexity Measures Tool for C/C++) vorgestellt. Es dient zur
Messung von Zeilen-, Halstead- und Mc-Cabe-Metriken und deckt komplexe
Codeteile auf. Zusätzlich gibt es jetzt auch den Wartbarkeitsindex aus.
Dieser gibt z. B. an, wann es kostengünstiger ist, komplexe Codeteile
neu zu schreiben oder den existierenden Code zu modifizieren. CMT++ ist für Windows, Linux, HP-UX und Solaris erhältlich. Mit
CMTJava bietet Verifysoft ein entsprechendes Werkzeug zur
Komplexitätsmessung von Java-Projekten an. In Kürze soll ein Code Complexity Measures Tool für C# verfügbar sein.
Elektronik Praxis 04/2005 vom 19.04.2006
Homepage Elektronikpraxis
|
|
Softwaretest und Analyse-Tools: Tool für C, C++, Java und C#
Verifysoft Technology gibt ein Code Coverage Tool für C, C++, Java und C#
heraus. Die Software erweitert das bisher bereits für die Sprachen
C und C++ verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell für
die Programmiersprachen C und C++ aud Java und C#.
Mit dem Tool läßt sich die Testabdeckung für alle Coverage-Niveaus
messen: von der einfachen Function Coverage über Decision-, Condition-/Branch-
und Mulitcondition (MCC) bis hin zur höchsten Testabdeckungsstufe Modified-Condition/Decision-Coverage
(MC/DC-Coverage). ...
Elektronik Praxis 5/2008 vom 05.03.2008
Homepage Elektronikpraxis
|
|
Test Coverage Analyzer auf Java und C# ausgeweitet
Verifysoft Technology, Hersteller und Distributor von Softwaretest- und Analysetools,
gab die Verfügbarkeit eines Code Coverage Tools für C, C++, Java und C# bekannt.
Das "CTC++ for Java and C# Add-on" erweitert das bisher für die Sprachen C und C++
verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell auf Java und C#.
PC & Industrie 12/2007:
Artikel (191 KB)
Homepage PC & Industrie
|
|
Code-Analyse: Testwell CTC++-Erweiterung für Java und C#
Der Test Coverage Analyzer for C und C++ von Verifysoft Technology GmbH wurde mit einem jetzt veröffentlichten Addon
auf Java und C# ausgeweitet. Das neue "CTC++ for Java and C# Add-on" erweitert das bisher bereits für die
Sprachen C und C++ verfügbare Test- und Analysetool CTC++ des finnischen Herstellers Testwell von den
Programmiersprachen C und C++ auf Java und C#. Die Softwaretest-Suite Testwel CTC++ (aktuelle Version 6.4)
und das neue Add-on für Java und C# arbeiten mit allen Compilern zusammen.
Artikel aus Entwickler.de vom 19.09.2007
|
|
CTC++ Test Coverage Analyzer unter die "Best Products 2005"
gewählt
Die Leser von E&E, Fachzeitschrift für Elektronik & Entwicklung,
haben den Test Coverage Analyzer Testwell CTC++ zu einem der besten
Produkte des Jahres im Bereich "Designtools und Software" gewählt.
Der Best-Product-Guide stellt jeweils am Jahresende die besten Produkte aus
dem Bereich der Elektronik vor.
E&E Elektronik & Entwicklung
Homepage E&E
|
|
Sichere Code-Coverage-Analyse
Das Werkzeug zur Messung der Code Coverage in C- und C++ -Applikationen
wurde jetzt für die Anwendung mit dem Echtzeitbetriebssystem
für Windows RTX von Ardence angepasst.
CTC++ hilft mittels verschiedener Prüfmechanismen sicherzustellen,
dass der gesamte Code eines Softwareprojektes getestet wird. Der
Test Coverage Analyzer lässt sich laut Hersteller für sämtliche
Targets einsetzen.
Elektronik Praxis 14/2005 vom 21.07.2005
Homepage Elektronikpraxis
|
|
Test-Coverage-Analyzer für SW-Entwicklung
Zur Sicherung hoher Codequalität und -zuverlässigkeit bei der
Softwareentwicklung von Embedded-Systemen hat Verifysoft in Zusammenarbeit
mit Beck IPC den Testwell-CTC++-Test-Coverage-Analyzer für C/C++ in die
Entwicklungsumgebung Borland C++ 5.02 integriert.
Das Tool hilft, Softwarefehler zu verringern und stellt sicher,
dass alle Komponenten eines komplexen Systems intensiv getestet wurden,
bevor die Software ausgeliefert wird.
Elektronik Praxis 7/2005
Homepage Elektronikpraxis
|
|
Coverage Analyzer für CodeWarrior
Der finnische Softwarespezialist Testwell (distributor: Verifysoft Technology) hat jetzt seinen Test-
Coverage-Analyzer "CTC++" in die Entwicklungsumgebung CodeWarrior intergriert.
CTC++ war bisher unter anderem bereits in die Entwicklungsumgebungen Microsoft Visual Studio
5.0/6.0, .NET, Borland C++ 5.0 und Wind River Tornado integriert.
Markt & Technik 3/2005 vom 14.01.2005:
Artikel
Homepage Markt & Technik
|
|
CTC++ für Borland C++ 5.02
Zur Sicherung höchster Code-Qualität und -Zuverlässigkeit bei der
Softwareentwicklung von Embedded-Systemen hat Verifysoft Technology in Zusammenarbeit mit
Beck IPC den Testwell CTC++ Test-Coverage-Analyzer für C/C++ in die Entwicklungsumgebung
Borland-C++ 5.02 integriert.
Design & Verification Ausgabe 8/2004:
Artikel
Homepage Design & Verification
Homepage Markt & Technik
|
|
Coverity: A new Mercury Interactive in the making?
Upon further review, Coverity´s new offering may go a long way to changing the software development equation:
more investment up front in developing software right the first time could save 10 times the cost of fixing/supporting
broken code later. Coverity calls it precision analysis software that stress-tests every component at every step
(design, develop, build, test) before it hits the market.
That´s big.
It sounds a lot like the early promise of Rational Software (acquired by IBM) and Mercury Interactive
(acquired by Hewlett-Packard).
Intriguingly, I notice that Mercury´s last chief executive and chief marketing officer have both landed at Coverity.
Are we seeing a replay of Mercury?
More: cnet news (April 2009)
|
|
"Wir müssen Softwareprobleme von vorneherein beheben"
Wirksame Mittel gegen Software-Kinderkrankheiten
Verteilte Entwicklung und immer kürzer werdende Entwicklungszyklen erschweren das Leben
von softwareentwicklern. Bereits kleine Fehler können zu schweren Defekten führen.
Mit seinen Tools will Coverity deshalb viele Fehler schon sehr früh identifizieren und beseitigen.
Markt & Technik 9/2009 (391 KB)
Homepage Markt & Technik
|
|
Coverity Prevent: Mehr drin für Microsoft
Coverity kündigt die Verfügbarkeit neuer Features in Coverity Prevent
für Entwickler an, die auf Microsoft-Produkte setzen.
Die neueste Version von Coverity Prevent bietet jetzt Support für Windows Vista,
Integrierbarkeit mit Microsoft Visual Studio und Modellierung für Win32
Concurrency APIs. ...
All About Security (27.01.2009)
|
|
Statische Softwareanalyse und ihre Vorteile für medizinische Software
FDA empfiehlt statische Quellcodeanalyse für höhere Softwarequalität bei medizinischen Geräten
Angesichts des sicherheitskritischen und teilweise lebenserhaltenden
Charakters muss die integrierte Software einwandfrei funktionieren.
Nur ein einziger Fehler könnte unter Umständen zu schwerwiegenden
Gesundheitsschäden oder sogar zum Tod des Patienten führen.
Deshalb liegt doppeltes Augenmerk auf der Sicherheit dieser Software.
Meditronic-Journal 1/2008 (448 KB)
Homepage meditronic-journal
|
|
Tool-Radar: Coverity Prevent und SAT Solver
Jüngste Innovationen bei der statischen Analyse bieten Entwicklern
von Multithreaded-Anwendungen Support, um die gut versteckten Defekte, wie Race Condition, Deadlock
und Thread Block, schon früh im Entwicklungszyklus einer Anwendung
aufzuspüren und zu eleminieren.
Mithilfe von Coverity Prevent und der auf Boolescher Satisfiability (SAT)
basierenden Softwareanalyse-Engine können Fehler bereits vor der
Laufzeit aufgedeckt werden.
Javamagazin 4/2008 (354 KB)
Homepage Javamagazin
|
|
Satisfiability: Neue Generation einer statischen Analyse
Mit Befriedigung auf Fehlerjagd
Embedded Software darf eigentlich keine grüne Banane sein, die erst beim Kunden reift.
Die Quellcode-Analyse-Technik der Booleschen Erfüllbarkeit (Boolean Satisfiability - SAT)
dient zur Reduktion der Fehlerrate und verbessert so deutlich die Qualität der Software.
Markt & Technik 7/2008 vom 15.02.2008:
Artikel
Homepage Markt & Technik
|
|
|
Aus Platzgründen zeigen wir Ihnen auf dieser Webseite nur die aktuellsten
Veröffentlichungen über Coverity Prevent.
Lesen Sie
hier alle Presseveröffentlichungen
über Coverity.
|
|
Verifysoft Technology: Sicherheit für alle Softwareprogramme
OFFENBURG. Wenn es bei Areva, Siemens oder RWE Probleme mit der
Software gibt, holen sich die Weltkonzerne Hilfe aus der Ortenau:
Im Offenburger TPO sitzen Klaus Lambertz und Roland Bär
und vertreiben Softwaretest-Tools.
"Wir haben Einblick in die Testpraxis bei mehr als 100 Kunden mit
sicherheitskritischen Softwareprojekten", sagt Lambertz.
Vor rund fünf Jahren gründet er mit seinen Partner Bär die
Verifysoft Technology. Seitdem verdoppeln sie jährlich ihre
Umsätze. Während Bär aktiv bei der Entwicklung von
Testwerkzeugen mitarbeitet, kümmert sich Lambertz um den Vertrieb.
Dabei haben sich die beiden ein vierköpfiges Team aufgebaut, das den
europäischen Markt bedient. Ihr Ziel: Umsatz weiter steigern und
Personal aufbauen.
(Artikel von Philipp Schneider, Econo)
Übernommen aus Econo 3/2008
|
|
Fiese Fehler im System
An Fehlfunktionen aller Größenordnungen hat sich mittlerweile
jeder gewöhnt.
Vor der völligen Resignation bewahrt oft nur die Aussicht, dass mit der nächsten
Version, mit dem nächsten Technologiesprung alles besser werden könne.
Oder mit der übernächsten, jedenfalls irgendwann.
PC-Info Oktober/2005:
Titelstory (pdf)
Homepage PC-Info
|
last updated: 13.05.2009
© 2004-2009 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
CTC++ for Java and C# add-on is a product of Verifysoft Technology GmbH
Conformiq Qtronic™ is a product and a trademark of Conformiq Inc., Saratoga (USA)
Coverity Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.
|