State of a software component or system such that each function described by the software's functional specification can be reached by at least one functional path, and attempts to operate as specified.