Project 2 - V&V SW Analysis II

1.

step 1: start LDRA TBrun.

step 2: From the LDRA page select source->single file->LDRA_workarea->examples->C_Testbed_examples->Testrain->Testrain.c->open.(in log view all the files will run)

step 3: sequence->new->give any name(---)& select code coverage-> continue.

step 4: source->run static analysis

step 5: 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)

2.

step 1: start LDRA TBrun.

step 2: From the LDRA page select source->multiple file->select/create set (create a name)->create->system->add the .c files->click ok it ask run LDRA tested analysis (No)

step 3: configure->analysis configuration options->static options->finc/create->example->c_tbrun-examples->again examples->.c files->select

step 4: macros->find/create->Examples->c_tbrun_examples-examples-> select.(finally give apply and OK)

step 5: source-> run static Analysis

step 6: result->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)