Баталгаажуулах - баталгаажуулах програм хангамжийн үйл явц

нэр томъёог "шалгалт" болон "баталгаажуулалт" нь ихэвчлэн техникийн уран зохиолын ашиглаж байна, ямар ч програм хангамжийн шинжилгээний чанартай холбоотой байна. Шинжлэх ухааны уран зохиол эдгээр ойлголтуудыг янз бүрийн тайлбар байдаг. Тэгэхээр асуудал руу харж үзээрэй.

хамгийн тохиромжтой, бидний үзэж байгаагаар, дараах тодорхойлолт юм. Баталгаажуулалт ба баталгаажуулалтын - чанарын хяналтыг явуулахад чиглэсэн үйл ажиллагаа програм хангамж Хэрэв эхний үе шатанд алдааг илрүүлэх. Энэ нь тэд нийтлэг зорилго гэж санагдаж байна. Гэсэн хэдий ч, эдгээр зүйлүүд нь хэмжигдэхүйц шинж чанар, хязгаарлалт, зохицуулалт, үүнээс зөрчсөн нь алдаа гэж үзэж болно эх үүсвэр нь ялгаатай байдаг.

Баталгаажуулах - програм хангамж нь тохирлын шалгах техникийн баримт бичигт тавигдах шаардлага тодорхойлолт, архитектур буюу домэйн загвар гаргасан. хугацаанд орсон бөгөөд хөгжил, дүрэм, стандартыг үйл явцын харьцуулсан тооцоо журам "үүргээ гүйцэтгэж" байна.

Мэдээллийн шалгалт дагаж мөрдөх хөтөлбөр нь тогтоосон стандарт, шаардлага, зураг төсөл, хэрэглэгчийн бичиг баримтын үйл ажиллагааг тохируулах хийж болно. Энэ тохиолдолд заавал урьдчилан хяналтын эдгээр баримт бичиг, программ хангамжийн үйл ажиллагаа явуулж байгаа улс оронд тогтоосон стандарт, дүрэм, мөрдөх харьцуулахад байна ногдуулна. Энэ нь гүйцэтгэсэн үйл ажиллагааны бүх дарааллын хувьд харгалзан хүндэтгэх анхааралдаа авах шаардлагатай байна.

хөтөлбөр нь алдаа буюу гажиг тохиолдолд эсвэл өөр дээр дурдсан баримт бичиг, хөтөлбөр залруулахад хэрэгслийн сонголт дээр шийдвэр тодорхой ажил хийх шийдэл нь байх ёстой өнөөгийн үйл ажиллагааг хооронд зөрчил байдаг.

шалгалт магадлагаа ялгаатай нь хөгжингүй болон дагалдан програм хангамжийн хэрэгцээ, үйлчлүүлэгчид болон хэрэглэгчдийн хэрэгцээ шаардлагад нийцэж байгаа эсэхийг шалгах үүрэгтэй. Эдгээр хэрэгцээ нь ямар нэгэн баримт бичигт тэмдэглэсэн байна. баталгаажуулалтын бага шалгалт дээш албан ёсны яагаад байгаа юм. Энэ нь харилцагч хэрэглэгчийн төлөөлөл, мөн шинжээч буюу шинжээч оролцож болох үйл явц юм захирах талбай. Өөрөөр хэлбэл, эдгээр өвөрмөц хэрэгцээ, оролцогч талуудын бодит хэрэгцээ шаардлагыг илэрхийлж чадна.

Баталгаажуулах - "? Зөв хийсэн програм хангамж юм" асуултын хариулт юм, баталгаажуулалтын - "? Хүсэл нь зөв програм хангамж".

Эдгээр асуултын хариултыг хайж үед та баталгаажуулалтын (эсвэл баталгаажуулалт) агуулга шалгалтын (шалгалт) -ээс бага зэрэг өргөн тохируулах явдал юм гэдгийг мэдэж болно. Гэсэн хэдий ч, шалгалт нягт нь програм хангамжийн бүтээгдэхүүний чанарын хяналтыг хангах холбоотой.

Жишээ нь, компьютерийн хөтөлбөрийн шалгалт нь зорилго үндэс гэдгийг, эдгээр шаардлагыг хангасан авсан бүтээгдэхүүний амьдралын мөчлөгийн өмнөх шатанд олж авсан хүмүүст хангах нь үйл явцыг хангана.

Бид загвар баталгаажуулалтын тухай ярих бол энд бидэнд хэрэгтэй үзэл баримтлалын болон компьютерийн загвар нь зөв дэлгэцийн шалгалт анхаарлаа хандуулах болно математик загварууд.

баталгаажуулах систем нь код бичих, түүний тохирсон баримтат тайлбарыг шалгах эх үүсвэр шинжилгээ хэрэгтэй.

шалгах үйл явц нь өөр тооцоог багтаасан үйл ажиллагааг агуулж болно. Одоо байгаа төслийн холбогдох баримт бичиг, заавал турших, шинэ програм хангамжийн бүтээгдэхүүний сорилт, харуулах үр дүнгийн шинэ төслийн техникийн болон шинжлэх ухааны баримт бичиг нь харьцуулалт.