Expected outcomes must be derived from specifications or requirements, not from the software's actual behavior itself. If derived from the software, bugs would be accepted as correct behavior. All other options describe true traits of expected outcomes.