Data Flow Testing in the Presence of Unexecutable Paths