Elvior has released version 6.6.2 of the TTCN-3 test development and execution tool TestCast with new features and improvements.   more information

Since 15 October 2012 new license conditions and prices are applied for all purchases of Testwell CTC++, CMT++/CMTJava and CTA++.
Floating (FLEXlm) licenses are now valid for worldwide use within one company. Until now floating licenses have been limited to a site, country or region.
For small or time limited projects/small companies we propose now also MAC-address bound licenses (available for Windows platform only) which are time limited (per default one year). This licenses are stictly machine bound, replacements to other machines are no more possible).
Offers which have already been issued remain valid until their expiration date.

Testwell CMTJava v3.0 is a major upgrade version. The tool can now properly handle all kind of Java SE 7 level input. Among others the following is now supported: enum declarations having executable code (reported like classes), underscores in numeric literals, binary literals, corrections in @annotations handling, ... The McCabe cyclomatic number v(G) is now configurable as basic, extended (previously always like this), basic_modified, and extended_modified. There are also enhancements in the cmtjava2html utility.

Testwell CTC++ shows now the test coverage of Time Partition Testing (TPT). TPT is a model-based testing tool for testing embedded systems, especially the testing of control systems. The tool supports all important fields of the test process which are in detail the management of tests, test modelling, test execution, test assessment, and test documentation.TPT is used to set up test cases based on requirements. Testwell CTC++ shows the status of test coverage during the test of C code as required by standards like ISO 26262, DO-178C and IEC 61508. If CTC++ reveals that the test coverage is insufficient, further tests can be set up with TPT.

Elvior has released version 6.6.1 of the test execution tool TestCast. Here some of the new features:

• New TTCN-3 runtime (up to 20 % faster and up to 40 % more memory-efficient)
• Call stack and component view in the debugger
• In debugger breakpoints enabling and disabling
• Generic TCP adapter can be configured for protocols with message delimiters
• Compiling modules and starting test cases from the code outline view
• Generating SA code template for procedure based communication
• Several improvements of existing features

Testwell CMT++ version 5.0 is a major upgrade version of Testwell´s Code Complexity Measurement Tool. It brings various enhancements, like proper handling of new C++11 standard language level, configurability to calculate McCabe cyclomatic number v(G), reporting the number of function parameters, added Visual Studio 2008 and 2010 IDE integrations, enhancements in the cmt2html utility, etc.

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.

At the SAE World Congress in Detroit´s COBO Center on Tuesday April 24th, Conformiq´s CTO Stephan Schulz will be presenting technical paper entitled "Automating AUTOSAR Functional Test Design with Model-Based Testing".
Abstract: Classic problems of the functional software test development industry often include poorly documented coverage of specification requirements, challenging delivery cycles, high software quality requirements, costly test development, inflexible test sets, and high maintenance costs due to ever changing requirements. Technology and commercial software exist today that can help to resolve all of these issues by automating test design with model-based testing (MBT), i.e., by automatically generating tests and test documentation. In numerous case studies over a wide range of application areas, MBT has been independently confirmed to cut testing costs significantly by increasing productivity, to enable up to 91% code coverage during test execution, and to locate numerous defects that have escaped detection using conventional testing approaches.
Stephan Schulz introduces automated test design and compare it with conventional software test development. He outlines a methodology for developing functional tests from models that describes the operation of the system (aspect) to be tested. Automated test design is presented by showing modelling, steering of test generation, test case review, and all the way to test script generation based on the MBT tool Conformiq Designer™.

Testwell CTC++ v7.0.2 is a small bug-fix version with some enhancements.
Mentioning here some of them:

• new NO_INCLUDE conf. parameter
• now also wildcards supported in SKIP_FUNCTION_NAME conf. parameter
• some bug fixes, also little changes, in statement coverage handling
• new C++ 11 string and character literals
• small HTML report changes, now better "understandable"

Roland Bär, Chief Technical Officer of Verifysoft Technology, will show how to perform Code Coverage on Android devices.
The presentation will be held at Droidcon Berlin (March, 13th and 14th). Code Coverage is done with Testwell CTC++, a leading test coverage tool which is widely used in the telecommunication, automotive, healthcare and aeronautics sectors.
Testwell CTC++ analyses for code coverage on all embedded targets and OS like Android, Windows Phone 7.5, Windows CE, Symbian, Bada, Blackberry, ...
Further information: Droidcon

Verifysoft Technology GmbH announces two add-ons that upgrade the existing test coverage analyser "Testwell CTC++" to be used with C# and Java source codes.
The functional scopes of these two add-ons is listed subsequently: the add-on "CTC++ for Java and Android" measures test coverages for Java code projects whereas the add-on "CTC++ for C#" measures test coverages of software written in C#.
Equally to "Testwell CTC++" both add-ons also deliver all levels of test coverages like "Statement Coverage", "Function Coverage", "Decision/Branch Coverage", "Condition Coverage", "Modified Condition/Decision Coverage" (MC/DC) as well as "Multi Condition Coverage" (MCC).
Ultimately, with these add-ons "Testwell CTC++" is the sole test coverage analysing tool (on the market today) that allows safety critical software written in C, C++, C# or Java being measured for test coverage at all.

Elvior has released version 6.5.1 of the test execution tool TestCast. Here some of the new features:

• Support for cyclic TTCN-3 import
• Code templates generation for for UDP and RS-232 adapters
• TCI XML codec can contain embedded encoding produced by other codecs
• Support for a type definition constrained by values that are directly dependent on the type being defined

Our partner Elvior participates in the ARTEMIS research project MBAT. MBAT´s goal is to bring model-based analysis and testing to the transportation industry. The 3-year collaboration consists of 38 partners from 8 European countries. Participating in the project are some of the world´s largest manufacturers including Daimler, Volvo, EADS, Rockwell Collins, Alstom and Siemens. The project also includes research institutions and technology and tool providers.
Elvior is one of the tool vendors involved in MBAT. Elvior TestCast MBT will be used as one of the model-based test tools in the testing branch of the project.
MBAT will provide European industry with a new leading-edge validation and verification technology that will enable the production of high-quality embedded systems at reduced cost. > Further information

Elvior has released version 6.5 of the test execution tool TestCast. Here some of the new features:

• Implicit XML codec support for TTCN-3 code generated from XML schema
• Menu command for deleting converted scripts
• Inout parameters of different but compatible types are passed by value and a compile-time warning is generated about that
• Anytype values can contain qualified type reference (with a module identifier)
• New option in compilation settings: detected uninitialized values can be displayed either as errors or warnings
• Automated detection of TTCN-3 version from language tags can be switched off
• Compiler setting allowing that enumerated items with unique names can be used outside of their parent type context
• Compiler setting allowing functions without a "runs on" clause to call functions that contain a "runs on" clause
• UI setting allowing to use different codecs for individual ASN.1 modules
• ASN.1 modules can be encoded with TCI XML encoding
• Improved compile time detection and processing of recursive types
• Improved performance of graphical logs

Verifysoft Technology sponsors the "Journée Française des Tests Logiciels" (French Software Testing Day), an event organized by the "Comité Français des Tests Logiciels" (CFTL) in Paris on 3 April 2012.
Further information is available from the CFTL website.