GrammaTech CodeSonar: Integration with Microsoft Visual Studio

(Ithaca/New York, 27 November 2018)

Microsoft Visual Studio is still a dominant IDE for developers of C, C++, Visual Basic and C# code. It is also a popular for general C/C++ development even if the target application isn’t a Windows or .NET application. In fact, along with Eclipse, it’s a development environment in demand.
Paul Anderson, VP of Engineering at GrammaTech, explains in his latest publication how to integrate the Advanced Static Analysis Tool GrammaTech CodeSonar into Visual Studio.     Learn more

Elvior has released TestCast T3 version 6.13.1

(Tallinn/Estland, Offenburg/Deutschland, 31 October 2018)

Elvior has released a new version of the test execution tool TestCast with the following features:
  • TTCN-3:2018 support (ES 201 873-1 4.10.1, ES 201 873-5 4.8.1, ES 201 873-6 4.10.1, ES 201 873-9 4.9.1)
  • Proprietary modifier allowing to handle an external function in TCI-TM (instead of TRI-PA)
  • TTTCN-3:2019 correction for ASN.1 mandatory extension fields SEQUENCE and SET types

Crank Software Achieved Great Results with GrammaTech CodeSonar

(Ithaca/New York/USA, 9 October 2018)

Crank Software's products and services enable R&D teams and user interface (UI) designers to quickly and collaboratively develop rich, animated UIs for resource-constrained embedded devices.
Software quality and security are paramount for Crank Software. In addition, they must deliver their software with the same level of quality on over 55 different target hardware platforms.
In order to achieve their quality goals, Crank Software’s development team is using CodeSonar’s advanced static analysis capability to help find and fix quality and security issues within their code. In particular, they were looking for tools that could be dropped into their process and would quickly create improvements.
Crank’s development teams integrated CodeSonar into their production process, static analysis is used as soon as code is created or changes are made. Since issues are being caught and fixed very early in the coding process, they are seeing quantifiable results. CodeSonar is well suited for analyzing code right as it understands the code given sufficient information such as header files for the embedded OS.
As a result, of their use of CodeSonar they’ve also improved their end product and Crank Software is better-positioned for the certifications needed to drive greater adoption.
Learn more: GrammaTech Blog

Release of CodeSonar 5.0. with many highlights

(Ithaca/New York/USA, Offenburg, 20 August 2018)

GrammTech releases version 5.0. of the Static Code Analysis Tool CodeSonar with an increased language coverage with C# and support for Microsoft Visual Studio and Chinese language support, new copy and paste checker and binary code analysis decompiler increases the reach of CodeSonar across the enterprise. Further new features are:
  • C# Analysis with FxCop
  • Eclipse Integration
  • C++ Compatibility
  • Role-based Access Control Improvements
  • Copy-Paste Error Plug-in
  • Floating Point Warning Classes
  • SARIF Importer Plug-In
Click here to see all new features of CodeSonar 5.0.

From Milking Machines to the Airbus: Measuring Code Coverage for C, C++, Java and C# with a single tool.

(Offenburg, 2 August 2018)

From Milking Machines to the Airbus - nowadays Software is everywhere. In order to improve the quality, the software needs to be tested. Code Coverage shows the extend of the tests. Measuring Code coverage in Automotive, Railway, Aerospace and other safety-critical industries is mandatory by the standards like ISO 26262, DO-178C, EN 50128. But also for other applications code coverage is highly recommended in order to achieve good code quality. Many companies are using Testwell CTC++ for measuring the code coverage. The conformance to safety standards is one reason for the prevalence of Testwell CTC++ Test Coverage Analyzer, but there are various other reasons to use this tool.
Why companies choose Testwell CTC++ instead of other coverage tools? Read here

Release of Elvior TestCast T3 version 6.12.3

(Tallinn/Estland, Offenburg/Deutschland, 5 July 2018)

Elvior has released a new version of the test execution tool TestCast with the following features:
  • Support for TTCN-3: 2017 edition of XSD conversion rules (ES 201 873-9 version 4.9.1)
  • Property allowing to use internal ASN.1 codec regardless of presence of additional encode parameters
  • TriSnapshot message is optional now and can be enabled or disabled in the project settings
  • Detection of errors connected with calling functions with fuzzy parameters from special places
  • Component end log item contains a trace of 10 last executed instructions

Imagix has released Imagix 4D version 9.1

(Offenburg/Germany, San Luis Obispo/USA, 1 May 2018)

Imagix has released version 9.1 Imagix 4D with the following new features:

  • Added metrics and analysis of stack size for embedded code
  • Added import of test coverage data from Testwell CTC++
