Generating coverage information identifying tested elements of a declarative data structure. A method includes exercising a first element of a declarative data structure. Information is gathered about the effects of exercising a first element of a declarative data structure on other elements of the declarative data structure. The information gathered about the effects of exercising a first element of a declarative data structure on other elements of the declarative data structure is collated and analyzed. The information gathered about the effects of exercising a first element of a declarative data structure on other elements is reported in a human understandable format.