|
Company
Conformiq Qtronic
CMT++
CTC++/CTC for Java and C#
Coverity
Java Testing Tools
(18 December 2008)
Verifysoft Technology announces the availability of Bitcov-Add-on for the Test Coverage Tool Testwell CTC++.
The add on allows for measuring of code coverage in smallest targets and microcontrollers.
Only very small RAM is needed. Compared to regular coverage analysis on host machines the needed RAM is about 40 times less with Bitcov-Add-on.
Code coverage measures on GPUs of Nvidia and ATI graphics cards are now possible with CTC++ for CUDA Add-on.
Testwell CTC++ is a leading test coverage tools showing all coverage levels up to C3 coverage.
Security critical projects in aeronautics, medical and automotive are sucessfully using Testwell CTC++ to obtain certifications (DO-178B, EN 61-508, ...).
(28 November 2008)
Version 3.0.5 of Testwell CTA++ C++ Test Aider
is now available for Windows, Linux, Solaris and HPUX platforms.
The new version comes with an adjustmend of CTA++ code structure to avoid "deprecated" warnings with newer C++ compilers.
There are also some other small enhancements.
Our customers with maintenance will received the new version free of charge.
|
(Offenburg, 24 November 2008)
Verifysoft announces Verybench, a graphical frontend for the Code Complexity Measures Tool Testwell CMT++.
The CMT++ add-on provides distinct views of the complexities for developpers, reviewers, tester, management, and controlling.
Verybench generates outputs in text, HTML, XML, CSV, and PDF.
The release is planned for February 2009.
|
|
(San Francisco, 17 November 2008)
Coverity Architecture Analyzer automatically maps hierarchies and dependencies in C/C++ and Java code bases, providing the visibility and control development teams
need to detect potential defects and ensure code modifications align with original design specifications.
The tool supports a web-based interface and IDE plug-in for Java, allowing teams to navigate code, check for architectural accuracy, correct dependency defects and set complexity limits.
Further information:
Coverity Architecture Analyzer for C/C++
Coverity Architecture Analyzer for Java
|
|
|
(San Francisco, 11 November 2008)
Coverity is pleased to announce the availability of the newest version of their Software Integrity Suite.
This release includes capability enhancements as well as performance and stability improvements to Prevent 4.2, Thread Analyzer 1.3 and Software Readiness Manager 1.2.
A couple of new checkers for the analysis of C/C++ and C# code has been added.
For further information or to get your free trial of Coverity Prevent™ please contact us.
Further information: Coverity Prevent free trial
|
Image: Qualtech Conferences / Eurostar
|
The EuroSTAR 2008 gathering is widely acknowledged as training and education ground for most European testing professionals.
Our partner Conformiq Software will show the world leading model-based Automated Test Design™ tool
Conformiq Qtronic™.
The venue for EuroSTAR 2008 (Nov 10-13) is World Forum Convention Center, The Hague, Netherlands.
Next presentations of Conformiq Qtronic by Verifysoft Technology:
Software QS-Tag Model Based Testing, Nürnberg (Germany), Nov 6, 2008
Software Quality Days 2009, Vienna (Austria), Jan 20-22, 2009
Embedded World, Nürnberg (Germany), March 3-5, 2009
Workshop Automated Test Design™, Offenburg (Germany), March 26, 2009
|
|
|
|
(San Francisco, 22 September 2008)
Coverity is pleased to announce the availability of a Software Integrity Suite, available for download.
This release includes capability enhancements as well as performance and stability improvements to Prevent 4.1, Architecture Analyzer 4.1, and Thread Analyzer 1.2.
Coverity Prevent for C/C++ is the most precise static source code analysis solution available today.
It automatically identifies and helps resolve the most critical quality defects, security vulnerabilities and concurrency defects at the earliest stage in the software development cycle.
further information about Coverity Prevent
|
|
|
(15 September 2008)
Verifysoft Technology will host several workshops on Testing of Embedded Systems.
These trainings will be conducted by Professor Dr. Daniel Fischer of
Univerity of Applied Sciences in Offenburg (Germany).
The 2 day workshops will be held
in German language
in Offenburg (30.09.+01.10.08), Munich (27+28.04.09),
Hamburg (15+16.06.09), Suttgart (21+22.09.09), and Cologne (02+03.11.09).
Inhouse workshops in English language are available on
request for European
companies.
The workshop provides all essential skills to test efficiently and effectively
high-quality-value and reliable embedded softwares.
![[PDF]](icon-pdf-15x16.gif)
Agenda
|
|
|
(Offenburg, 11 September 2008)
During a workshop in Offenburg (Germany)
Conformiq Software and Verifysoft Technology demonstrated the advantages of
Automated Test Design™ such as faster test design, higher test quality, better test coverage,
easier test maintenance and more test reuse.
Then followed a presentation of
Conformiq Qtronic,
the leading automated test design tool that uses a system requirement model as input
to automatically generate test scripts.
Automatec Test Design represents a paradigm shift in test design for software and systems.
Companies interested in stepping into the future of test design are invited to contact us
for an inhouse presentation of Conformiq Qtronic.
|
|
(9 July 2008)
Coverity Prevent for C# expands the language coverage of Coverity´s static analysis
products, and brings the company´s proven expertise in automatic defect detection
to developers programming in C#.
It automatically analyzes large, complex C# code bases and detects critical,
must-fix defects that could lead to system failures, memory corruption,
unpredictable behavior, and performance degradation.
learn more
|
(4 July 2008)
The new version of
Testwell CTC++ Test Coverage Analyzer comes with the
following enhancements:
optimised multicondition coverage instrumentation,
the CTC++ Preprocessor (ctc) component is now much faster,
Microsoft C++/CLI extension "for each" is now handled,
introduced Eclipse IDE integration on Windows, etc.
|
Verifysoft organizes a free workshop on model based testing.
Specialists from Conformiq Software (Finland) present how to make better test cases
using Conformiq Qtronic, the leading solution for automatic test case generation.
11 September 2008: Conference Room, Technologiepark Offenburg
(Germany)
Language: English
Further information and online registration
|
|
|
|
(4 June 2008)
A new Verifysoft company and product flyer is now available for download.
The brochure provides information on our software testing and analysis tools,
automatic test generator Qtronic, code coverage and metric analysis tools, unit test tools
as well as some background information about our company.
Download:
English
Deutsch
Français
|
(22 May 2008)
Coverity, provider of the leading static analysis tool for C/C++ and Java,
announced its acquisition of build management vendor Codefast.
Technology and engineering talent acquired from Codefast will help
developers accelerate the software build process.
Conformiq Software presents Conformiq Qtronic at "Software &
Systems Quality Conferences" on April 16-18, 2008
at Congress Center Stadthalle Düsseldorf, Germany.
Qtronic is a test solution that delivers automatically test cases for
Black Box Tests. The input for the tool is a design model of your
software which can be created with Qtronic Modeler in the tool or be
"imported" form third party design tools.
Come to Düsseldorf and get a demo. Entrance to the exhibition
is free of charge on friday, April 18.
Further information:
Conformiq Qtronic
Software & Systems Quality Conferences
(4 April 2008)
Conformiq Qtronic version 1.3 has been released and is available immediately.
Qtronic 1.3 comes with an incremental test generation algorithm.
With this new feature, the generated tests are stored as assets for future use.
When tests are regenerated due to a change in the model etc. there is no need to
regenerate tests from the parts of the model that are not changed.
The performance of test generation has been improved significantly.
The quality of the generated test has been improved and the generated set of tests
is more compact.
For more information about Conformiq Qtronic, the leading model driven testing solution,
please go to the product pages
(18 March 2008)
Version 3.0.4 of CTA++ C++ Test Aider has been released.
The upgrade of this unit test tool is available for Windows, Linux, Solaris
and HPUX.
CTA++ comes with new Visual C++ 8.0 and new Visual C++ 9.0 IDE integrations.
There are also enhancements in the CTA++ run-time library, the ctastub
and cta2html utilities.
(14 March 2008)
CTC++ for Symbian Target Devices version 3.2 is available.
This upgrade gives GCCE cross compiler support.
Previosuly only RVCT cross compiler was supported.
There are also some technical improvements to make the behavior more robust.
|
Verifysoft Technology sponsors the "Journée Française des Tests Logiciels"
(French Software Testing Day), an event organized by the
"Comité Français des Tests Logiciels" (CFTL) in Paris on 17 June 2008.
Further information is available from the CFTL website.
|
|
|
(26-28 February 2008)
Verifysoft Technology has presented at Embedded World in Nuremberg new
versions of software testing tools for embedded systems.
Testwell CTC++, a tool fro code coverage analysis
in embedded C and C++ software projects supports all (even smallest) targets
and any compiler.
Also on show was Coverity Prevent, a tool for static analysis of bigger software projects,
and Conformiq Qtronic (version 1.2).
Qtronic generates automatically test cases for black box testing.
The tool uses design models (i.e. UML) to generate the tests.
|
(15 February 2008)
The Testwell CTC++ Test Coverage Analyzer 6.5 release
delivers XML reporting and enhancements in the HTML reporting.
The support for parallel "ctc-builds" has been improved.
Our maintenance customers will receive CTC++ 6.5 without supplementary fees.
Coverity CTO Ben Chelf presents on "Boolean Satisfiability"
and "Multi-threaded Application Development"
at Embedded World February 26 in Nuremberg, Germany.
Coverity´s static analysis tool Coverity Prevent uses the first
software analysis engine based on Boolean satisfiability (SAT).
Coverity Prevent identifies automatically complex defects in
(multi threaded) source code with unmatched precision and accuracy.
Embedded World Nuremberg:
Coverity Inc.: hall 11 stand 11-426
Verifysoft Technology GmbH: hall 11 stand 112
(11 January 2008)
Conformiq Qtronic version 1.2, a solution for automatic
test case generation, is now available.
Here what´s new in QTRONIC 1.2 :
- Introduced model import from
Sparx Systems Enterprise Architect.
- Model Debugging functionality has been integrated to the Online Testing and Script Generation modes
- New Windows installer that is based on open-source
Nullsoft Scriptable Install System.
- Added a new scripter for generating test scripts in TCL .
- TTCN-3 and HTML script generators has been extended and enhanced.
- Usability of Qtronic and Qtronic Modeler has been enhanced.
(4 January 2008)
Verifysoft announces that
"CTC++ for Java and C# Add-on"
an add on to
Testwell CTC++ is now available to analyse code coverage
in J#/Visual J#/JSharp projects.
The new version of the add on extends the Code Coverage capabilities of CTC++
from C and C++ to Java, C#, and J#/Visual J#/JSharp.
The tool analyses for all coverage levels as required in "critical"
software projects:
Function-Coverage, Decision-, Statement-, Condition-, Multi-Condition- (MCC), and
Modified Condition / Decision Coverage (MC/DC).
J#/Visual J#/JSharp enables developers to use Java-language syntax to build
applications and services on the .NET Framework.
Visual J# integrates the Java-language syntax into the Visual Studio
integrated development environment (IDE).
News of the year
2007,
2006,
2005,
2004,
2003
last updated: 05.01.2009
© 2003-2009 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
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.
|
![[Français]](flaggeF.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
