Strategies Of Data Flow Testing In Stm