Automated Software Testing

FEATURES :
  • The LDRA tool suite supports you throughout your software development lifecycle. Our software standards compliance, testing and verification tools are based on industry best practices to help you develop high quality safety- and security-critical products. Many users of the LDRA tool suite are required to certify or qualify their software.
  • The tool suite’s open and extensible platform is unique in its integration of software lifecycle traceability, static and dynamic analysis and unit test and system-level testing on virtually any host or target platform.

LDRA’s software testing tools expedite your certification/approval process through:

  • The provision of traceability for all requirements, design and verification artifacts throughout the software development lifecycle
  • Enforcing compliance with coding standards (industryand user-defined)
  • Automating unit test and system-level test
  • Performing and reporting coverage analysis on all code down to the target level
  • Support for planning and execution of requirements based testing
  • Tool chain integration
  • Automating the generation of software certification and approval evidence

Description

LIFECYCLE BEST PRACTICES ENABLED WITH THE LDRA TOOL SUITE :
REQUIREMENTS TRACEABILITY

  • TBmanager® is a role-based requirements management tool that lets teams work on individual activities and link code and verification artifacts back to higher-level objectives
  • TBreq® provides traceability throughout the workflow and quickly identifies broken links

TEST MANAGEMENT

  • TBmanager® lets you assign tasks to individuals on the team based on requirements
  • TBevolve® is an optional plug-in that lets project teams monitor the impact of code changes on their testing process

CODING STANDARDS COMPLIANCE

  • LDRA Testbed®/TBvision® is the static analysis engine and code visualisation capability that helps enforce compliance with coding standards and clearly indicates software flaws that might otherwise pass through the standard build and test process
  • LDRArules® is a cost-effective, stand-alone rules checker that does not require investment in the complete tool chain
  • TBevolve® is an optional plug-in that lets project teams monitor code changes with respect to coding standards compliance

CODE COVERAGE ANALYSIS

  • TBrun® with the TBextreme® module provides automated unit testing, test case generation and execution, and code coverage analysis
  • The TBobjectbox® module adds object code verification
  • The Tool Qualification Support Pack (TQSP) provides documentation on our own tools and qualification guidance and artifacts to meet certification requirements
  • LDRAunit® is a stand-alone tool for automated unit test generation and management
  • LDRAcover® is a stand-alone code coverage tool to help you meet structural coverage analysis objectives up to RTCA DO-178B/C Level A

AUTOMATED CODE REVIEW

  • LDRA Testbed® and TBvision® provide a graphical static and dynamic analysis tool for both host and embedded software analysis
  • Dynamic Data Flow Coverage (DDFC) is an optional module that examines exactly which variables were used during runtime execution of the application

UNIT/INTEGRATION/TARGET TESTING

  • TBrun® provides automated unit test and system integration testing capabilities
  • LDRAunit® is a stand-alone tool that provides a complete integrated environment for automated unit test generation and management, without requiring investment in a complete tool chain
  • TBextreme® (an optional module for either TBrun® or LDRAunit®) revolutionises unit testing by providing a totally automated solution for test vector generation

CODE QUALITY REVIEW

  • LDRA Testbed® and TBvision® provide a graphical static and dynamic analysis tool for code quality metrics and review
  • Dynamic Data Flow Coverage (DDFC) is an optional module that examines exactly which variables were used during runtime execution of the application

CERTIFICATION & REGULATORY SUPPORT

  • LDRA Certification Services® (LCS) provide comprehensive support for certification to aviation standards
  • LDRA Compliance Management System® (LCMS) is a cloudbased or locally hosted compliance management server for DO- 178B/C, DO-278A, DO-254 and ISO 26262 applicants

LDRA TOOL SUITE :
  • LDRA Testbed ®
  • TBvision ®
  • TBrun ®
  • TBreq ®/TBmanager ®
STANDALONE PRODUCTS :
  • LDRArules ®
  • LDRAcover ®
  • LDRAunit ®
ADDITIONAL OPTIONS :
  • TBmisra ®
  • TBsecure ®
  • TBsaf e®
  • TBeXtreme ®
  • TBobjectBox ®
  • TBevolve ®
  • TBpublish ®
  • TBaudit ®
  • Target Licence Package (TLP)
  • Dynamic Data Flow Coverage
  • Tool Qualification Support Pack (TQSP)

DOCUMENT

LDRA