News

[Français][Deutsch]

Tool specific news:

Company     Testwell CMT++/CMTJava     Testwell CTC++     Elvior TestCast     GrammaTech     Imagix4D     Seminars     ALL NEWS


 

Verifysoft announces Testwell CTC++ interface with MATLAB Simulink

(Offenburg/Germany, 12 April 2016)

Verifysoft announces an interface of Testwell CTC++ Test Coverage Analyser with MATLAB Simulink.
This interface, which is currently still under development, will be validated by selected customers based on their business requirements. Testwell CTC++ is a leading code coverage tool which supports all compilers and all embedded targets. The tool analyses all coverage levels up to MC/DC-Coverage and Multicondition Coverage. It can be used for analysing software written in C, C++, Java and C#. The coverage analyser can be used together with any unit testing tools.
Testwell CTC++ is integrated in many tool chains, testing environments, and software quality tools like dSPACE SystemDesk, dSPACE TargetLink, Imagix 4D, SonarQube, CATIA Systems AUTOSAR Builder (DASSAULT SYSTEMES), PikeTec Time Partition Testing (TPT), QTronic TestWeaver, and many others.
Testwell CTC++ is also integrated in many IDEs. Adding a new IDE or tool chain to the integration/interface list of Testwell CTC++ is very easy. The main prerequisite being that the IDE can be customized (menus, processes...).
Simulink from The Mathworks is an industry standard tool which is highly tuneable. Thanks to the simple but efficient script-based technology of Testwell CTC++, no specific features or ´patches´ have been needed for the interfacing. Adaptations of Testwell CTC++ to other tools need often only documented parameters.
Our video Testwell CTC++ (Verifysoft) and MATLAB /Simulink provides a complete Proof Of Concept demo on how to collect coverage data with Testwell CTC++ in MATLAB Simulink tool from The Mathworks.

 


A.I. Corpration (AIC) presents Testwell tools the Embedded Technology 2016 in Japan

(Offenburg/Germany, Yokohama/Japan, 12 April 2016)

AIC, our distributor in Japan, will present Testwell tools at Embedded Technology 2016 from 16th to 18th november in Yokohama (Japan).
Embedded Technology consists of professional exhibitions and conferences featuring embedded technologies and solutions which are essential to cutting-edge technologies. Within the years, embedded system technologies have become widely used in various fields of manufacturing both in consumers´ and industrial use.   > further information

  -

 


Verifysoft talks about Code Coverage approaches for Small Embedded Teargets at the Device Developers Conference in UK

(Offenburg/Germany, 5 April 2016)

Verifysoft talks about Code Coverage approaches for Small Embedded Teargets at the Device Developers Conference on 27th April 2016. The Device Developers Conference 2016 is a free two-day event taking place in Cambourne just outside of Cambridge (UK). The conference offers technical presentations, technical workshops and a vendor exhibition, and will be an opportunity for you to meet and engage with expert engineers and scientists from the companies that are developing the next generation of tools and technologies. We are looking forward to meeting you at our booth during the conference on either 27th or 28th of April.     > further information

 


Elvior has released 3rd generation of TestCast MBT

(Offenburg/Germany, 23 March 2016)

TestCast MBT is model based testing tool: SUT behavior is modeled as UML state charts; structural test coverage criteria is set on the model; abstract test cases are designed and generated automatically. Tests can then be rendered into executable TTCN-3 scripts and executed on TestCast T3 tool (included into TestCast MBT bundle).
First (former MOTES) and second generation of TestCast MBT used 3rd party UML tool for modeling.
The third generation of TestCast MBT has built in system model editor that is harmonized with TTCN-3 data model.
Tool lifts test automation provided by Elvior into next level - due to user-friendly interface and powerful TTCN-3 execution platform. TestCast MBT can be used on different application areas: from embedded systems to web testing.

 


Testwell CTC++ available for IBM AIX 7 PowerPC

(Offenburg/Germany, 21 March 2016)

Verifysoft Technology announces the availability of Testwell CTC++ v8.0 on IBM AIX 7 PowerPC. The binaries in this AIX distribution were built on IBM AIX 7, gcc 4.6.3 C compiler. We thank our shell provider at Polarhome in Sweden to make this port possible.
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
AIX® is a Unix System V based operating system of company IBM®.

 


GrammaTech CodeSonar 4.1 Certified by SGS-TÜV Saar GmbH

CodeSonar Certificate   (Ithaca, New York/USA, 1 March 2016)

