Tool specific news:
Conformiq Tool Suite
CTC++/CTC for Java and C#
Diagnostics Seminars ALL NEWS
(Offenburg/Germany, Paris/France, 27 November 2013)
Verifysoft welcomes Mr. Olivier Casse as Regional Sales Manager.
He is based in Paris and will support our French-speaking customers
in France, Switzerland and Belgium starting from January 2014.
Mr. Casse brings to the company over 20 years of professional
experience in technical sale of embedded software tools for
software tools providers like Wind River, Atego, Artisan, I-Logix
etc. > Distributors
(s´Hertogenbosch/Netherlands, 7 November 2013)
Bits&Chips Embedded Systems has a shining track record in
the Netherlands as being the major forum for industrial and
academic practitioners in embedded systems coming from the
Netherlands, Belgium and the western part of Germany. The
industrial keynote was be presented by Peter Frans Pauwels, founder
TomTom. Verifysoft showed solutions for code coverage in small
targets. The presentation is now
> further information about Bits&Chips Embedded Systems.
Klaus Lambertz, CEO of Verifysoft Technology GmbH, said "I am
delighted to be working with SCL to launch our products into the UK
market, their technical support and customer support will provide
valuable local resources for the Testwell software." Testwell
CTC++ is the ideal tool to measure code coverage on embedded
targets and microcontrollers. As Testwell CTC++ has a very low
instrumentation overhead, it can be used on host as well as for
measuring code coverage in all (even smallest) embedded targets and
microcontrollers. Testwell CTC++ supports all compilers and
||(Crawley/United Kingdom, Offenburg/Germany, 29
SCL and Verifysoft Technology have signed an agreement about the
distributionship for Testwell tools in the UK and Ireland.
"We have selected the Testwell software because it allows our
customers to perform code coverage on any embedded target
supporting the certification process for a variety of Standards
such as DO178-C, IEC61508, EN50128 and ISO26262", said Alan Hall,
Managing Director at SCL. He went on to say "The Testwell software
provides complementary capability to our existing technology for
Static analysis with the CodeSonar and Lattix products."
For more information read the press release.
(Offenburg/Germany, 25 October 2013)
Verifysoft organises regularly trainings and meetings for
Testwell CTC++ and Testwell CMT++/Java distributors. The latest
training for our distributors
was held from October 21 to 24 in Offenburg (Germany). Our partners
from France, India, Italy and the United Kingdom participated in
this Distributor Days. Besides technical and sales training there
was also a social event on the agenda. During a guided tour in the
Forest Open Air Museum the Testwell specialsts experienced how
was life 400 years ago - without computers, software bugs and
without any need for good testing tools...
Since the acquisition of the Testwell technology in July 2013,
Verifysoft has already signed distribution agreements with partners
in Finland, Israel, India, Italy, Korea and UK. We will also
strengthen our position in the French market and have started
discussions in order to cover USA and Japan.
Verifysoft´s flagship product, Testwell CTC++ is the leading Code
Coverage Analyser and works with all compiler and all (even very
small) embedded targets and microcontrollers. "There is an
increasing demand for Testwell CTC++ from all over the world," said
Verifysoft CEO Klaus Lambertz. "We need to rely on well trained
partners in order to satisfy our customers on all five
(Ithaca, New York/USA, 24 October 2013)
GrammaTech, Inc., announced that Europe´s foremost
thought-leadership academy, the Academia Europaea, has elected Dr. Thomas Reps,
President and Co-Founder of GrammaTech, to be a foreign member in
the Informatics division. Academy members rarely include scholars
who are residents in other regions of the world. Only nine from
3,000 members of the Informatics division are from the United
"The invitation by Academia Europaea honors Tom´s groundbreaking
research on automated program analysis, computer security, and
model checking based on his work at University of Wisconsin and
GrammaTech," stated fellow member of the academy, Prof. Dr. Dr.
h.c. Reinhard Wilhelm of the Saarland University in Saarbrücken,
The Academy´s mission is to encourage the highest possible
standards in scholarship, research, and education, while promoting
interdisciplinary and international research in all areas of
(Tallinn/Estonia, 16 September 2013)
Elvior has released version 6.7.3 of it´s test development and
execution platform TestCast.
New features include TCI-TL support for Java and Support for TCI
and TRI version 4.5.1.
(Santa Clara/USA, 29 August 2013)
QMetry 5.5 is
available. New features include: Implemented Broadcast Messaging to
users help icon QMetry Release Notes, Added report "Test Case
Execution By Date per User" help icon QMetry Release Notes, Added
integration with Assembla defect tracker, Added delete function to
the API help icon QMetry Release Notes, Added API to create a
requirement, Added Precondition as a field that gets copied to the
description field of JIRA help icon QMetry Release Notes, Added API
for listing TestCases in a Test Suite, Added ability to save
Advanced Boolean Searches to easily create TestSuites (Enterprise)
help icon QMetry Release Notes, Added new Continuous Testing report
(Enterprise) help icon QMetry Release Notes, Added report "TestCase
Results By Tester Per Drop" (Enterprise) help icon QMetry Release
Notes, Updated Test Suite Export (Enterprise) help icon QMetry
Release Notes, Added Export on execution screen (Enterprise) help
icon QMetry Release Notes, Added Role Rights to allow users to see
other users tasks (Enterprise) help icon QMetry Release Notes,
Added additional Save button to the Test Plan Module help icon
QMetry Release Notes, Allow users to save import map as a private
mapping, Added a Quick Start Video to help new users. There are
also several other enhancements.
(Ithaca, New York/USA, 19 August 2013)
GrammaTech has been selected by the U.S. Navy to develop a tool
that will provide computer systems with the ability to understand
and react to malicious attacks, and then continue running safely.
In this project, GrammaTech researchers will use a combination of
automatic program analysis and manual tuning techniques to develop
a tool for creating a model of a system´s intended behavior,
capturing its most important properties and determining what low
level events must be tracked in order to observe the system´s
The development of this tool will provide security-critical systems
with an extra layer of protection against attacks, including
attacks that don´t involve unusual system call activity. The
technology will be immediately useful to branches of the
government, financial institutions, and any companies whose systems
require strenuous security protection.
||(Raanana / Israel, Offenburg / Germany, 8 August
Pertech Embedded Solutions and Verifysoft Technology have signed
an agreement about the distributionship for Testwell tools in
Israel. Pertech provides innovative embedded software, professional
services and training programs to speed up time to market and
reduce resource requirements for real time development projects.
The company is based in Raanana close to Tel Aviv. Pertech serves a
wide range of markets, including communications, aerospace,
defense, medical, Internet, multimedia and automotive. >
(Tallinn/Estonia, 2 August 2013)
Elvior has released version 6.7.2 of it´s test development and
execution platform TestCast.
New features include detailed mismatch report, detailed decoding
analysis and log playback.
||(Chennai / India, Offenburg / Germany, 1 August
Lexington Soft Private Limited and Verifysoft Technology have
signed an agreement about the distributionship for Testwell tools
in India. Lexington Soft is a provider of end to end enterprise
software solutions for Software Development, Testing and Quality.
The company is headquartered in Chennai and has further offices in
Bangalore and Lexington (USA). > Distributors
||(Turin / Italy, Offenburg / Germany, 26 July 2013)
Dofware, a company specialised in embedded solutions, and
Verifysoft Technology GmbH have signed a distribution agreement for
Testwell tools covering Italy and the italian speaking part of
Switzerland. The company, located in Turin, has important customers
in automotive, aerospace and other sectors. > Distributors
(Offenburg/Germany, 22 July 2013)
A new Verifysoft company and product flyer is now available for
download. The brochure provides information on Testwell CTC++,
Testwell CMT++ and CMTJava, as well as for Verybench for CMT++.
There is also some background information about our company.
||(Seoul/Korea, Offenburg/Germany, 3 July 2013)
Verifysoft Technology GmbH has extended its sales channel for
all Testwell tools to Asia by signing a reseller agreement with the
South Korean company ArchitectGroup. The company, located in Seoul,
is a consulting organisation focusing on software quality
management and testing. The company´s customer base includes
Samsung, Daewoo, LG and many more...
Only a few days after signing the agreement, ArchitectGroup
reported the first order: an important manufacturer of medical
devices will use Testwell CTC++ in order to guarantee highest
quality of it´s software. > Distributors
Testwell Headquarters in Tampere (Finland)
||(Offenburg/Germany, Tampere/Finland, 1 July 2013)
Verifysoft Technology GmbH has acquired all intellectual
property rights for the software test and analysis tools of
Testwell (Finland). The aquisition includes Testwell CTC++,
CMT++/CMTJava und CTA++ as well as tools for the ADA programming
Since the year 2003, Verifysoft Technology GmbH has already
delivered continuous success in marketing Testwell tools in German
speaking countries, France and the Benelux countries. Also after
the acquisition by Verifysoft, the tools will be available under
the brand name "Testwell". Verifysoft plans to further increase the
sales through a worldwide network of distributors. Major European
markets will be handled directly by Verifysoft.
Testwell will remain an independent company in Tampere (Finland)
with the mission to continue the development of the tools on behalf
of Verifysoft Technology. Testwell will also be one of Verifysoft´s
distributors, serving important key accounts from Finland.
(Offenburg/Germany, 14 May 2013)
Verifysoft announces a qualification kit for the Test Coverage
Analyser Testwell CTC++. The
Qualification Kit for Testwell CTC++ will provide documentation,
test cases, and procedures that will let you qualify Testwell CTC++
Test Coverage Analyser for projects based on the safety standards
ISO 26262, IEC 61508, EN-50128, and DO-178C.
The kit which will be available end of this year and will
facilitate certification of embedded systems which use Testwell
CTC++ for analysing Test Coverage.
Current CTC++ users and companies interested in using Testwell
CTC++ for analysing test coverage in their projects can already
order the CTC++ qualification kit for a special subscription price.
(Tampere/Finland, 13 May 2013)
Version 7.1.2 upgrade is a small bug fix version of the leading
Test Coverage Tool Testwell CTC++. As
in the previous upgrade there are further enhancements in the HTML
report. Customers with software maintenance can download the new
version free of charge.
(Ithaca, New York/USA, 23 April 2013)
|GrammaTech CodeSonar will be integrated
with the Eclipse IDE. This integration will provide developers with
the ability to correct programming defects found by CodeSonar
without leaving Eclipse. Developers can use CodeSonar´s Eclipse
plug-in to run a CodeSonar analysis from within Eclipse, allowing
them to examine their code on the desktop and fix issues before
check-in. Results are automatically synchronized with a central
server running at the customer site, enabling the development team
to manage results in a coordinated way. For example, when a user
categorizes a defect warning as a high-priority issue, the
categorization is propagated to the rest of the users. Users can
also compare the results of different analysis runs, for instance,
comparing an analysis performed locally to a nightly build
analysis, to focus on newly-introduced coding errors.
The CodeSonar Eclipse plug-in is expected to be available late this
summer. Customers with a current software maintenance contract will
receive it at no additional charge.
click to enlarge
In the past four months, GrammaTech submitted eight proposals, six
of which have been selected for funding. The remaining two are
||(Ithaca, New York/USA, 22 April 2013)
GrammaTech Inc. has been selected for award on more than eight
and a quarter million dollars in research contracts. GrammaTech
performs sponsored research for many branches of the U.S.
Government. Over its twenty-five year history, government customers
have included the National Aeronautics and Space Administration
(NASA), National Institute of Standards and Technology (NIST), and
National Science Foundation (NSF).
"These awards underscore the company´s continued success and the
strength of our research team, which includes world-class experts
in automated program analysis," said Tim Teitelbaum, GrammaTech´s
CEO and Professor Emeritus in Cornell´s Computer Science
Department. "We recently expanded our offices to include a branch
in Madison, WI, and are aggressively growing our teams of talented
computer scientists and software engineers in Ithaca, Madison, and
New York City.".
The results of this research are tools used by software developers
around the world to find critical bugs and security vulnerabilities
in their code.
(Tallinn/Estonia, 18 April 2013)
Elvior has released version 6.7.1 of it´s test development and
execution platform TestCast
with the following new features:
To see all enhancements, please click here.
- TTCN-3:2013 support
- Configuration and deployment extension package support
- Support for more than one script in a campaign and embedded
(Tampere/Finland, 9 April 2013)
Version 7.1.1 upgrade is a small bug fix version of the leading
Test Coverage Tool Testwell CTC++.
There are also some enhancements in the HTML report. Customers with
software maintenance can download the new version free of
click to enlarge
||(Ithaca, New York/USA, 26 February 2013)
GrammaTech today unveiled new enhancements to CodeSonar´s
software architecture visualization features. The newest features
include a new treemap view designed to allow users to easily see
the hierarchical structure of the code in a very information-dense
form. The view uses colorization to show the density of defects in
modules so users can easily identify the most problematic parts of
The call graph is organized by module structure. Users can drill
down to see a greater level of detail, choose different layouts
such as treemap, circuit, cluster, flow, radial and other layouts,
and attach persistent notes to the diagram. Transitions such as
zooming or layout changes are fluid and real-time. >
(Santa Clara/USA, 26 February 2013)
QMetry, a premier provider of Test Management solutions today
announced the latest release of its award-winning Test Management
Platform. QMetry 5.4 focuses on improvements for teams using Agile
methodologies, as well as enhancements in its Integration
capabilities with ALM products and in the Reporting capabilities
embedded in the platform.
QMetry 5.4 improves its archiving feature with the ability to
easily migrate backlogs from one release to another. Further, both
Releases and Cycles can now be locked to enable teams to freeze
activity at certain checkpoints and thereby isolate test artifacts
and results. There is also easy access to a CI module via a link to
Jenkins that enables QA teams to have a unified and consistent view
of relevant testing information.
With QMetry´s Continuous Testing feature, organizations using Agile
development practices can test each iteration, or "build", that
comes out of development. Development groups may deliver to QA
multiple increments, builds, or "Drops" in a given week. With
Version 5.4 QMetry adds the ability of QA organizations to assign
default drops per cycle and/or per QA role.
From 7 March through end of May 2013 the "TPO-Kunstforum" shows the
artwork of Gallien (one of Verifysoft´s shareholders) and of the
photo designer Tobias Zappe.
Patricia Gallien, living in Strasbourg (France) is painter-sculptor
of art brut. Her artwork is the result of her sensitivity to the
poetry of the object.
Verifysoft invites it´s customers and fellows to attend the
vernissage which takes place at Technologiepark Offenburg on Thursday, 7
March starting at 6.30 pm.
Gallien (both in
Click to enlarge
||Paul Anderson, VP of Engineering at GrammaTech,
will give a talk on software architecture visualization at the
World 2013 conference. Embedded World attracts over 22,000
visitors from 57 countries and is the world´s largest annual
gathering for the international embedded community. The 2013 event
runs from February 26 - February 28 in Nuremberg, Germany.
Don´t miss Paul´s presentation "Visualizing Program Structure with
Static Analysis" on Wednesday, February 27, 2013 at 11:45.
Inform yourself about GrammaTech´s static code analysis tool
GrammaTech Inc.: booth 4-626
Verifysoft Technology GmbH: booth 4-308
Request your free trial of GrammaTech CodeSonar here.
flagship product, is the most powerful source code analysis system
available today. Extraordinarily precise, GrammaTech´s CodeSonar
finds, on average, 2 times more serious defects in software than
other static analysis solutions. Designed for organizations with
zero tolerance for defects and vulnerabilities in their code,
CodeSonar provides static analysis for applications where
reliability and security are paramount.
||(Ithaca, New York/USA, Offenburg/Germany, 1
Verifysoft Technology is excited to announce our distributorship
for GrammaTech in Germany, Austria and Switzerland.
GrammaTech is a software-development tools vendor based in Ithaca,
New York. The company was founded in 1988 as a technology spin-off
of Cornell University.
Since 2006 Verifysoft Technology has successfully introduced the
static analysis tools of Coverity Inc. (San Francisco) into the
German speaking markets. Coverity is now present in Europe with
it´s own sales team. Verifysoft Technology decided for company
strategic reasons to not extend the distribution agreement with
Coverity Inc. for a further period. Coverity´s static analysis
tools focus only on large code bases. GrammaTech CodeSonar is used
for projects using CodeSonar on many millions of lines of code as
well as for smaller embedded projects. > further information
(Tampere/Finland, 1 February 2013)
Testwell announces the availability of a major update of the
leading Test Coverage Analyser Testwell
CTC++. Testwell CTC++ 7.1 supports all the new C++11 standard
features like lambda functions, trailing return type, range-based
loops, etc. There are also several other enhancements.
Customers with software maintenance can download the new version
free of charge.
(Tallinn/Estonia, 1 February 2013)
Elvior has released version 6.7.0 of it´s test development and
execution platform TestCast
with extended TRI (xTRI) support, logging of template names,
extension package for reading SUT status, TRI support for
parameterized map and unmap operations, ASN.1 permitted alphabet
constraint support and several other improvements.
(Tallinn/Estonia, 21 January 2013)
EstCube is an Estonian space satellite program, that will send
Estonia´s first satellite into orbit less than three months from
now. Elvior supports the project by supplying software testing automation tools to
EstCube uses Elvior´s TTCN-3 and model based testing platforms. To
learn more visit EstCube´s webpage.
click to enlarge
(Paderborn, Offenburg/Germany, 10 January 2013)
Testwell CTC++ shows the code
coverage during the PC-based simulation of virtual ECUs generated
with SystemDesk®. SystemDesk is a product from
dSPACE that supports the development of complex ECU software based
In addition, Testwell CTC++ can be used for analyzing the code
coverage of TargetLink® models simulated in SIL or PIL
> further informationen
The Verifysoft Technology team thanks all customers and partners
for the successful year 2012.
We wish you all the best for the new year 2013.
Photo: Titisee (Black Forest, Germany), December
Verifysoft Technology sponsors the d"French Software Testing Day"
JFTL, an event
organized by the "Comité Français des Tests Logiciels" (CFTL) in
Paris on 26 March 2013.
News of the year
2012, 2011, 2010,
2009, 2008, 2007,
2006, 2005, 2004,
last updated: 27 November 2013
© 2013 Verifysoft Technology GmbH
Testwell CTA++, Testwell CTC++, Testwell CMT++ and CMTJava are
products and trademarks of Verifysoft Technology GmbH, Offenburg
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are
products and trademarks of Conformiq, Saratoga (USA)/Espoo
CodeSonar® and CodeSurfer® are products and trademarks of
GrammaTech, Ithaca/New York (USA)
DataDrill Express is a product of Distributive Management,
Fredericksburg VA (USA), main distributor for Europe: Spirula,
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
QMetry is a product and a trademark of QMetry, Santa Clara
Verybench for Testwell CMT++ is a product of Verifysoft Technology,
all other trademarks of this site are the property of their