LDRA tool suite |
 |
Software Development and Testing with LDRA Testbed®What is LDRA Testbed? 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, which enables advanced software analysis techniques to be applied at key stages of the development lifecycle. LDRA Testbed provides powerful analysis facilities which may be applied in the two main testing domains of Static Analysis and Dynamic Analysis.
Benefits of using LDRA Testbed
TBvision®Increases Visibility for Industry Standards Compliance, Security Vulnerabilities and Defect and Fault Detection. TBvision presents code standard violations and software flaws in the context of the original source code. The interactive environment allows switching between reported violations; the original source code and any of the LDRA Testbed supported coding standards. In so doing TBvision clarifies to the user why an issue is being reported and what remedial action is required. In addition, software integrity can be measured and reported in terms of quality, security, or simply the presence of defects (including dynamic memory errors). TBvision presents the software flaws identified by static analysis from any of these perspectives and identifies the issues that need to be addressed to ensure that a software project meets its objectives. Unit Testing with TBrun®What is Unit Testing? Unit testing may be defined as a process of verification and validation of an individual module or ‘unit’ of software. In its simplest form a unit may be a single function or method that has been isolated from the main body of application code. The analysis of this unit, in isolation, is normally achieved by means of the developers writing additional driver modules or test harnesses, which ‘manage’ the necessary unit inputs and outputs. The major strength of unit testing is that it enables developers to apply analysis techniques much earlier in the development lifecycle than might otherwise be achieved. Studies, however, have indicated that unit testing is under-utilised by up to 90% of software developers because traditional techniques are labour-intensive, expensive, dependent on expert knowledge and are therefore unattractive to developers and testers alike. This aside, it is generally acknowledged that it is much more cost effective to identify and resolve software errors in the early stages of the development cycle, and hence the application of source code analysis techniques at the unit level will yield significant long-term cost benefits.
What is TBrun? In response to the issues outlined above, LDRA has developed TBrun. TBrun utilises the powerful Static and Dynamic Analysis facilities of the LDRA tool suite to provide a sophisticated, fully automated, unit test solution. TBrun automatically generates test harnesses for the unit under test and, in so doing, saves time, frees up highly qualified staff, increases test efficiency and improves motivation to test through a repeatable, less error-prone process. As TBrun is fully integrated with LDRA Testbed it enables the application of a wide range of Static and Dynamic Analysis techniques at a variety of levels. The code being analysed, the ‘unit’, therefore may be a single function, a set of functions, a source file, a sub-system or even a complete system. This powerful feature allows TBrun to be used for unit, module, sub-system and integration testing. Studies have shown that, compared to manual techniques, testing efficiency in the unit code and test arena can be improved by as much as 76% using TBrun. Requirements Traceability with TBreq®What is TBreq? Requirement Testing and Verification 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 with your management tool (Telelogic DOORS®, IBM® Rational® RequisitePro®, Microsoft® Word or Microsoft® Excel) to ensure traceability across your software lifecycle and the completeness of your requirements coverage. Within the LDRA tool suite, TBreq creates test specifications and executable test cases directly from requirements. Test results are automatically returned to the requirements management tool to provide "round-trip requirements traceability verification." A key feature of TBreq is its ability to capture requirements (high-level, derived and low-level) from any management tool and source; while providing an intuitive interface for traceability, test case generation and requirements verification. All of these features combine to make TBreq the most effective solution for Requirements Management on the market today. Compliance with your Certification Standards Qualification represents the agreement from Certification Authorities to reduce or replace manual activities with tool results and verifications. TBreq complies with the most demanding quality standards: CMMI, DO-178B for Avionics, EN-50128 for Railway transportation and IEC 61508 for Automotive to name a few. The tool is compliant with the AIRBUS process for A380 & A340 projects, Boeing 787, F-35 Lightning II, NASA CEV and other major projects. TBreq is qualifiable according to all of these standards, and LDRA can assist in this qualification process. LDRA also offers a DO-178B Tool Qualification Pack to assist in the certification process. All of these features combine to make TBreq the most effective solution for collaborative requirements-based development and verification on the market today. Automate Your Requirements Testing Matrix The ability to manage changing requirements and testing Requirements are an essential building block of a project and hence managing change to requirements are critical. TBreq provides an easy to use and configure interface to your requirements management tool. Allocating requirements and verification artifacts are made visable across a network of user workspaces. All informal changes and test results are recorded, so that all team members can identify which data might be "suspect." Traceability Matrix created automatically TBreq is unique in providing end-to-end, graphical traceability reports in a single view. Analysts and project managers can see a complete picture of traceability from software requirements to design, code, test specifications and test results. All reports are exportable to Word documents and easily customised to meet project needs. Categories: |
 | |
