Mã nguồn PostgreSQL có thể được biên dịch với thiết bị kèo bóng đá pháp, do đó có thể kiểm tra phần nào của mã được bao phủ bởi các bài kiểm tra hồi quy hoặc bất kỳ bộ kiểm tra nào khác được chạy với mã. Điều này hiện đang được hỗ trợ khi biên dịch với GCC và yêu cầuGCOVvàLCOVChương trình.

Một quy trình công việc điển hình sẽ trông như thế này:

./configure --Enable-Coverage ... các tùy chọn khác ...
làm
Thực hiện kiểm kèo bóng đá pháp # hoặc bộ kiểm kèo bóng đá pháp khác
tạo phạm vi bảo hiểm-html

Sau đó, trỏ trình duyệt HTML của bạn vàophạm vi kèo bóng đá pháp/index.html. ThelàmCác lệnh cũng hoạt động trong các thư mục con.

Nếu bạn không cóLCOVhoặc thích đầu ra văn bản hơn báo cáo HTML, bạn cũng có thể chạy

Tạo phạm vi kèo bóng đá pháp

thay vìLàm cho kèo bóng đá pháp-html, sẽ sản xuất.gcovTệp đầu ra cho mỗi tệp nguồn liên quan đến bài kiểm kèo bóng đá pháp. (Tạo phạm vi kèo bóng đá phápvàLàm cho kèo bóng đá pháp-htmlSẽ ghi đè lên các tệp của nhau, vì vậy việc trộn chúng có thể gây nhầm lẫn.)

Để đặt lại số lượng thực thi giữa các lần chạy thử, chạy:

Làm cho kèo bóng đá pháp-Clean