Project 2 - V&V SW Analysis II

Static Analysis:

1. Perform Static Code Review Analysis for “C:\**\LDRA_workarea\Examples\C_tbrun_examples\Ggrocers.c” (Single .c file), modify the Code to remove violations and make compliant to MISRA: C 2012 & CERT standards.

• Generate Code review report compliant to MISRA: C 2012 Coding Standards
• Generate Code review report compliant to CERT Coding Standards

Output/Reports: Code review report compliant to MISRA: C 2012 & CERT standards (2 html reports with no violations)

Dynamic Analysis – White box testing:

2. Perform Unit testing for “C:\**\LDRA_workarea\Examples\C_tbrun_examples\Ggrocers.c” (Loading Single file)

• Create the test cases manually as well as automatically using TBExtreme and execute the test cases to get 100% statement, Branch/Decision and MC/DC coverage.
• Generate Dynamic Code coverage report, Regression report and Testmanager report.
• Save the test cases as .tcf file.

Output/Reports: Dynamic Code coverage report, Regression report and Testmanager report. (3 html reports with 100% statement, Branch/Decision and MC/DC coverage and one .tcf file )

3. Perform Unit testing for “C:\**\LDRA_workarea\Examples\ C_testbed_examples\Advanced\Big_gear.c” (Loading Single file)

• Create the test cases manually as well as automatically using TBExtreme and execute the test cases to get 100% statement, Branch/Decision and MC/DC coverage.
• Generate Dynamic Code coverage report, Regression report and Testmanager report.
• Save the test cases as .tcf file.

Output/Reports: Dynamic Code coverage report, Regression report and Testmanager report. (3 html reports with 100% statement, Branch/Decision and MC/DC coverage and one .tcf file)

4. Perform Integration testing for “C:\**\LDRA_workarea\Examples\Toolsuite\Cashregister_6.0\ Cashregister.tcf” (Multiple files/Set creation using tcf file or manual way)

• Create the test cases manually as well as automatically using TBExtreme and execute the test cases to get 100% statement, Branch/Decision and MC/DC coverage.
• Generate Dynamic Code coverage report, Regression report and Testmanager report.
• Save the test cases as .tcf file.

Output/Reports: Dynamic Code coverage report, Regression report and Testmanager report. (3 html reports with 100% statement, Branch/Decision and MC/DC coverage and one .tcf file)