Nghiên cứu xây dựng công cụ kiểm chứng tính nhất quán của mô hình phần mềm sau tiến trình tái cấu trúc