Sections


Main-Menu

header image

Software Verification


In Software Verification, we discuss various test methods, how testing and debugging should be carried out and documented. The testing process and the stages of testing and the advantages and disadvantages of top-down testing are discussed. A formal method of program verification is described.

Basically Software Verification Process Encompasses followinf phases:

1. Test methods

  • Verification of algorithms
  • Static program analysis
  • Dynamic testing
  • Black-box and white-box testing
  • Top-down and bottom-up testing

2 Mathematical program verification

3 Debugging


Related Articles :



Leave a Comment

Please note: Comment moderation is enabled and may delay your comment. There is no need to resubmit your comment.

Shaadi.com Matrimony - Register for FREE