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.

2.Dynamic testing , the code is executes and the actual results are compared with the expected results.