Tool specific news:
Conformiq Tool Suite
CTC++/CTC for Java and C#
Diagnostics Seminars ALL NEWS
(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. >
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 suport 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&uot;
(CFTL) in Paris on 26 March 2013.
News of the year
2012, 2011, 2010,
2009, 2008, 2007,
2006, 2005, 2004,
last updated: 14 May 2013
© 2013 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy,
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