LDRA Testbed ® It provides a powerful Reverse engineering tool to understand software and an evaluation tool to let users understand the impact of modifying a part of the program on the entire application.

Using LDRA Testbed ® It can be used to clearly define the level of software achieved and the tests to be accepted.

LDRA Product Introduction

LDRA Testbed ® Mainly used in software programming, software testing, and software maintenance stages to improve the quality of software products.

In software development, LDRA Testbed ® It can make every software developer and manager concerned about the following issues: using unified tools, following the same programming rules, and running effective tests; The project leader and quality engineer use tools to regularly check whether the entire project has achieved the expected quality objectives.

Software maintenance is difficult and costly throughout the entire software development process. LDRA Testbed ® It provides a powerful Reverse engineering tool to understand software and an evaluation tool to let users understand the impact of modifying a part of the program on the entire application.

Using LDRA Testbed ® It can be used to clearly define the level of software achieved and the tests to be accepted.

Using LDRA Testbed ® It can improve the efficiency of software product development and shorten the development cycle, mainly due to the ability to detect and modify software errors and shortcomings during the programming phase; During the testing phase, real-time display of test coverage provides necessary information for adjusting testing plans and optimizing software testing; In the software maintenance phase, it provides Reverse engineering tools to understand the software.

By using LDRA Testbed, the software product development process can be improved and the quality of the software product can be improved: its analysis adopts the internationally used quality model based on software metrics (McCabe, Halstead, etc.), and its software programming rules integrate the programming experience of many software companies; Code coverage can be used to verify software testing efficiency; The project leader or manager can regularly inspect the software and ensure that the developed software is reliable and easy to maintain; Support validation of numerous software standards such as DO-178B (A, B, C levels), ISO-9001, IEC/W9, Tick/IT, etc; The LDRA product itself has been validated through software standards.

Testbed Function Introduction

]Programming standard verification: preventing software errors from occurring;

Data-flow analysis: detect errors in software and assist Code review;

Software measurement analysis: objectively measure and track Software quality;

Call relationship and control process analysis: intuitive understanding of program structure;

Code coverage analysis: optimize software testing and improve Software quality.


Coding Standards Verification

Programming standard verification is an indispensable Software quality assurance method for high reliability software development. LDRA Testbed is used to automatically verify whether the application software follows the selected programming rules. Programming rules are formulated by software project managers based on the characteristics of their own projects and referring to existing mature software programming standards, such as DERA (European Defense Standards), MISRA (Automotive Software Standards), and LDRA Testbed. Based on this rule, they search for applications and determine whether the code violates the programming rules established. LDRA Testbed reports all code that violates programming rules and displays it in text or graphic reverse annotation. Testers or programmers can modify code that violates programming rules based on the displayed information.

]Data-flow analysis -- Error Detection

LDRA Testbed analyzes the use of Global variable, local variables and process parameters in the software, and presents them in the form of graphic display, HTML or ASCII text report, so as to clearly identify software errors caused by variable use. This method can be used not only at the unit level, but also at the integration level and system level. The research results show that this technology, known as Data-flow analysis, is one of the most effective ways to find software errors.

Through the Data-flow analysis function of Testbed, some possible program deficiencies in the software can be easily analyzed, such as:

1. Wrong local or Global variable;

2. Unmatched parameters;

3. Missing labels or codes;

4. Undefined variables; And so on, it is often found that undefined variables occur in the program.

Software Measurement Analysis

For software development engineers, project leaders and senior managers, the management and monitoring of Software quality is very difficult and time-consuming. LDRA Testbed solves this problem well, making it easy for managers to collect relevant information about the software system being developed and judge whether the software meets the requirements of Software quality standards, so as to achieve the quality tracking and control of software projects. Testbed provides data file interface, and users can define Software quality model suitable for the system or project based on current software standards.

LDRA Testbed supports the analysis of the following main software metrics: Control Flow Knots;

LCSAJ Density; Fan in/fan out measurement; Loop depth measurement;

McCabe Circle Complexity; Halstead Software Science Metrics;

McCabe basic cycle complexity; Comment line measurement; Code accessibility measurement; Wait a minute.