GrammaTech CodeSonar 4.1 has been certified by the Certification Body for Functional Safety of SGS-TÜV Saar GmbH. The certificate covers the standards ISO 26262 up to ASIL D, IEC 61508 up to SIL 4 and EN 50128 up to SW-SIL 4.
CodeSonar is one of the leading tools for static analysis. It identifies bugs that can result in unexpected behavior, system crashes and security breaches. CodeSonar has been proven to provide the deepest static analysis. The tool finds more critical defects than other static analysis tools on the market. CodeSonar has performed best on several static analysis tool benchmarks in finding static memory, resource management, concurrency, and other defects.
> [PDF]  SGS-TÜV Saar Certificate

 


Beijing Siener Electronics Tech. Development Ltd. Becomes Distributor for Testwell-Tools in China

(Offenburg/Germany, Beijing/China, 28 January 2016)

Verifysoft, vendor of the leading Test Coverage Analyser Testwell CTC++ and the software testing and analysis tools Testwell CTA++, CMT++, and CMTJava today announced the appointment of Beijing Siener Electronics Tech. Development Ltd. as its distributor in China.
Beijing Siener, a privately held company with headquarters in Beijing/China with offices in Shanghai/China, represents already companies like HighTec EDV-Systeme GmbH, pls Development Tools, and GLIWA GmbH in the fast growing Chineese market.
"We are excited to be a reseller for Verifysoft because their code coverage analyser Testwell CTC++ is unequalled in the industry," said Peter Liu, Managing Director at Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC++ Test Coverage Analyser works with all embedded targets and supports all compilers. The tool makes it easier for software development teams to meet code coverage requirements and to meet the specifications of industry standards like ISO 26262."
"China is an important market for us," said Klaus Lambertz, CEO of Verifysoft Technology. "We are glad to have Beijing Siener as a partner to better support Testwell CTC++ users in the region and to further extend our customer base in China."
Verifysoft Technology will present it´s flagship tool Testwell CTC++ during "Multicore Embedded Toolchains Workshop for Multicore ECU Development" in Shanghai on March 8th and 9th, 2016.   > further information

 


Verifysoft Becomes First European Distributor of the Source Code Checking and Architecture Analysis Tool Imagix 4D

(Offenburg/Germany, San Luis Obispo/USA, 2 January 2016)

Imagix Corporaton has choosen Verifysoft Technology as European distributor for it´s Source Code Checking and Architecture Analysis Tool Imagix 4D. Verifysoft will handle sales and support for Imagix in Germany, Austria, Switzerland, Liechtenstein, France, Netherlands, Belgium, Luxemburg, Poland, Czech Republic, Slovakia, Hungary, Slovenia, Spain and Portugal.
Imagix 4D is used for reverse-engineering, quality analysis and documentation of software written in C, C++ and Java. Customers include leading global companies like General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, and Siemens. Imagix 4D is also used by US governmental agencies such as Federal Aviation Administration (FAA) and NASA.
Imagix is a privately-held corporation, which is headquartered in San Luis Obispo, California. > further information about Imagix

  Imagix Logo

 


Testwell CTC++ 8.0 Available: Annotations and enhanced HTML Reports

(Offenburg/Germany, Tampere/Finland, 1 December 2015)

Version 8.0 of Testwell CTC++ Test Coverage Analyser is now available. New major features of Testwell CTC++ 8.0 include:

  • Improved architecture of the HTML report
  • "Line Coverage" in the HTML report
  • Annotations are be shown by the coverage report
  • Improved reporting of header files
  • Improved merging of coverage data of independently tested code files
> further information
  Screenhot Testwell CTC++ 8.0

 


Elvior has released TestCast T3 version 6.9.1

(Tallinn/Estonia, Offenburg/Germany, 30 October 2015)

Elvior has released TestCast T3 version 6.9.1 with the following new features:

  • Improved stability
  • Improved compile time errors and warnings mechanism

 


Imagix has released Imagix 4D version 8.1

(Offenburg/Germany, San Luis Obispo/USA, 5 October 2015)

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

  • Added binary analysis for Microsoft Visual C++ #import, #using directives
  • Added Subsystem Architectures to document generation

 


Pertech presents Testwell tools at The Embedded, Microprocessors & IoT 2015
conference in Israel

 

(Offenburg/Germany, Tel-Aviv/Israel, 1 October 2015)

