Tool specific news: Company
Testwell CMT++/CMTJava
Testwell CTC++
CodeSentry
CodeSonar
Imagix
Events/Seminars
ALL NEWS
Embedded World 2019: Safety und Security for Embedded Software with Tools from Verifysoft Technology
(Nuremberg/Germany, 28 February 2019)
Verifysoft Technology participated in the Embedded World 2019, for the 15th time in its 16 years of company history. Due to increasing connectivity, safety and security become a pressing issue in the embedded environment.
Our Code Coverage Analyser Testwell CTC++ is mostly used for safety reasons but can also be deployed for security. In this area the tool is being used for Penetration-Tests in order to prove that code is not being executed through hacker attacks. In contrast to the traditional usage of code coverage, the objective during penetration testing is that no code is being processed. Attacked parts of code can be identified precisely due to coverage analysis. This simplifies the detection of safety gaps.
The new connectivity that comes with the internet of things bears new challenges. Embedded Software, usually written in C or C++, is traditionally classified as safety critical, but the same is now true for connected software that is written in Java or C#.
To make it possible that this software can be tested as well, Verifysoft and Grammatech formed a partnership with JuliaSoft. The Julia Static Analyzer tool offers semantic static analysis of enterprise software in Java and C#.
The integration of the Julia Static Analyzer into GrammaTech CodeSonar provides a complete and integrated solution for improving the quality of these “Embedded software”, hardware and enterprise programming domains.
Further information here / Watch our video here