As an alternate to providing a separate NLD file describing the ADL entities in an ADL file, these may be inserted directly within an ADL file. The syntax and usage rules for NLD definitions is described in the NLD section of the ADL Translator Design Specification. A condition indicating a function has behaved normally-that it has accomplished its intended task. A TDD construct. A property is a set containing symbolic values.
Properties are like adjectives, used to give a characterization of test variables.
Provide functions are functions that create instances of data elements to be used in the test of a function. In arguments passed to the provide function, the test driver describes the combination of properties to be instantiated. The provide function creates or locates an instance of the data element which actualizes the description of the data specified by the properties. Relinquish functions are functions that relinquish any resources allocated by a corresponding provide function. If the provide function created a new instance of a data element, for example, the relinquish function would deallocate the element.