ฉันควรใช้ Debug ยังคงยืนยันในวันนี้?

ฉันเพิ่งเจอรหัสที่เพิ่งเขียนใหม่ซึ่งมีจำนวน Debug.Assert (C #) มากมาย

เราควรใช้สิ่งนี้อย่างกว้างขวางแม้ว่าจะใช้ TDD, BDD และการทดสอบหน่วยโดยทั่วไปหรือไม่?

ฉันไม่เห็นเหตุผลใด ๆ ที่คุณไม่ควรใช้ Assert โดยการทำเพื่อให้คุณได้รับการยอมรับแล้วจำเป็นที่จะต้องยามเช่นปัจจัยพื้นฐานและค่าคงที่และมีการย้ายไปสู่การออกแบบโดยสัญญา ยืนยันเป็นเพียงวิธีหนึ่งในการบรรลุเป้าหมายนี้ ...

// Precondition using Asert
void SomeMethod(Foo someParameter)
{
    Debug.Assert(someParameter != null)
}

// Precondition using If-Then-Throw
void SomeMethod(Foo someParameter)
{
    if (someParameter == null)
        throw new ArgumentNullException("someParameter");
}

// Precondition using Code Contracts
void SomeMethod(Foo someParameter)
{
    Contract.Requires(someParameter != null);
}

// Precondition using some custom library
void SomeMethod(Foo someParameter)
{
    Require.ArgumentNotNull(() => someParameter);
}

ทั้งหมดเป็นวิธีการบรรลุสิ่งเดียวกัน: ความแข็งแกร่งในรหัส มันเพิ่งจะมาถึงการเลือกตัวเลือกซึ่ง Assert เป็นตัวเลือกที่ถูกต้อง

โปรดทราบว่าฉันยังไม่ได้กล่าวถึงการทดสอบหน่วยเลยเพราะพวกเขาประสบความสำเร็จในสิ่งที่แตกต่างกันมาก การทดสอบหน่วยเป็นการพิสูจน์ความแข็งแกร่งของรหัสอย่างเป็นทางการโดยการใช้ตัวป้องกัน:

[Test]
void SomeMethod_WhenGivenNull_ThrowsArgumentNullException()
{
    delegate call = () => someObject.SomeMethod(null);

    Assert.That(call).Throws<ArgumentNullException>();
}

นี่เป็นประเภทที่แตกต่างอย่างสิ้นเชิงกับการยืนยัน ...

** โปรดสังเกตว่าในบางเฟรมเวิร์กนั้นยากที่จะทดสอบหน่วยสำหรับความล้มเหลวในการยืนยันเนื่องจากความล้มเหลวในการยืนยันสามารถทำให้รันไทม์ทั้งหมดลงดังนั้นตัวเลือกอื่นอาจเป็นที่ต้องการ ... *

ฉันถือว่าการทดสอบและการทดสอบหน่วยเป็นเครื่องมือสองแบบที่แตกต่างกันในกล่องเครื่องมือของฉัน บางสิ่งบางอย่างจะเหมาะกับคนหนึ่งและบางคนก็เหมาะกับคนอื่น

ตัวอย่างเช่นวันนี้ฉันส่วนใหญ่ใช้การยืนยันเพื่อตรวจสอบพารามิเตอร์สำหรับวิธีการที่ไม่ใช่แบบสาธารณะ

ฉันดู Debug.Assert เป็นการเพิ่มประสิทธิภาพก่อนวัยอันควรในปัจจุบัน ถ้าคุณไม่ต้องการประสิทธิภาพจริงๆการระงับ Assert ในโหมด release สามารถซ่อนบั๊กได้นานขึ้น

ในขณะที่ MattDavey ชี้ให้เห็นว่าการทำสัญญารหัสสามารถทำได้ดีกว่าให้การตรวจสอบแบบคงที่แทนการตรวจสอบแบบไดนามิกและหากไม่มีให้ใช้ฉันต้องการTrace.Assertหรือเก่าธรรมดาif(x) throw SomeException;