|
|
LDRA TestbedŽ - Overview
LDRA Testbed is a unique quality control tool that provides powerful source code testing and analysis facilities for the validation and verification of software applications. It is invaluable where computer software is required to be reliable, rugged and as error free as possible and its use brings substantial time, cost and efficiency savings. It is a powerful and fully integrated tool suite, whi ... |
| |
|
|
LDRA Static Analysis
LDRA Testbed’s Static Analysis enables a project to ensure that a uniform set of programming standards are enforced, software is properly structured and complexity and other quality attributes are controlled within a configurable quality model. Static Analysis can also detect a significant number of software defects.
What are the benefits?
Better understanding of the system
Adhere ... |
| |
|
|
LDRA Dynamic Analysis
Dynamic Analysis uses test data sets to execute software in order to observe its behaviour and produce test coverage reports. This assessment of source code ensures consistent levels of high quality testing and correct use of capture/playback tools.
LDRA Testbed Dynamic Analysis provides the facilities to achieve quality standards for critical code, improve code efficiency, minimize regression te ... |
| |
|
|
LDRA Unit Test - TBrun
TBrun has been designed not only for automating the traditional unit code and test role, but also to enable the previously unrealistic task of unit testing both large and legacy systems. This process has previously been time-consuming and expensive. Issues such as creating extra code to declare unresolved global variables has dogged the process. TBrun detects which global variables will be require ... |
| |
|
|
LDRA Test Verification
LDRA's Test Verification can be used by the Unit Test component to provide coverage metrics for test cases that execute at various levels, including function/method, module/class and component/system levels. Test Verification provides test planning documents and colour-coded graphs to help you achieve the desired coverage, ranging from procedure/function calls to safety-critical modified condi ... |
| |
|
|
Requirements test & verification and the LDRA Tool Suite
TBreq, through its integration with the LDRA tool suite which includes LDRA Testbed® and TBrun® (unit testing component), is a unique solution that can help your
team overcome the challenges of allocating requirements to team members, mapping requirements to design and source code, linking test cases to requirements and the generation of verification reports. TBreq interfaces directly w ... |
| |
|
|
LDRA Testbed: languages, hosts and targets
The LDRA Toolsuite is available for a wide range of hostplatforms, source langages, processor architectures and integrated with many development toolsuites
Languages Host environments Processors Development Tools
Languages:
The LDRA tool suite is available for the following ... |
| |
|
|
LDRA tools for IEC-61508 certification
... |
| |
|
|
LDRA tools for DO-178B certification
Certification authorities such as the FAA, CAA and JAA undertake tool qualification on a project by project basis. This means that, when considering tools, assistance in tool qualification is essential. As an integral part of the LDRA DO-178B Analysis Package, LDRA offer a Tool Qualification Support Pack and agree to enable clients and certification authorities to audit the LDRA tool suite for use ... |
| |
