Phương pháp và công cụ hỗ trợ kiểm thử luồng dữ liệu tự động cho chương trình Java