Pertech, our distributor in Israel will present Testwell tools at The Embedded, Microprocessors & IoT 2015 conference on 20th october in Israel.
It is the major annual conference for Embedded systems and Microprocessors in Israel. Embedded systems designers and developers, project managers and the Academic Community get together for a one day event jointly with leading vendors in the embedded world. > further information

-

 


Marion Fournier and Patricia Gallien join Verifysoft´s French Team

(Offenburg/Germany, 16 September 2015)

Marion Fournier and Patricia Gallien join the French team of Verifysoft.
Since 2003 Verifysoft Technology GmbH is vendor and value added reseller of software testing and analysis tools. After ten years of successful sales, Verifysoft acquired the Testwell product line in 2013 and built up a worldwide distributor network.
Today more than 400 customers use Testwell tools all over the world.
Marion Fournier and Patricia Gallien can be contacted by mail - or phone (+33) 03.68.33.58.84.

  -

 


Embedded Scandinavia  

"Code coverage for embedded targets and tool qualification": Presentation at Embedded Conference Scandinavia in Stockholm (Sweden) on 4th of November 2015

(Offenburg, 2 September 2015)

Verifysoft talks about Safety Standards and the related coverage levels that they will recommend at the Embedded Conference Scandinavia in Stockholm (Sweden) on 4th November 2015. We also introduce tool qualification towards certification of the embedded software for which code coverage has been measured. The Embedded Conference Scandinavia is a 2 days long conference and exhibition which covers all actual topics from the Embedded Sector. We are looking forward to meeting you at our booth during the conference on either 3th or 4th of November.
    > further information

 


Code Complexity Measurement:
New Version of Testwell CMT++ 6.0 with C#-Support Available

Verybench for CMT++   Offenburg (Germany)/ Tampere (Finland), 25 August 2015

The new version 6.0 of Testwell CMT++ is available. Testwell CMT++ analyses the complexity (LOC, Halstead and McCabe metrics, Maintainability Index) of software written in C, C++. Now also C# code can be analysed.
The new version has also some C++11 enhancements, e.g. lambda functions are now identified and measured. The formal name of the tool changed to "Testwell CMT++ Complexity Measurement Tool for C/C++/C#".
Further information: [PDF]  Release notes Testwell CMT++ 6.0

 


QA&Test Bilbao  

"Challenge of Code Coverage Measuring on safety critical small embedded targets": Presentation at QA&Test in Bilbao (Spain) on 15th October 2015

(Offenburg, 12 June 2015)

Verifysoft presents solutions for the challenge of measuring code coverage on small embedded targets in compliance with safety standards at QA&Test in Bilbao, Spain. QA&Test is a conference for professionals and experts from different sectors such as Railways, Aeronautics, Medical Systems, Electronic Devices, Banking, Insurance or Telecommunications. Visit Verifysoft´s booth on 14th-16th at QA&Test in Bilbao.     > further information

 


GrammaTech CodeSonar Version 4.1 Available

(Ithaca/New York, 29 May 2015)

GrammaTech announces the version 4.1 of the static code analysis tool CodeSonar. The new version is now available for source code. CodeSonar 4.1 for Binaries is also imminent.
The highlights of CodeSonar 4.1 are:

  • Distributed Analysis: This feature improves the analysis speed dramatically. Previous versions of CodeSonar could already run the analysis phase in parallel, but only on multiple cores or CPUs on the same machine. CodeSonar can now distribute the analysis work across a loosely-coupled cluster of heterogeneous machines.
  • MISRA C Warning Classes: There are many new warning classes. Most of them check compliance with MISRA C:2012 and MISRA C:2004.
  • Warning Clustering: This new option tells CodeSonar to group warnings into clusters if they are sufficiently similar.
  • Configuration Tool: This is a new way to invoke CodeSonar to facilitate setting up a new hub or adding a machine to an analysis cluster.
  • Authentication: A hub can now be set up to use third-party authentication mechanisms such as LDAP. Administrators can add their own custom authenticators if they wish.
  • Analysis Presets: Via a new command-line option users can choose a "preset" set of configuration options. For example, codesonar analyze Foo -preset misra ... will use the configuration options that turn on all the new Misra C checkers.
  • Taint Path Checking: The user interface can now be used to show how taint can propagate along a specified path.
  • Score and Significance: Score is a numeric value assigned to warning instances. High-scoring warnings are more serious. Significance is a property of a warning class such as reliability, security, style, or redundancy.
  • New Platforms: CodeSonar now runs on two new platforms: NetBSD and FreeBSD.
  • Lightweight Access Control: It is possible to restrict access to information on the hub on a per-user basis. This is a temporary solution until a full role-based access control (RBAC) is delivered in CodeSonar 4.2.

 


