1. A method comprising: building a dependencies graph representing dependencies between a plurality of code elements of a computer code; calculating a plurality of links associating portions of the computer code in the dependencies graph with corresponding design specifications or requirements written in a natural language derived from a word analysis of a plurality of sections in a design document or a requirements document, associated with the computer code and addressed by a plurality of functional tests, to yield a design specifications or requirements-code tracing map, wherein the associating comprises: segmenting the design or the requirements document into said plurality of sections, each section of said plurality of sections having a single design portion or a single requirement of the corresponding design specifications or requirements; indexing the plurality of sections into a search engine; creating a query according to words obtained from the computer code, wherein the words are ranked according to their respective semantic meaning, for each segment of the computer code; and retrieving respective requirements or design specifications by applying the search engine to each one of respective queries; and analyzing the design specifications or requirements-code tracing map based at least partially on the dependencies graph to yield an ordered list of the design specifications or requirements based on an analysis of said plurality of links, wherein the order in said ordered list is selected such that at least some of said plurality of functional tests, which are written for the computer code and addressing design specifications or requirements of a higher order, yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements, wherein at least one of the building, the calculating, and the analyzing is executed by at least one processor.