Trong ví dụ trước, chúng tôi sử dụng các chức năng xét xử "pha chế" để đáp ứng
các điều kiện biên tự động nhưng không dựa trên một quy trình có hệ thống.
Trong khi hoàn toàn không có gì là sai với cách tiếp cận này, bây giờ chúng tôi trình bày một thủ tục, căn cứ chức năng thử nghiệm đa thức, cung cấp cho một phương pháp để làm tăng
số lượng các chức năng thử nghiệm hệ thống và, do đó, hỗ trợ việc kiểm tra tụ. Các thủ tục được minh họa trong bối cảnh các ví dụ sau đây.
đang được dịch, vui lòng đợi..