Project 2 - V&V SW Analysis II

as per the mentors advice ldra tool not working so the procedure to do the testing is followed by

1)

• select the file Testrain.c
• create the sequence for that file
• do static analysis
• select white box
• do test cases
• execute the test cases to get 100% statement, Branch/Decision and MC/DC coverage.
• generate the Dynamic Code coverage report
• now select the black box
• do test cases
• generate Regression report

2)

• select option multiple file,set it as system,add the files
• by manual
• create the sequence for that file
• do static analysis
• select white box
• do test cases
• execute the test cases to get 100% statement, Branch/Decision and MC/DC coverage.
• generate the Dynamic Code coverage report
• now select the black box
• do test cases
• generate Regression report
• by automatic
• do extreme test which take owen inputs to generate test cases
• generate test manager report
• set the file as .tcf