Data Flow Testing Criteria