Project 2 - V&V SW Analysis II
1.
-
Open LDRA Tool: Launch the LDRA tool installed on your system. You can typically find it in your program files or applications folder.
-
Create New Workspace: If you don't have a workspace already set up, create a new workspace for your project. This will allow you to organize and manage your files within the LDRA environment.
-
Import Project: Navigate to the location of the '
Testrain.c'file on your system (replace "C:**\LDRA_workarea\Examples\C_Testbed_examples\Testrain\Testrain.c" with the actual file path) and import it into your LDRA workspace. -
Static Analysis Configuration: Configure the static analysis settings according to your project requirements. You can specify the compiler options, target architecture, and other relevant parameters.
-
Run Static Analysis: Initiate the static analysis process by selecting the appropriate option from the LDRA menu or toolbar. This will analyze the '
Testrain.c'file for potential issues such as syntax errors, coding standards violations, and other defects. -
Review Analysis Results: After the static analysis completes, review the analysis results provided by the LDRA tool. Pay attention to any warnings, errors, or messages indicating issues within the code.
-
Address Identified Issues: Address any identified issues found during the static analysis process. This may involve fixing syntax errors, correcting coding standards violations, or optimizing code for better performance.
-
Generate Code Review Report: Use the LDRA tool to generate a code review report based on the analysis results. This report will provide a summary of the static analysis findings, including a breakdown of issues by severity and recommendations for improvement.
-
Save Report: Save the generated code review report to your local filesystem. You may choose to save it in a specific directory within your LDRA workspace for easy access.
-
Upload Report: If necessary, upload the code review report to the appropriate location for review and further action. This could be a shared network drive, version control repository, or project management tool.
2.
Manually Creating Test Cases:
1. Identify Integration Points: Review the `.c` files in the specified folder to identify integration points where multiple components interact.
2. Design Test Cases: Develop test cases that exercise the integration points identified in step 1. Consider various scenarios and inputs to ensure comprehensive coverage.
3. Test Cases: Write the test cases in a format that can be executed by the LDRA tool. This may involve using LDRA's test case scripting language or another suitable format.
4. Compile and Execute: Compile the test cases along with the source code files from the specified folder. Execute the test cases and observe the results.
Automatically Creating Test Cases with TBExtreme:
1. Open LDRA TBExtreme: Launch TBExtreme and set up a test configuration for the project. Include all `.c` files from the specified folder in the configuration.
2. Generate Test Cases: Use TBExtreme to automatically generate test cases based on the defined test configuration. Specify integration points or coverage criteria as needed.
3. Review Generated Test Cases: Review the test cases generated by TBExtreme to ensure they cover the desired functionality and integration points.
4. Execute Test Cases: Execute the generated test cases against the project files, including all `.c` files from the specified folder. Verify that the integration points are adequately tested.
Storing Test Cases as .tcf File:
1. Save Test Cases: Once you have created or generated the test cases, save them in a `.tcf` file format. This format is commonly used for storing LDRA test cases.
2. Upload .tcf File: Upload the `.tcf` file to the desired location. You can use a file sharing service, version control repository, or any other appropriate location.
3. Share Location Image: Take a screenshot or provide the file path of the location where the `.tcf` file is stored. You can upload the image or provide the path in your response.