-
1
The Rapita Verification Suite (RVS) is a comprehensive toolset aimed at conducting on-target software verification, which is essential for testing, analyzing, and generating necessary certification evidence for critical embedded systems, thus aiding developers in ensuring safety and reliability in line with standards such as DO-178C and ISO 26262. By integrating both static and dynamic analysis techniques, RVS performs requirements-based functional testing, assesses structural code coverage (including MC/DC), and scrutinizes execution and worst-case timing performance directly on the target hardware, all while offering visualization of task-level scheduling; this provides developers with valuable insights into system performance and behavior in practical environments. Furthermore, RVS is designed to work effortlessly with existing build systems, embedded targets, and third-party software, ensuring minimal instrumentation overhead and accommodating multicore timing analysis. The suite also bolsters the certification process for aviation and automotive initiatives by providing qualification kits and customized services, thus facilitating compliance for developers. In addition to streamlining the verification workflow, RVS ultimately empowers developers to engineer systems that are not only safer and more reliable but also more efficient in their design and execution. This comprehensive approach ensures that developers can consistently meet rigorous industry standards while advancing their projects with confidence.
-
2
Codebeamer
PTC
Streamline your product development with comprehensive lifecycle management solutions.
Codebeamer serves as a comprehensive platform for Application Lifecycle Management (ALM), facilitating sophisticated product and software development processes. This open platform not only offers essential ALM features but also supports product line configuration, enabling the tailored management of intricate workflows to suit specific needs.
It empowers teams within the fields of industrial manufacturing and automotive engineering, enhancing the efficiency and quality of complex automotive technology products. By integrating various lifecycle management aspects, Codebeamer covers everything from requirements and risk assessment to thorough test management, ensuring a holistic approach to product development. In doing so, it helps organizations streamline their processes and achieve better project outcomes.
-
3
LDRA Tool Suite
LDRA
Optimize software quality and efficiency with comprehensive assurance tools.
The LDRA tool suite represents the foremost offering from LDRA, delivering a flexible and comprehensive framework that integrates quality assurance into the software development lifecycle, starting from the requirements gathering stage and extending to actual deployment. This suite features an extensive array of functions, including traceability of requirements, test management, compliance with coding standards, assessment of code quality, analysis of code coverage, and evaluations of both data-flow and control-flow, in addition to unit, integration, and target testing, as well as support for certification and adherence to regulatory standards. The key elements of this suite are available in diverse configurations designed to cater to various software development needs. Moreover, a multitude of additional features is provided to tailor the solution to the specific requirements of individual projects. Central to this suite is the LDRA Testbed in conjunction with TBvision, which furnishes a powerful blend of static and dynamic analysis tools, accompanied by a visualization interface that facilitates the comprehension and navigation of standards compliance, quality metrics, and code coverage analyses. This all-encompassing toolset not only improves the overall quality of software but also optimizes the development process for teams striving for exceptional results in their initiatives, thereby ensuring a more efficient workflow and higher productivity levels in software projects.
-
4
VectorCAST
VECTOR Informatik
Streamline testing automation for safety-critical embedded systems.
VectorCAST is a comprehensive test-automation framework designed to enhance unit, integration, and system testing throughout the embedded software development lifecycle. This tool streamlines the automation of both test case creation and execution for applications developed in C, C++, and Ada, while being adaptable to various environments including host, target, and continuous integration setups. Furthermore, VectorCAST offers critical structural code coverage metrics that are vital for validating safety-critical and mission-critical applications. It integrates effortlessly with simulation processes such as software-in-the-loop and processor-in-the-loop, and it collaborates effectively with model-based engineering tools like Simulink/Embedded Coder. In addition, the framework supports sophisticated white-box testing methodologies, such as dynamic instrumentation, fault injection, and test harness generation, by skillfully merging static analysis outcomes—like those provided by Polyspace—with dynamic coverage for thorough lifecycle verification. Significant functionalities include the ability to link requirements directly with tests and the comprehensive management and reporting of coverage across various configurations, which ultimately streamlines the testing process and improves efficiency. By leveraging VectorCAST, organizations can significantly enhance the reliability and effectiveness of their software testing practices, making it an invaluable asset in their development toolkit. This ultimately leads to a more robust software product that meets the highest quality standards.