Баталгааг хэзээ ч болохгүй зүйлийг шалгахад ашиглах ёстой, харин тохиолдож болзошгүй зүйлийг шалгахын тулд онцгой тохиолдлыг ашиглах ёстой. Жишээлбэл, функц нь 0-д хуваагдаж болох тул үл хамаарах зүйлийг ашиглах ёстой, гэхдээ хатуу диск гэнэт алга болсныг шалгахын тулд баталгаажуулалтыг ашиглаж болно.
Баталгаа сайн уу, муу юу?
Үгүй ээ, гото ч биш, батлах ч муу. Гэхдээ хоёуланг нь буруугаар ашиглаж болно. Баталгаажуулалт нь эрүүл мэндийн үзлэгт зориулагдсан болно. Хэрэв буруу бол программыг устгах ёстой зүйлс.
Баталгаа яагаад муу байдаг вэ?
Баталгаажуулалтыг зарим аргыг хэрэгжүүлэхийн өмнөх болон дараах дотоод байдал гэх мэт дотоод хэрэгжилтийн инвариантуудыг шалгахад ашиглаж болно. Хэрэв батламж амжилтгүй болвол програмын логик эвдэрсэн гэсэн үг бөгөөд та чадна' t энэ.
Баталгаажуулах нь сайн хэрэг үү?
Баталгаажуулалтыг танилцуулах хэлний гарын авлагад миний саяхан тайлбарласан сайн заавар байдаг. Тийм ээ, энэ бол сайн дасгал. Хаврын тохиолдолд энэ нь маш чухал бөгөөд учир нь шалгалтууд нь ихэвчлэн XML холболтын файлуудаас ирдэг өмчийн тохиргоо гэх мэтийг баталгаажуулдаг.
Ямар тохиолдолд батлах нь ашигтай вэ?
Кодыг зохих ёсоор шалгаж байгаа гэж үзвэл батламж нь хэд хэдэн хэрэгтэй зүйлийг гүйцэтгэдэг: Илрэгдэхгүй байж болзошгүй нарийн алдааг илрүүлэх . Алдаа гарч ирснийх нь дараа илрүүлнэ өөрөөр илэрсэн байж магадгүй. Мэдэгдэл гаргахүнэн байх нь баталгаатай кодын үр нөлөөний талаар.
