没有合适的资源?快使用搜索试试~ 我知道了~
首页ldra c++ testbed 安装文档3
资源详情
资源评论
资源推荐

LDRA Testbed
®
Set Analysis Example (GUI)
©2008 LDRA Ltd. LDRA Testbed Tutorial 67
Set Analysis Example (GUI)
This section of the tutorial describes usage of the set based analysis facilities, designed to enable
the testing of large systems of many source modules. A user without experience of LDRA Testbed
set based analysis is advised to follow the simple steps described in this tutorial to familiarise
themselves with the system.
Introduction to Set Based Analysis
The primary objectives of this set analysis facility is to aid System and Integration testing, and
enable batch analysis of many source files. Users are able to specify a set of source files which are
stored in an internal database and may be analysed by the LDRA Testbed as a single unit.
A set will be given the property of either:
• GROUP (default) - a set of files to be separately analysed in one run.
• SYSTEM - a set of interconnected files where integration testing is required.
For a set with a group property the analysis undertaken is exactly the same as if each file were run
separately through LDRA Testbed, with the standard individual results files being available, in
conjunction with an LDRA Testbed Analysis Scope Report that documents which files successfully
passed the analysis facilities selected.
For a set with a system property, LDRA Testbed analyses each file in turn through Static and
Complexity analysis. The results of these analyses are then processed by the LDRA Testbed
Qualsys System to optimise Global Data Flow and Global Cross Reference. Qualsys also produces
the System Integration Report. System/Integration Analysis is further enhanced by the
addition of system wide graphics displays which enables the user to access the full range of LDRA
Testbed graphics facilities for the system as a whole.
Systems and Groups Error Handling
The set property setting also directly affects LDRA Testbed’s reaction to error or implementation
limitation messages:
• Sets with a SYSTEM property will STOP analysis after the production of an error or
implementation restriction message. This is because LDRA Testbed’s internal expert system
relies on analysis results from each file in the set. Inconsistent or incomplete results cannot
be relied upon and therefore analysis will stop.
• Sets with a GROUP property will CONTINUE to analyse other files in the set if one or more
raise an error or implementation restriction message.
If you encounter an error message for a file in a set with a system property, you may find it useful
to change the property to group and re-start the analysis. This will enable the user to discover if any
other analysis issues will be raised in the analysis of the set before contacting LDRA.
The Example Source Files
The source files used in this tutorial are:
tbsdem1.c/cpp
tbsdem2.c/cpp
tbsdem3.c/cpp

LDRA Testbed
®
Set Analysis Example (GUI)
68 LDRA Testbed Tutorial ©2008 LDRA Ltd.
These files are a small system and demonstrate a simple integration testing scenario, showing how
LDRA Testbed results can be created for a series of linked source files.
Run LDRA Testbed
To run LDRA Testbed, from the Start Menu on the Taskbar select the Programs menu and the LDRA
Testbed sub-menu. Then click on the LDRA Testbed icon. An example can be seen below:
Please Note
: If you have difficulty running LDRA Testbed, please consult your System Administrator,
or see the Troubleshooting section of the Miscellaneous section of this User Manual.
For enhanced definitions of the different analysis stages available,
please read through the testrian.c/cpp example in the File Analysis
Example (GUI) on page 29.

LDRA Testbed
®
Create a Set of Source Files
©2008 LDRA Ltd. LDRA Testbed Tutorial 69
Create a Set of Source Files
Prior to any analysis you will have to create a set in which you will ‘place’ the source files to be
tested.
From the Set menu, select the Select/Create/Delete Sets option.
You will then be prompted to enter an appropriate name, via the dialog box
shown below:
A set name must not be zero
length, start with a space, or
include any of the following
characters: \/:*?"<>|.
Use of non permitted characters
will result in an error message
which explains the constraints on
set naming. If a valid name is
entered LDRA Testbed will
confirm the entry into its
database.
Enter tbsdemo and click the
Create button.
Select Set Property
After naming the new set the following dialog box will appear prompting you to give your set a
property:
Select the System option and LDRA Testbed will then add the new set name and property to its
internal database.

LDRA Testbed
®
Create a Set of Source Files
70 LDRA Testbed Tutorial ©2008 LDRA Ltd.
Add Files to the Set
Once a set has been created the user is required to add in the source files
to be analysed. To achieve this select the List/Add/Remove Files in Set
option from the Set menu. The following dialog box will then appear:
Click the Add button.
Navigating Directories
If you are not in the directory containing the
sample source files, use the Directories
window to navigate through the file system
to the correct area. The files are located in
the directory:
C/C++_testbed_examples->Tbsdemo
Overview of Adding Files
Highlight each source file required by moving
the mouse pointer over each file’s name and
clicking once with the left mouse button
whilst holding down the Control (Ctrl)
key. Select the files:
tbsdem1.c/cpp
tbsdem2.c/cpp
tbsdem3.c/cpp
Click on Add and the source files will now be placed in the List/Add/Remove Files in Set
dialog.
剩余19页未读,继续阅读

安全验证
文档复制为VIP权益,开通VIP直接复制

评论0