Enhanced support for French-speaking customers

(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.

Bits&Chips 2013 Embedded Systems s´Hertogenbosch (The Netherlands): Verifysoft participated with presentation and exhibition stand

(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 of TomTom. Verifysoft showed solutions for code coverage in small targets. The presentation is now online.
> further information about Bits&Chips Embedded Systems.

SCL distributes Testwell tools in the United Kingdom and Ireland

(Crawley/United Kingdom, Offenburg/Germany, 29 October 2013)

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."
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 cross-compilers.
For more information read the press release. > Distributors

Verifysoft Distributor Days 2013 in Offenburg (Germany)

(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 Black 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 continents."

GrammaTech President Thomas Reps Elected to Academia Europaea

(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 States.
"The invitation by Academia Europaea honors Tom´s ground breaking 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, Germany.
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 learning.

TTCN-3 Test Development and Execution Platform Elvior TestCast 6.7.3 Available

(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.

GrammaTech Selected by the U.S. Navy to Improve Software Security

(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 critical behavior.
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.

Verifysoft and Pertech sign agreement for distribution of Testwell tools in Israel

(Raanana / Israel, Offenburg / Germany, 8 August 2013)

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, defence, medical, Internet, multimedia and automotive. > Distributors

TTCN-3 Test Development and Execution Platform Elvior TestCast 6.7.2 Available

(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.

Lexington Soft is Distributor for Testwell Tools in India

(Chennai / India, Offenburg / Germany, 1 August 2013)

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 with headquarter in Chennai has further offices in Bangalore and Lexington (USA). > Distributors

Verifysoft signs distribution agreement for Italy with Dofware (Torino)

(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. Dofware, located in Turin, has important customers in automotive, aerospace and other sectors. > Distributors

New Company and Testwell Tool Flyer Available

(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.
Download: English German

Verifysoft signs distribution agreement for Korea with ArchitectGroup

(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

Verifysoft acquires intellectual property rights for Testwell CTC++, CMT++/CMTJava and CTA++ from Testwell Oy 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 language.
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. > further information

Verifysoft announces Qualification Kit for Testwell CTC++ covering DO178-C, EN-50128, IEC 61508, and ISO 26262

(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 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. > further information

Testwell CTC++ 7.1.2 Available

(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.

GrammaTech Integrates Static Analysis with Eclipse Development Environment

(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.

GrammaTech Selected for More Than $8M in Research Contracts

(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).
In the past four months, GrammaTech submitted eight proposals, six of which have been selected for funding. The remaining two are still pending.
"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.

Elvior TestCast 6.7.1 Available

(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:

TTCN-3:2013 support
Configuration and deployment extension package support
Support for more than one script in a campaign and embedded campaigns

To see all enhancements, please click here.

Testwell CTC++ 7.1.1 Available

(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 charge.

GrammaTech CodeSonar Architecture Visualization

GrammaTech Announces Static Analysis Tool for Examining Binaries

Ithaca, New York/USA, 5 March 2013)

GrammaTech today announced a ground breaking static-analysis tool for analyzing binary libraries and executables. CodeSonar for Binaries enables users to examine software for security vulnerabilities and malicious code, without the need for source code. Because the technology does not rely on debug or symbol-table information, it can examine the stripped executables normally shipped by software vendors. As a result, users can use CodeSonar for Binaries to perform a security analysis on software without any cooperation from the vendor. > further information

GrammaTech Announces Enhancements to CodeSonar Visualization

(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 code.
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. > further information

Newsletter

Archives: