1. A method for analyzing a test coverage of a software application specification by a test suite, the method comprising: reading an assertion document for a specification, the assertion document having a corresponding tagged assertion for each assertion in the specification, each tagged assertion being defined in a markup language; reading a static file for defining tests of the test suite, the static file being defined in the markup language, the test suite being divided into tests, each test being divided into test cases, the static file configured to include an entry for each test case, and each entry configured to include tagged assertions tested by the test case; and correlating each of the tagged assertions in the assertion document with the test cases in the static file so as to determine test coverage of the specification.