Tool Suite Verifies Software Development Aspects
Covering the DO-178B certification in the avionics sector, LDRA Technology’s LDRA tool suite v7.7 uses the LDRA Testbed foundation to verify aspects of software development from requirements through run time. The program integrates TBvision to show how the source code performs against security vulnerabilities, fault detection, and adherence, and lets team members collectively monitor testing and quality metrics. The suite employs TBreq v2.2 to enable automation of processes of requirements verification and traceability, import requirement hierarchies such as Use Cases and SysML, and apply multiple verification groups to any requirement, and support Microsoft Vista. The software offers TBrun with a GUI interface to enforce user control of linked libraries and update data dictionary for establishing application data type values. The suite provides TBeXtreme to support user-defined data types to automatically create test cases.
+44 0151 649 9300, www.ldra.com