Hai giai đoạn đầu tiên thử nghiệm tạo ra một bản đồ của kiểm tra sự cho phép thực hiện theo từng phương pháp trong các API. Tuy nhiên, những kết quả này có chứa ba loại mâu thuẫn. Đầu tiên, kiểm tra sự cho phép gây ra bởi các cuộc gọi API không đồng bộ được đôi khi không chính xác liên quan đến các cuộc gọi API tiếp theo. Thứ hai, yêu cầu sự cho phép của phương pháp có thể phụ thuộc vào lập luận, trong trường hợp đó chúng ta thấy kiểm tra sự cho phép liên tục và khác nhau của phương thức đó. Thứ ba, kiểm tra sự cho phép có thể phụ thuộc vào thứ tự mà các cuộc gọi API được thực hiện. Để xác định và giải quyết các mâu thuẫn, chúng tôi tự xác minh tính chính xác của bản đồ cho phép tạo ra bởi hai giai đoạn đầu của thử nghiệm.
đang được dịch, vui lòng đợi..