การยืนยันในการพัฒนาซอฟต์แวร์คืออะไร?

การยืนยันเป็นวิธีระบุพฤติกรรมหรือคุณสมบัติของระบบที่คาดหวัง โดยทั่วไปแล้วจะอยู่ในบริบทของการพัฒนาซอฟต์แวร์ การยืนยันคือข้อความที่ถือว่าเป็นจริงโดยไม่มีการพิสูจน์ และใช้เพื่อตรวจสอบว่าระบบทำงานตามที่คาดไว้หรือไม่ ตัวอย่างเช่น การยืนยันอาจระบุว่าฟังก์ชันบางอย่างจะส่งกลับค่าที่ไม่ใช่ค่าว่างเสมอ หรือว่า ตัวแปรบางตัวจะมีสตริงที่ถูกต้องเสมอ หากการยืนยันถูกละเมิด ก็สามารถบ่งบอกถึงข้อบกพร่องหรือข้อผิดพลาดในระบบ

การยืนยันมักจะใช้ในการทดสอบหน่วยเพื่อให้แน่ใจว่าแต่ละส่วนประกอบของระบบทำงานอย่างถูกต้อง นอกจากนี้ยังสามารถนำมาใช้ในโค้ดการผลิตเพื่อบังคับใช้คุณสมบัติหรือข้อจำกัดบางอย่างกับพฤติกรรมของระบบได้อีกด้วย

การยืนยันมีหลายประเภท เช่น:

* การยืนยันที่ยาก: การยืนยันเหล่านี้จะต้องเป็นจริงเสมอ และการละเมิดใด ๆ ถือเป็นอันตรายร้ายแรง error.
* การยืนยันแบบนุ่มนวล: การยืนยันเหล่านี้อาจไม่จริงเสมอไป แต่หากมีการละเมิด จะไม่ถือว่าเป็นข้อผิดพลาดร้ายแรง
* การยืนยันพร้อมข้อความ: การยืนยันเหล่านี้จะแสดงข้อความเมื่อมีการละเมิด ซึ่งสามารถช่วยได้ เพื่อระบุสาเหตุของข้อผิดพลาด การยืนยันสามารถนำไปใช้ได้โดยใช้ภาษาและเฟรมเวิร์กที่แตกต่างกัน เช่น Java, C#, Python เป็นต้น ไลบรารีการยืนยันที่ได้รับความนิยมบางแห่ง ได้แก่ การยืนยันของ JUnit การยืนยันของ Pytest และการยืนยันของ NUnit