It is none other than the Functional specification document. It defines the full functionality of a product. Other documents are also useful in testing like user manual and BRS. Gap analysis is another document which can help in understanding the expected and existing system.