There are two types of testing strategies using to find out code has met specifications or not.

1.Static testing , the software is tested with out executing. It is done through Manual code reviews and code inspections. In the process the code is checked to ensure that it implements all the requirments given in the SRS document and also checked is it easy to  understandable  and maintainable. This is also called static analysis. this review we can't say code is cent percent correct. this is only a process or way to find out bugs in software development.

2.Dynamic testing , the code is executes and the actual results are compared with the expected results. Both results match same. then code is met specifications.

Please Correct me if i am wrong....