How the hell can we do that?.- Its done through manual code reviews/code inspections. The developer, along with other group members goes through the code and checks for any errors. The code is checked to ensure that it implements all the requirements given in the SRS document. An important thing to be tested are comments. Each unit of code should have been properly commented.
Static Analysis = Static Testing