Project 2 - V&V SW Analysis II

*LIVE BATCH STUDENT*

1. Open LDRA tool
2. Click on Source
3. Click on Single file
4. Select the Ggrocer.c or any .c file (Documents-> LDRAEE -> LDRA_Workarea-> Examples-> C_tbrun_examples-> Ggroceries.c)
5. Go to sequenceà newàgive an name àclick on code coverage check box
6. Right click on Ggrocery.c file in File view windowàset as black box testing
7. Source àRun static analysis
8. Keep in Block box test setting only
9. Go to extreme test on menu bar

• Click on Run Tabular extreme test case ( all the test case pertaining to function in Ggrocery.c file have created)
• All test created (40)
• Stub management
• Go and right click on function (Initialise_customer)àprocedure code
• Add stub(error free code)

int mcdc_func(int a, int b)

{

If(a<=0 || b>20)

{

return 1;

}

else

{

return 0;

}

}

15. Go to source àRun static Analysis