Learn more about Imagix 4D version 9.1

Release of Elvior TestCast T3 version 6.12.2

(Tallinn/Estland, Offenburg/Germany, 28 February 2018)

Elvior has released a new version of the test execution tool TestCast with the following features:
  • TCI 2017 support (ES 201 873-6 version 4.9.1)
  • Advanced matching support (ES 203 022 version 1.1.1)
  • ASN.1 OER support (ES 201 873-7 version 4.6.1)
  • JSON support (ES 201 873-11 version 4.7.1)
In addition there are several improvements and bug fixes.

GrammaTech Extends the Reach of Static Analysis by Combining Static Analysis for Source and Binary with Dynamic Analysis

(Ithaca/New York/USA, Offenburg/Germany, 16 February 2018)

GrammaTech will soon release two new tools available to find more bugs earlier, and fix them quicker: CodeSonar/Libraries and CodeSonar/X.
CodeSonar is the first static analysis tool that can extend source code static analysis into libraries that are only available in binary form through its CodeSonar/Libraries plugin. The tool adds the capability to seamlessly switch between source and binary analysis as it examines possible paths through the program. This results in a net increase of the number of problems detected in the user’s source code. Many software development projects use binary libraries with content from third party vendors, or from existing legacy code. Examples of these include firmware, operating system libraries, graphical user interface subsystems, or middleware layers such as CORBA, DDS, MQTT or others.
CodeSonar/X is a ground-breaking new capability connecting static analysis with dynamic analysis to help software developers improve efficiency, further reduce risk and decrease time-to-market. This plug-in for GrammaTech’s CodeSonar reports state corruptions during host-based testing by monitoring memory access. It combines static and dynamic violations and reports them in the CodeSonar User Interface, helping engineers correlate and prioritize.
CodeSonar/Libraries is available now, with CodeSonar/X following later this year.

"One License which Covers All" Policy / Price Adjustment for Testwell Maintenances

(Offenburg/Germany, 1 February 2018)

The software maintenance for Testwell tools covers technical support, software upgrades/updates and replacement of the licenses in case of server changes (only applicable for perpetual floating licenses).
For most of the markets handled by distributors the yearly maintenance cost was already 20% and will remain at this price. Some markets handled by distributors and the markets handled directly by Verifysoft have had still an extremely low maintenance rate of 15% in the past.
In addition to the core of Testwell CTC++, we offer a broad variety of integrations, configurations and converters. We had discussions whether our customers should pay for the different adaptations and add-ons. Finally we decided to keep our "One license which covers all" policy. This means that also in future no extra license is needed for these extra tools, adaptations and add-ons (for more details please check below). We are happy to maintain and to extend these kind of services to our customers in the future. But, in order to cover our development cost, we are obliged to adapt the maintenance fee from 15% to 18% starting in April 2018 for the markets which are not applicable to the 20% maintenance rate.

Here a partial list of integrations, configurations and converters covered by the Testwell CTC++ license without additional fees:
Testwell CTC++ Integration in IDEs include: Visual Studio, Eclipse, MPLabX, TI Code Composer Studio, Fujitsu: Softune, IAR Embedded Workbench.
Sample configurations for compilers & toolchains include: HI-TECH, Renesas (including former Hitachi and former Mitsubishi compilers), Cygwin toolchains, Tasking VX-toolsets, Metaware, Cosmic, Freescale/Metrowerks, Greenhills/GHS/Multi, Freescale/Motorola, Visual DSP++, Keil, ECJ (Java).
Miscellaneous: Converter to Cobertura XML report (v1.0.2), Plugin for SonarQube (v4.5), Plugin for Imagix 4D: Visualization of code coverage and call pair report, WinCE Add-on, Package for Linux Kernel 2.6, Package for JavaCard, Annotation add-on.
Ongoing Development: Viewer for JSON reports, Converter to native SonarQube format, and many more ...

Testwell CTC++ 8.2.2 Available

(Offenburg/Germany, 12 January 2018)

Testwell CTC++ edition 8.2.2 of the leading Code Coverage Analyzer has been released and is ready for download by customers.
The update provides the following major features:
  • Support of OpenMP
    Testwell CTC++ ed. 8.2.2 fully supports the OpenMP standard for parallel programming. The instrumentation of loops marked for parallel execution has been imroved.
  • New Tool ctcdiff
    Two reports from different test runs can be compared. The resulting report shows if coverage was improved or worsened for every summary level. Different test suites can easily be checked against code coverage efficiency.
    > more information