News

[Français][Deutsch]

Company     Conformiq Qtronic™     CMT++/CMTJava     CTC++/CTC for Java and C#     Coverity     Java Testing Tools


 

Verifysoft News now also on Twitter

Follow us on
twitter
Information about our updates etc. are now available on twitter
Here our latest news as of 1 July:
  • Trying to get a HTC Magic Today, look here http://bit.ly/mobiFlip :) about an hour ago
  • Minor update of the Renesas add-on to v0.3 level. Added the nc30 compiler, works now with compiler given response files. about 5 hours ago
  • Just released v0.2 of the CTC++ for Renesas add-on (nc308 compiler). Making code coverage the easy way for Renesas µControllers :) 2 days ago
  • Putted the ancient, but still working CTC++ for Borland C++ 5.0.2 code coverage IDE integration in our attic download. Paradigm may work. 8 days ago

 


Testwell CTC++ shows Test Coverage for TestWeaver

(Berlin, Offenburg, Tampere, 4 June 2009)

Testwell CTC++ Test Coverage Analyzer and and TestWeaver are now working together. TestWeaver generates and runs thousands of test cases, while Testwell CTC++ measures the code coverage automatically achieved this way.
The resulting code coverage is reported by Testwell CTC++ using various tables.
The combination of the two tools can be used to develop control software for automotive and aerospace applications, for medical devices and embedded systems. Benefits for developers are high test coverage and low workload for test engineers, since test cases are generated automatically.
TestWeaver is available from QTronic GmbH Berlin.

TestWeaver
CTC++ output for TestWeaver

 


Conformiq Qtronic™: Presentation at Software & Systemes Quality Conferences

SCQ Düsseldorf: Klaus Lambertz, Frank Erdrich

(Düsseldorf, 27 May 2009)

The software quality management and software testing community came together for the fourteenth time at the 2009 Software & Systems Quality Conference Germany in Düsseldorf.
Conformiq presented the leading Automated Test Design™ tool Conformiq Qtronic™.
Conformiq Qtronic™ 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™.
 
Photo: Klaus Lambertz and Frank Erdrich (Verifysoft) with customer in front of Conformiq booth
Publication with friendly permission of SQS Software Quality Systems AG

 


Coverity Announced the Availability of the Coverity Integrity Center

(San Francisco, 14 April 2009)

Coverity, Inc. today announced the availability of the Coverity® Integrity Center. This tool suite provides a full set of precision software analysis products in a single offer. This combination enables customers to identify and eliminate the root cause of problems during the design, code, build, and test phases of software development.

Coverity Integrity Center Coverity Integrity Center deliveres the following core capabilities:
Architecture Analysis: Analyze software design to ensure changes can be made with less risk and components can be easily reused for maximum business agility. Use architectural visualization and enforcement to identify hidden security backdoors that can cause costly breaches and data losses.
Static Analysis: Analyze source code for defects that can cause product delays or recalls. Expose security flaws early in the lifecycle so security audit teams don´t slow developers with expensive rework or slow them from working on product innovation.
Build Analysis Analyze software builds to identify problems and inefficiencies in the assembly of software that can cause costly product delays. Ensure that all open source components in the final product are documented and secure.
Dynamic Analysis Analyze applications as they execute in test environments to identify complex concurrency defects in multi-threaded applications and other crash causing software problems that can cause major delays in testing and delivery.
Further information: Coverity Integrity Center

 


iX-Study "Model based Testing" Available

iX-Studie

(3 April 2009)

Model based approaches are becoming more and more important for software development and for software testing.
Model based testing focusses on describing the requirements and behavior of the system under test in a model. This model is then used for the automatic generation of test cases.
A study of the German technical periodical "iX" on "Model based Testing: Modeling and generating tests - basics, criteria for tool use, tools in the survey" provides now detailed information about the fundamentals of model based testing and about model based testing tools including Conformiq Qtronic™.
The study (around 390 pages) is available in German language and can be ordered from www.heise.de. Price is 390 Euros (10% discount for any order before 1 May 2009).

 


Coverity® Reports Largest Quarter in Company History As Customer Base Surpasses 600

(San Francisco, 2 April 2009)

Coverity, Inc. today announced the completion of its most successful quarter in company history.
For the firtst quarter 2009, Coverity revenue increased 47% compared to the same period in 2008.
This success is the result of new customer acquisition and ongoing enterprise-wide adoption by existing customers as more large development organizations standardize on Coverity software integrity products enterprise-wide to reduce product failures, enable software change and accelerate innovation.
Coverity technology continues to be adopted within software-intensive industries including medical devices, telecommunications and networking, military and aerospace, gaming, security and enterprise software.
Over 100,000 developers and 600 companies rely on Coverity to help them ensure the delivery of superior software.

 


Testwell CTA++ C++ Test Aider Version 3.0.6 Available

(9 March 2009)

Testwell announces the availability of a new version of Testwell CTA++. The new version has Small enhancements: In data files now supporting simple expressions. Change in ASSERT_MEMEQ behavior. One bug fix in data file handling.
Our maintenance customers will receive the new version free of charge.

 


Embedded World 2009: Coverity Prevent Wins Embedded World Award

Verifysoft at Embedded 09 Verifysoft at Embedded 09
Verifysoft at Embedded 09 Verifysoft at Embedded 09
Embedded World 2009
    (Nuremberg, 5 March 2009)

At Embedded World Verifysoft Technology presented tools for embedded software developpement: Testwell CTC++ Test Coverage Analyser, Testwell CMT++ Code Complexity Measures Tool, Conformiq Qtronic™ (automatic test case generator for functional tests), and Coverity Prevent, a static code analysis tool.
Coverity Prevent has won the Embedded World Award (category software). Prevent is the leading static analysis tool for error detection in software.
Three of the visitors at our booth has won a 2-days-workshop "Testing of Embedded Systems". This workshop is also available as inhouse-workshop in English language. Please contact us for more details.

 


