kiểm tra lỗi nhạy cảm cho các biểu thức Boolean cũng có thể được bắt nguồn [FOS84, TAI87] .Đối với một biểu thức Boolean số ít (một biểu thức Boolean trong đó mỗi biến Boolean chỉ xảy ra một lần) với n biến Boolean (n> 0), chúng ta có thể dễ dàng tạo ra một thử nghiệm thiết lập với ít hơn so với kiểm tra 2n mà tập kiểm tra này đảm bảo việc phát hiện nhiều lỗi điều hành Boolean và cũng có hiệu quả trong việc phát hiện các lỗi khác.
đang được dịch, vui lòng đợi..