TTCN-3  

Elvior organises TTCN-3 Summer School in Sophia-Antipolis (France)

From 21 to 23 July 2015 our partner Elvior organises a 3 days TTCN-3 Summer School in Sophia-Antipolis (France).
The Testing and Test Control Notation Version 3 (TTCN-3) is a standardized testing technology developed and maintained by the European Telecommunication Standards Institute (ETSI) and specifically designed for testing and certification.
TTCN-3 Summer School is oriented for practitioners: usages of TTCN-3 concepts will be shown on actual TTCN-3 testing environment. All course participants will get top level TTCN-3 tool TestCast 3 months license for free. Workshops theoretical part will cover whole TTCN-3 syllabus and participants are ready to take TTCN-3 certification exam later.     > further information

 


Testwell CTC++ Test Coverage Analyser: Version 7.3.3 Available

Testwell CTC++   (Offenburg/Germany, Tampere/Finland, 18 May 2015)

Verifysoft and Testwell announce the availability of Testwell CTC++ version 7.3.3 for Windows platform. Version 7.3.3 is a pre-version of version 7.4 for some selected customers. Testwell CTC++ is the leading Test Coverage Analyser for host and on-target code coverage.
The new version 7.3.3 contains the following enhancements:

  • For helping the ctc2html utility to generate HTML report with line coverage information, some new information is added to textual execution report.
  • Annotation concept introduced for commenting.

 


GrammaTech Starts Work on Advanced Analysis Engine for a Predictive Engine to Auto-Complete and Auto-Correct Code (DARPA´s PLINY Project)

(Ithaca/New York, 30 April 2015)

GrammaTech has begun work on PLINY, a joint effort among GrammaTech and three Universities, with the goal to automatically detect program defects, suggest program repairs, and complete program drafts. PLINY is part of DARPA´s (Defense Advanced Research Projects Agency) Mining and Understanding Software Enclaves (MUSE) program.
This initiative seeks to gather hundreds of billions of lines of publicly available open-source computer code to mine in an effort to create a searchable database of properties, behaviors, and vulnerabilities.
GrammaTech´s static code analysis tool CodeSonar will be at the center of the effort to generate features. CodeSonar has an extraordinary scalability, and an analysis engine with proven capabilities for discovering subtle program properties.     > further information

 


Elvior has released TestCast T3 version 6.8.3

(Tallinn/Estonia, Offenburg/Germany, 28 April 2015)

Elvior has released TestCast T3 version 6.8.3 with the following new features:

  • TCI helper: timeout for TCI DLL calls allowing detection of problems in external TCI implementation
  • Logging of TCI and TRI trace - enhanced problems detection in TCI and TRI implementation
  • Go to line functionality for log lines created by a log statement

 


Testwell CTC++ Plugin for SonarQube™ Available

SonarQube   (Offenburg/Germany, 16 January 2015)

Verifysoft annouces the availability of a Testwell CTC++ Plugin for SonarQube™.

The plugin allows the import of the Testwell CTC++ coverage data into the SonarQube database and their visualisation within the SonarQube web interface. The import of all Testwell CTC++ coverage levels (up to MC/DC and Multicondition Coverage) is possible. Testwell CTC++ and the SonarQube plugin can be used for projects written in C, C++, Java, and C#.
Further information about SonarQube plugins is available here.

 


Elvior released TestCast T3 version 6.8.1

(Tallinn/Estonia, Offenburg/Germany, 9 January 2015)

Elvior has released TestCast T3 version 6.8.1 with the following new features:

  • Modified project explorer
  • Log view: saving message binary content to a file
  • In the ASCI mode of log view, TestCast detects and transforms UTF-8 characters if they are present
  • Runtime environment creation from command line
  TestCast T3 version 6.8.1

 


News of the year
2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003


last updated: 14 April 2016
© 2011-2016 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
Testwell CTA++, CTC++, CMT++ and CMTJava are tools of Verifysoft Technology GmbH, Offenburg (Germany)
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are tools and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
CodeSonar is a product and a registered trademark of GrammaTech Inc., Ithaca (New York, USA)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
all other trademarks of this site are the property of their respective owners.