Project 2 - V&V SW Analysis II
Task 1: Static Code Review Analysis
Objective
Perform a static code review analysis on the file located at:
C:\...\LDRA_workarea\Examples\C_Testbed_examples\Testrain\Testrain.c
Steps
Launch LDRA Testbed:
- Open LDRA Testbed on your system.
Import Source Code:
- Navigate to the specified file location and load
Testrain.cinto the LDRA workspace.
- Navigate to the specified file location and load
Run Static Code Review:
- Select Static Code Analysis from the LDRA menu.
- Choose relevant coding standards (e.g., MISRA, CERT C) for the review.
- Execute the analysis and review:
- Coding standard violations.
- Maintainability index.
- Complexity metrics (e.g., Cyclomatic Complexity).
Generate Code Review Report:
- Navigate to the "Reports" section.
- Select "Static Analysis Report" and export it as a PDF or HTML file.
Upload the Report:
- Save the report and upload it as per the instructions.
Task 2: Integration Testing
Objective
Perform integration testing for all .C files in:
C:\...\LDRA_workarea\Examples\Toolsuite\Cashregister_6.0\
Steps
(A) Create Test Cases and Execute Tests
Load the Files:
- Import all
.Cfiles from the specified folder into the LDRA Testbed workspace.
- Import all
Set Up Integration Test Environment:
- Configure the project for integration testing.
- Define relationships and dependencies between the modules.
Manual Test Case Creation:
- Identify integration points and create test cases manually for:
- Data flow validation.
- Functional interface checks.
- Use the "Test Management" section to define inputs, expected outputs, and success criteria.
- Identify integration points and create test cases manually for:
Automatic Test Case Generation:
- Use TBExtreme to generate test cases automatically:
- Configure the tool to meet integration testing goals (e.g., functional interactions, coverage).
- Execute the generated test cases.
- Use TBExtreme to generate test cases automatically:
Stub Management:
- Identify external or missing functions.
- Use Stub Management to simulate these dependencies during testing.
Run Integration Tests:
- Execute both manual and automatic test cases.
- Verify outputs and debug failures.
Generate Test Reports:
- Export test execution results and coverage reports in PDF or HTML formats.
(B) Store Test Cases as .tcf Files
Save Test Cases:
- In LDRA Testbed, save all created test cases as a
.tcffile (Test Case File). - Ensure the file is saved in an accessible location.
- In LDRA Testbed, save all created test cases as a
Capture Location Image:
- Navigate to the folder where the
.tcffile is stored. - Take a screenshot of the directory showing the
.tcffile.
- Navigate to the folder where the
Upload Image:
- Save the screenshot and upload it as required.
Deliverables
- Static Code Review Report (PDF/HTML) for
Testrain.c. - Integration Test Reports (Manual and Automatic test cases).
- Saved
.tcfFile containing all test cases. - Screenshot of the
.tcffile location.