Project 2 - V&V SW Analysis II

1

1. Launch LDRA Testbed: Open the LDRA Testbed application.

2. Create a New Project:

   • Go to File -> New Project.
   • Name your project, e.g., TestrainAnalysis.
   • Select the directory you created earlier (LDRA Project) as the project location.

3. Add Source File:

   • Navigate to Project -> Add Files.
   • Browse to the directory where "Testrain.c" is located (e.g., C:\**\LDRA_workarea\Examples\C_Testbed_examples\Testrain\Testrain.c).
   • Select "Testrain.c" and add it to the project.

Perform Static Analysis

1. Configure Static Analysis:

   • Go to Analysis -> Static Analysis Option.
   • Configure the settings as needed. Ensure that all relevant checks and standards (e.g., MISRA, CERT) are enabled according to your requirements.

2. Run Static Analysis:

   • Click on Run Static Analysis in the toolbar or go to Analysis -> Run Static Analysis.
   • LDRA Testbed will analyze the source code for potential issues, code quality, and compliance with coding standards.

Review Analysis Results

1. View Results:

   • After the analysis is complete, go to View -> Static Analysis Results.
   • Review the list of issues identified by the static analysis. These may include warnings, errors, and violations of coding standards.

2. Detailed Analysis:

   • For each issue, you can view detailed information by clicking on the issue. This will provide insights into why the issue was flagged and potential ways to resolve it.

Generate Code Review Report

1. Configure Report Settings:

   • Go to Report -> Report Settings.
   • Configure the report settings as needed. You can choose the type of report, the level of detail, and the format (e.g., PDF, HTML).

2. Generate Report:

   • Go to Report -> Generate Report.
   • Choose the desired report format and click Generate.
   • Save the report to your project directory (e.g.. LDRA Project).

Review and Upload Report

1. Review the Report:

   • Open the generated report file from the project directory.
   • Ensure that it contains all the relevant information about the static code analysis, including identified issues, their severity, and recommendations for fixes.

2. Upload the Report:

   • Once the report is reviewed, you can upload it to your desired location or submit it as required.

By following these steps, you will perform a thorough static code review analysis using LDRA Testbed, generate a detailed code review report for "Testrain.c", and have a structured process to ensure code quality and compliance with standards

2

Launch LDRA Testbed: Open the LDRA Testbed application.

1. Create a New Project:

   • Go to File -> New Project.
   • Name your project, e.g., CashregisterIntegrationTesting.
   • Select the directory you created earlier (LDRA_cashregister_project) as the project location.

2. Add Source Files:

   • Navigate to Project -> Add Files.
   • Browse to the directory where the source files are located (e.g., C:\**\LDRA_workarea\Examples\Toolsuite\Cashregister_6.0\ ** ).
   • Select all the .c files in the directory and add them to the project.

Perform Static Analysis (Optional but Recommended)

1. Run Static Analysis:
   • Click on Run Static Analysis in the toolbar or go to Analysis -> Run Static Analysis.
   • Review and resolve any issues found during static analysis before proceeding with integration testing.

Configure and Run Integration Testing

1. Create Test Cases Manually:

   • Go to Testing -> Test Case Management.
   • Click on New Test Case.
   • Define the test case parameters, including input values and expected outputs.
   • Save the test case.

2. Create Test Cases Automatically Using TBExtreme:

   • Go to Testing -> TBExtreme.
   • Configure TBExtreme to automatically generate test cases based on the code structure and dependencies.
   • Save the automatically generated test cases.

3. Run Integration Tests:

   • Go to Testing -> Run Tests.
   • Select the test cases you created manually and automatically.
   • Execute the test cases and review the results.

Generate and Save Test Reports

1. Generate Test Report:
   • Go to Report -> Generate Report.
   • Select the format (e.g., PDF, HTML) and the level of detail for the report.
   • Click Generate and save the report to your project directory (e.g.,LDRA_cashregister_project).

Save Test Cases as .tcf File

1. Export Test Cases:
   • Go to Testing -> Export Test Cases.
   • Choose the format .tcf and save the file in your project directory (e.g., LDRA_cashregister_project).

Upload the .tcf File and Report

1. Locate the .tcf File:

   • Navigate to the directory where you saved the .tcf file (e.g., LDRA_cashregister_project).

2. Upload the .tcf File and Report:

   • If required, upload the .tcf file and the generated report to the desired location or submit them as instructed.

Image Upload Instructions

1. Take a Screenshot:

   • Open the folder containing the .tcf file.
   • Take a screenshot showing the file location.

2. Upload the Image:

   • If you need to upload the image, follow the platform-specific instructions to upload the screenshot showing the .tcf file location.