Project 2 - V&V SW Analysis II

PROJECT 2:

Q1:

Step 1: Source >> Single file.c >> C:\**\LDRA_workarea\Examples\C_Testbed_examples\Testrain\Testrain.c >>Yes.

Step 2: Sequence >> New >> Sequence name >> (Ex: Projec1 Q1).

Step 3: R.C Testrain >> Create new T.C >> Standard >> Continue.

Step 4: Run Driver >> Generate Driver >> Run Driver >> Build Code.

Step 5: R.C Testrain.c >>Pass/Fail flow graph.

Step 6: Results >> Regression report.

Q2 Part A:

Step 1: Source >> Single file.c >> C:\**\LDRA_workarea\Examples\Toolsuite\Cashregister_6.0 >> Yes

Step 2: Sequence >> New >> Sequence name >> (Ex: Projec1 Q2).

Step 3: R.C Cashregister_6.0 >> Run standerd extreme test / Run tabular extreme test.

Step 4: results >> regression report.

Q2 Part B:

Step 1: Source >> Test case templete >> generate T.C templete >> users Skilllync_Bang >> Documents >> LDRA_orkarea >> Cashregister_tbwrkfls >> Specialoffer.tct >> ok.

Step 2: (For creating TCF fille) C: >>LDRA_Toolsuit_c_cpp_10.0.2 > > Csv2tcf

Step 3: place $(CSV 1), $(CSV 2), $(CSV 3), at Value =

Step 4: (For run the TCF File) LDRA_toolsuit_c_cpp_10.0.2 >> CSV 2 TCF >> Double.Click CSV2TCF_mod.

Step 5: open the special offer.tcf file

Step 6: Test case >> import T.C >> This PC >> Documents >> LDRA >> LDRA_Workarea >>Cashregister_tbwrkfls >> double click Specialoffer >> Chose file path >> ok.

Step 7: Do static analysis

Step 8: Results >> regression report.

Note: I submit the notes because the LDRA tool is not working.