|
Company
Conformiq Qtronic™
CMT++/CMTJava
CTC++/CTC for Java and C#
Coverity
Java Testing Tools
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.
|
|
|
|
(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 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™
|
(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.
(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
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.
|
![[Français]](flaggeF.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
