Tôi là một lập trình viên phòng thủ và là một fan hâm mộ lớn của Hợp đồng Mã microsofts.
Bây giờ tôi không thể luôn sử dụng C # và trong hầu hết các ngôn ngữ, công cụ duy nhất tôi có là các xác nhận. Vì vậy, tôi thường kết thúc với mã như thế này:
class
{
function()
{
checkInvariants();
assert(/* requirement */);
try
{
/* implementation */
}
catch(...)
{
assert(/* exceptional ensures */);
}
finally
{
assert(/* ensures */);
checkInvariants();
}
}
void checkInvariants()
{
assert(/* invariant */);
}
}
Tuy nhiên, mô hình này (hoặc bất cứ điều gì bạn sẽ gọi nó) dẫn đến rất nhiều mã lộn xộn.
Tôi đã bắt đầu tự hỏi nếu nó thực sự đáng nỗ lực và liệu thử nghiệm đơn vị thích hợp sẽ bao gồm điều này?
6
Mặc dù các thử nghiệm đơn vị cho phép di chuyển các xác nhận ra khỏi mã ứng dụng (và do đó tránh lộn xộn), hãy xem xét rằng chúng không thể kiểm tra mọi thứ có thể xảy ra trong hệ thống sản xuất thực. Vì vậy, hợp đồng mã IMO có một số lợi thế, đặc biệt đối với mã quan trọng trong đó tính chính xác là đặc biệt quan trọng.
—
Giorgio
Vì vậy, về cơ bản thời gian phát triển, khả năng bảo trì, khả năng đọc và độ bao phủ mã tốt hơn?
—
ronag
Tôi chủ yếu sử dụng xác nhận trong mã để kiểm tra tính chính xác của thông số (ví dụ về null) và trong kiểm tra đơn vị cũng kiểm tra thêm các xác nhận đó.
—
artjom