Project 2 - V&V SW Analysis II

1)

Source->Single file->LDRAEE->LDRA_Workarea->Examples->C_Testbed_examples->Testrain->Testrain.c

Source->Run Static analysis

Result->Test Manager Report

2)

Source->Multiple file->LDRAEE->LDRA_Workarea->Examples->Toolsuite->Casgregister_6.0

Source->Multiple file->System->Add->.c file->Ok->No

Static Analysis Option->Find/Create->.c file

Source->Run Static Analysis

Source->Select Save File or Set to TCF

Store the test cases and located the image ->.tcf file (New Volume(E:)->LDRA_Workarea-EE_C_CPP_10.0.3->Examples->Toolsuite->Cashregister_6.0->Source->akpro.tcf)

Result->Test Manager Report