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

Filter Results By:

Products

Applications

Showing results: 1 - 9 of 9 items found.

  • Code Complexity Measurement Tool

    Testwell CMT++ - Verifysoft Technology GmbH

    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.

  • Code Complexity Measurement Tool

    CMT Java - Verifysoft Technology GmbH

    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.

  • Code Coverage Tool

    Testwell CTC++ - Verifysoft Technology GmbH

    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.

  • Tool

    Imagix 4D - Verifysoft Technology GmbH

    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.

  • Automatic Software Testing

    Conformiq - Verifysoft Technology GmbH

    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.

  • Static Analyzer

    Julia - Verifysoft Technology GmbH

    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.

  • Elvior TestCast

    TTCN-3 - Verifysoft Technology GmbH

    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.

  • C++ Test Aider

    Testwell CTA++ - Verifysoft Technology GmbH

    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.

  • Static Code Analysis for Embedded Software

    GrammaTech CodeSonar® - Verifysoft Technology GmbH

    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.

Get Help