A tool for data flow oriented program testing