Project 2 - V&V SW Analysis II

Q1)

Step 1: Source -> Single file

Step 2: Sequence -> New sequence -> “ select the .c file ” ->Code coverage -> Continue

Step 3:Right click on the file and Set as Black Box if you needed

Step 4: Source -> Run Static Analysis

Step 5: Results -> Test Manager Report

Q2)

Step 1: Source -> Multiple file

Step 2: Select / Create Set ->name -> system ->Add -> Choose .c file ->Add ->Choose .c file

Step 3: LDRA tool bed Analysis -> No

Step 4: Configuration -> LDRA test configuration -> Static options ->Give path for the .dat file

Step 5: Source -> Static Analysis

Step 6: Results -> Test Manager Reports

Q2a)

Step 1: Source -> Single file

Step 2: Sequence -> New sequence -> “ select the .c file ” ->Code coverage -> Continue

Step 3: File view -> Select .c File -> set as Black box testing

Step 4: Extreme Test -> run tabular Extreme test

Step 5: Results -> Test Manager Reports

Q2b)

Step 1: Source -> Single File

Step 2: Sequence -> New Sequence -> Name -> Code Coverage -> Continue

Step 3: File View -> Click on .c File -> Set as Black Box

Step 4: Extreme Test -> Run Extreme Test

Step 5: Source -> Save file or set as TCF.