Project 2 - V&V SW Analysis II

1))

start LDRA TBrun.

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)

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

source->run static analysis

results->test manager report.

 

2))

start LDRA TBrun.

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) 

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

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

source-> run static Analysis result->test manager report