Verifysoft Technology GmbH
Verifysoft Technology will support you to enhance your software quality and decrease development costs with our tools, services and seminars.
- +49 781 127 8118-0
- +49 781 63 920-29
- info@verifysoft.com
- In der Spöck 10-12
Offenburg, 77656
Germany
Categories
-
product
Tool
Imagix 4D
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
product
Automatic Software Testing
Conformiq
Instead of using test cases, Conformiq users have a model, which describes the System Under Test, or the product they want to test. From the model, Conformiq products use highly intelligent algorithms to automatically determine the necessary tests and test data, and automatically generate scripts for automated execution.
-
product
Static Code Analysis for Embedded Software
GrammaTech CodeSonar®
CodeSonar is GrammaTech´s flagship static analysis software. Able to analyze both source code and binary code, it is specifically designed for zero-tolerance defect environments. With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle. Compared with other tools, CodeSonar identifies twice as many defects that result in system crashes, leaks, data races, memory corruptions and security vulnerabilities.
-
product
Static Analyzer
Julia
Julia Static Analyzer is best in class for finding defects and security vulnerabilies in C#, Java and Android applications (for C and C++ languages, please have a look to GrammaTech CodeSonar). By using Julia Static Analyzer, you reduce development and maintenance costs and eliminate risks related to security vulnerabilities and privacy leaks. The powerful analysis technology ensures a maximum precision of results. With advanced dashboarding you can flexibly transform the data into useful information for the different stakeholders.
-
product
Code Complexity Measurement Tool
Testwell CMT++
The Code complexity measurement tool Testwell CMT++ (for C, C++ and C#) and Testwell CMTJava (for Java) saves costs and avoids software erosion. For this reasons several standards (like ISO 26262) require the enforcement of low code complexity.
-
product
Code Coverage Tool
Testwell CTC++
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.
-
product
Elvior TestCast
TTCN-3
Elvior TestCast is a TTCN-3 test development and execution platform which includes TTCN-3 editor, TTCN-3 compiler and TTCN-3 executive. TestCast can be used for testing software or hardware components in a wide range of industry sectors. Candidate systems for testing with TestCast can be found from the industry sectors where TTCN-3 is widely used as an accepted generic test language - telecommunication, IOT, transport and automotive, military and defense. TestCast is ideal for incremental project development. It can be used for testing of an individual task or process. One can continue with the integration tests of a subsystem consisting of processes and later to integrate those subsystems and test them together as a whole software subsystem. It is even possible to continue to perform software/hardware integration tests where TestCast can be used to test software embedded in target hardware.
-
product
Code Complexity Measurement Tool
CMT Java
The Code complexity measurement tool Testwell CMT++ (for C, C++ and C#) and Testwell CMTJava (for Java) saves costs and avoids software erosion. For this reasons several standards (like ISO 26262) require the enforcement of low code complexity.
-
product
C++ Test Aider
Testwell CTA++
Testwell CTA++ is a tool for unit testing C++ classes, libraries and subsystems. The tool is easy to use and provides very powerful features helping the tester to build the testing environments and running the tests on C++ code. Testwell CTA++ is used for building testing environments, test beds, for the code under test (C++ classes, libraries, subsystems, APIs) and then executing the tests with the test bed.
