Project 2 - V&V SW Analysis II

1.LDRA tbrun>source>LDRAEE>LDRAworkarea>examples>C_testbed examples>testrian>Testrian.c

sequence>new>name seq9>continue

source>run static analysis>result>test manager result

2. LDRA tbrun>source>multiple files>give name of the integration test>create>system click>add .c file>click no to Run LDRA testbed analysis>configure>analysis configuration options>static option>find path>select path>click ok>run static analysis

a.automatic test case

extreme test>run standard extreme test>results>regression report

manual test case

test case>create new test case>run driver