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->

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

step 4: source->run static analysis

step 5: results->test manager report

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.(apply and OK)

step 5: source-> run static Analysis

step 6: result->test manager report