Testwell CTC++ Test Coverage Analyser Version 6.5.4 Available

(27 February 2009)

Testwell announces the availability of a new version of Testwell CTC++. The new version has various enhancements, i.e. added support for 64-bit code testing on all supported host platforms and added an easy to use arrangement to write coverage data from never-ending processes.
Our maintenance customers will receive the new version free of charge.

 


Updated Verifysoft Product Brochure Available for Download

Verifysoft

(16 Febraury 2009)

An updated Verifysoft company and product flyer is now available for download. The brochure provides information on our software testing and analysis tools, automatic test generator Conformiq Qtronic™, code coverage and metric analysis tools, unit test tools as well as some background information about our company.
The update has been necessary due to new features of the Automated Test Design™ tool Conformiq Qtronic™.

Download:

pdf  English       pdf  Deutsch

 


Conformiq secures 3 Million Euros in Investment Round

Conformiq ADT    (13 February 2009)

   Despite the economical climate, Conformiq secures 3 million euros in investment round.

Funding lead by Nexit Ventures mainly comes from "Finland´s industry investment Ltd." (Suomen Teollisuussijoitus Oy) and unclosed group of US angel investors.
Comformiq recently has transfered its business executives to Saratoga (California), but retain the product development in Espoo, Finland.
Conformiq focuses in model-based testing tools. The real innovation of the main product Conformiq Qtronic™ is that usually you would need to write tests, but Conformiq Qtronic™ generates and executes tests itself based on the design model.
The newest version of Conformiq Qtronic™ includes an Eclipse-based front end, which can be tied into Eclipse-based issue tracking software.
Conformiq Qtronic™ is a model-based testing (MBT) tool for the automated design of functional tests, derived from high level functional models of the software and systems to be tested.
Because the system is entirely model-based, Conformiq Qtronic™ can test any application regardless of language, though models must be designed in Java and UML.
A lot of MBT approaches provide tools for capturing test scripts at a higher level of abstraction. Conformiq employs a more advanced approach that focuses on modeling the requirements and behavior of the system under test and relies on automated test design tools to derive the proper test plans and test scripts.
Why write tests when you can have them written for you?
"The approach we've been advocating is instead of focusing on defining the tests, you look at the specification and you create a functional model of the test" said A.K. Kalekos, CEO of Conformiq. "This functional model approach saves time and money."
Further information about Conformiq Qtronic™

 


Conformiq Qtronic™ 2.0 is released for public evaluation

(23 January 2009)

Conformiq announced the release of Conformiq Qtronic™ 2.0, the leading tool for automatic model based test case generation.
Conformiq Qtronic™ 2.0 is a major change in Conformiq Qtronic™ architecture, from single monolithic software to client-server architecture. The Conformiq Qtronic™ Computational Server is powerful test generation engine, while Conformiq Qtronic™ Client is an Eclipse-based plug-in.
Here is a summary of major changes:

  • Separation of user workspace and test generation into two distinct components, Conformiq Qtronic™ Computational Server (QCS) and Conformiq Qtronic™ Eclipse Client (QEC).
  • Redesign of Conformiq Qtronic™ user space as an Eclipse plug-in making it available to various platforms such as Linux, Window & Solaris (tied to Eclipse availability).
  • Support for multiple test design configurations or profiles. Each test design configuration has its own coverage criteria and selection of script back-ends. While generation of test cases is possible without having a script back-ends (abstract test cases), a user can configure more than one scripting back-end in a test design configuration for executable test scripts. Test cases for multiple test design configurations are generated in parallel which makes test generation faster by sharing test generation results between multiple test design configurations more efficiently.
  • Incremental test case generation with local test case naming
  • Improved handling of coverage criteria
  • Capability to browse and analyse generated test cases in the user interface including graphical I/O and execution trace (no need to export HTML test plan)
  • Simplified plug-in API now can be developed in Java which eases the task of developing new plug-ins.
  • Support for online testing is currently supported by Conformiq Qtronic™ 1.X product family only and will be extended to 2.X family in the future.

 


Testwell CMTJava Code Complexity Measures Tool for Java Version 2.2 Available

(9 January 2009)

Testwell CMTJava Code Complexity Measures Tool for Java Version 2.2 is now available.
The so-called CMTJava long report is now generated in XML format. It gives new possibilities in integration to build tool chains.
There are also some other enhancements in the basic cmtjava tool and in the HTML report (cmtjava2html).
Our customers with software maintenance will receive the new version free of charge.

 


Test Coverage for Microcontroller and Graphics Cards

(6 January 2009)

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, ...).

 


Verybench for CMT++

Graphical Frontend for Testwell CMT++: Verifysoft Announces Verybench

(Offenburg, 5 January 2009)

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.

 


"Testing of Embedded Systems": Inhouse Workshops Available

Seminar Softwaretest Seminar Softwaretest
Seminar Softwaretest Seminar Softwaretest

(2 January 2009)

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]  Agenda

 


News of the year 2008, 2007, 2006, 2005, 2004, 2003


last updated: 02.07.2009

© 2008-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 Inc., Saratoga (USA)
Coverity Prevent, Coverity Extend, Coverity Integrity Center and Coverity Architecture Analyzer are products and trademarks of Coverity Inc., San Francisco (USA)
Automated Test Design is a trademark of Conformiq Inc., Saratoga (USA)
TestWeaver is a product of QTronic GmbH, Berlin (Germany)
all other trademarks of this site are the property of their respective owners.