News 2009
Company Conformiq Qtronic™ CMT++/CMTJava CTC++/CTC for Java and C# Coverity Java Testing Tools
|
|
|
(Sindelfingen, Germany, 9-10 December 2009)
At the ESE Kongress in Sindelfingen, the German biggest congress for embedded software engineering with approx. 600 participants, Verifysoft has presented a new graphical front end (Verybench) for the code complexity measure tools Testwell CMT++ and CMTJava. Verybench processes software metrics for different target groups like managers, project managers, developers, reviewers and testers.
Also, the code coverage tool Testwell CTC++ which makes possible the measure of the test coverage in smallest embedded targets sparked interest. The automatic test generator Conformiq Qtronic™ has also been shown as well as the static code analysis with Coverity Prevent.
Website ESE Kongress
|
(19 November 2009)
Testwell announces the availability of a new version of the host-target add-on for Testwell CTC++.
Version 4.0 simplifies compiling for the target. Easy building DLLs have been added.
The host-target add-on allows the measurement of code coverage in any target.
Maintenance customers can update to the new version free of charge.
|
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 30 March 2010.
Further information is available from the CFTL website. |
(13 October 2009)
A new version of Testwell CTC++ for Symbian Target Devices add-on is available. Version 4.0 of this add-on has a significant speed improvement in the instrumented code. An easy-to-use arrangement for automatic and periodic saving of the coverage data has been introduced (useful when doing long test runs with unstable system).
Testwell CTC++ for Symbian Target Devices add-on: further information
(7 October 2009)
Testwell announces the availability of a new version of Testwell CTC++ for all supported host platforms (Windows, Linux, Solaris, HP-UX).
The version 6.5.5 has a more robust handling of some GCC extensions. On Windows version enhancements in Visual Studio integrations (Express edition, Visual Studio 2010).
There are various other enhancements and bug fixes like fixes in some extreme C++ use cases, e.g. with Boost C++ library.
Our maintenance customers will receive the new version free of charge.
(Saratoga, California, 13 July 2009)
Conformiq Inc. announced the availability of Conformiq Qtronic™ version 2.1, now utilizing the power of multi-core, distributed and parallel computing for faster automatic testcase generation. This scalability breakthrough paves the way for deploying Conformiq Qtronic™ in grids and on cloud computing platforms. By distributing the computations on multi-cores or across clustered computer systems, testers can speed their test case generation process and reduce costs.
Conformiq Qtronic™ automates the design of tests for software and systems by generating black-box functional tests from high-level models without user intervention. These models can be created in a fraction of the time compared to writing the corresponding test cases by hand. This way test generation speed is increased by as much as 20 times, and helped them achieve higher test quality and better test coverage. The mean of customer benchmarks shows test generation speed increases more than 5 times at the beginning of a Conformiq Qtronic™ deployment.
Conformiq Qtronic™ automatically generates functional black-box tests using mathematical algorithms from system models expressed in Java and in UML. It provides a fully interactive workbench approach to automatic test case design. The tool's open interfaces enable customers to integrate the tool with their test execution infrastructure
Further information about Conformiq Qtronic™
|
|
(Friedrichshafen/Germany, 1 July 2009)
Daimler AG and QTronic GmbH presented at International VDI Congress Transmissions in Vehicles in Friedrichshafen (Germany) the model-based development of a dual-clutch transmission.
For the development the tools Silver and TestWeaver of QTronic GmbH (Berlin) are used. Code Coverage is done with Testwell CTC++.
The presentation is available from the webpage of QTronic GmbH.
|
Follow us on
| 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
|
|
(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.
| 
 | |
| Development organizations that create safety-critical airborne software systems must have the systems approved for use. The Federal Aviation Administration (FAA) recognizes DO-178B as an acceptable means of compliance. DO-178B is one of the most stringent standards in use in the software development industry. It offers a strict certification requirement for software where anomalous behaviour could cause a catastrophic failure condition.
The standard is considered so thorough that it has been often used outside the aeronautics industry including Nuclear Power, Rail and Automotive, and Medical industries.
Coverity Inc. has now published a document discussing how the Coverity Integrity Center can help with specific software verification guidelines as outlined in DO-178B.
![[PDF]](icon-pdf-15x16.gif) Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center. |
|
(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 |
(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 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 |
|
(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). |
(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.
(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.
|
|
| (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. |
(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.
|
(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:
English Deutsch |
| (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 ofConformiq 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™™ |
(23 January 2009)
Conformiq announced the release ofConformiq Qtronic™ 2.0, the leading tool for automatic model based test case generation.
Conformiq Qtronic™™ 2.0 is a major change inConformiq Qtronic™ architecture, from single monolithic software to client-server architecture. TheConformiq Qtronic™ Computational Server is powerful test generation engine, whileConformiq 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) andConformiq Qtronic™ Eclipse Client (QEC).
- Redesign ofConformiq 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 byConformiq Qtronic™ 1.X product family only and will be extended to 2.X family in the future.
(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.
(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, ...).
|
(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.
|
|
|
(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.
Agenda |
News of the year 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003
last updated: 10 Jan 2012
© 2008-2010 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. |
![[Français]](flaggeF.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
