Testing Criteria for Data Flow Software