Project 2 - V&V SW Analysis II

1)

Connect the user between 4 to 10 in LDRA tool..then u have to follow this steps.

Steps used in order to do test are.

start LDRA TBrun.
From the LDRA page select source->single file->choose Ggroceries.c->open.(in log view all the files will run)
sequence->new->give any name(kkk)& select code coverage-> continue.
source->run static analysis
results->test manager report(report will be opened in Internet like a pdf)(there we can see our sequence name and what type of test we did)
Steps used to do Black box testing:

start LDRA TBrun.
From the LDRA page select source->single file->choose Ggroceries.c->open.(in log view all the files will run)
sequence->new->give any name(kkk)& select code coverage-> continue.
sequence file explorer->right click & select black box test.
source->run static analysis
results->test manager report(report will be opened in Internet like a pdf)(there we can see our sequence name and black box test we did)
Steps used to do white box testing:

start LDRA TBrun.
From the LDRA page select source->single file->choose Ggroceries.c->open.(in log view all the files will run)
sequence->new->give any name(kkk)& select code coverage-> continue.
sequence file explorer->right click & select white box test.
source->run static analysis
results->test manager report(report will be opened in Internet like a pdf)(there we can see our sequence name and white box test we did)
Create a new test case:

test case->new test case.
from the list i have selected initial_customer file->select whether std/repitation&continue.
now the initial customer box moved from blue to red(it denoted that we are going to create test case for it)
right click the initial customer->procedure code(where we can see the code of the particular block)
then by observing the code change i/p&o/p at-------- For example: 1st i/p-melon, 2nd i/p-0.0, 3rd io/p-0.0, 4th o/p-pear, 5th o/p-melon.
then run driver-run driver option.
at the test case view, we can observe the particular test is whether passed / failed.
Result->test manager report/ regression report(here we can observe how many i/p and o/p are in particular block).
the same test case is done for customer cash injection.

2)

from the ldra page source is there we can click on multiple files after that click on configue-> analysis configuration action->static options .

after that we click on file/create add g=G groceries .c file click on add click on examples ->c tb run-> again examples

similarly macros also click on file /create examples-> c tb run-> again examples after that click on apply->ok

after that click on runstatic analysis the code will be compile after taht we click on results->test manager report

after that click on sequence ->new

clik on extreme test->run tabular extreme test automatically test cases will generate after that click on run static analysis

after that click on source ->save file/set TCF.