Туршилт хийх цагаан хайрцаг

Ашиглах чадварыг шалгах

A) Ачааллын туршилт

Гүйцэтгэлийн туршилт

Функциональ туршилт

Туршилт хийх програм хангамж

Туршилт гэдэг нь програмыг (эсвэл програмын хэсэг) алдааг олох зорилготой (эсвэл зорилготой) гүйцэтгэх үйл явц юм.

Туршилтын төрлийг ангилах заншилтай хэд хэдэн шалгуур байдаг. Ихэвчлэн дараах шинж тэмдгүүдийг ялгадаг.

I) Туршилтын объектын дагуу:

(энэ системийн шаардлагад нийцэж байгаа эсэхийг тогтоохын тулд гадны хүсэлтийн дагуу програм хангамж, техник хангамжийн систем, төхөөрөмжийн гүйцэтгэл, хариу өгөх хугацааг тодорхойлох, цуглуулах)

б) Стресс тест

(хэвийн ажиллагааны хязгаараас хэтэрсэн нөхцөлд системийн найдвартай, тогтвортой байдлыг үнэлдэг.)

в) Тогтвортой байдлын туршилт

4) Хэрэглэгчийн интерфейсийн туршилт

5) Аюулгүй байдлын туршилт

6) Нутагшуулах туршилт

7) Тохиромжтой байдлын туршилт

II) Системийн талаархи мэдлэгээр:

1) Хар хайрцагны туршилт

(дотоод бүтэц нь тодорхойгүй объектыг туршиж байна)

(програмын дотоод бүтцийг шалгаж, програмын логикийг шинжлэх замаар туршилтын өгөгдлийг олж авдаг)

III) Автоматжуулалтын зэргээр:

1) Гарын авлагын туршилт

2) автоматжуулсан туршилт

3) Хагас автоматжуулсан туршилт

IV) Бүрэлдэхүүн хэсгүүдийн тусгаарлах зэрэглэлээр:

1) Бүрэлдэхүүн хэсэг (нэгж) туршилт

2) Интеграцийн туршилт

3) Системийн туршилт

V) Туршилтын үеэр:

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

2) Бета туршилт- хүнд хэрэглээ дууссан хувилбарзах зээлд гарахаас өмнө дараа нь арилгахын тулд түүний ажилд гарсан хамгийн их алдааг тодорхойлох зорилгоор олон нийтийн хэрэглэгчдэд хүргэх хөтөлбөрүүд. Туршилтанд ирээдүйн энгийн хэрэглэгчдийн сайн дурынхан оролцдог.

Програм хангамжийн баталгаажуулалт нь тест хийхээс илүү ерөнхий ойлголт юм. Баталгаажуулалтын зорилго нь шалгаж байгаа объект (шаардлага эсвэл програмын код) нь шаардлагад нийцэж байгаа, төлөвлөөгүй функцгүйгээр хэрэгжсэн, дизайны тодорхойлолт, стандартад нийцсэн эсэхийг баталгаажуулах явдал юм. ISO 9000-2000). Баталгаажуулах үйл явц нь шалгалт, кодын туршилт, туршилтын үр дүнд дүн шинжилгээ хийх, асуудлын тайланг гаргах, дүн шинжилгээ хийх зэрэг орно. Тиймээс туршилтын үйл явц нь ерөнхийдөө хүлээн зөвшөөрөгдсөн бүрэлдэхүүн хэсэгбаталгаажуулах үйл явц.

Санкт-Петербург

Улсын цахилгаан техникийн их сургууль

MOEM-ийн хэлтэс

сахилга батаар

"Програм хангамж хөгжүүлэх үйл явц"

"Програм хангамжийн баталгаажуулалт"

Санкт-Петербург

Баталгаажуулалтын зорилго………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………… 3-р хуудас

Танилцуулга……………………………………………………………………………………….. 3-р хуудас

Тусгай ба ерөнхий зорилтууд…………………………………………….. хуудас 4

Зорилтоор хүлээгдэж буй дадлага …………………………………… 4-р хуудас

SG1 Баталгаажуулалтад бэлтгэж байна……………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………… 4-р хуудас

SG2 Шалгалт явуулах (үе тэнгийнхний үнэлгээ)………………………… 7-р хуудас

SG3 Баталгаажуулалтын хэрэгжилт……………………………………………..... хуудас 9

Хавсралт 1. Баталгаажуулах процессын автоматжуулалтын хэрэгслүүдийн тойм……….. хуудас 11

Хавсралт 2. Үндсэн орчин үеийн хандлагабаталгаажуулах …………….. хуудас 12

Ашигласан уран зохиолын жагсаалт…………………………………………….. хуудас 14

Шилдэг байдал, төлөвшлийн нэгдсэн загвар

Баталгаажуулалт (Төсвийн 3-р түвшин)

Зорилтот

Баталгаажуулалтын зорилго ньСонгосон дундын програм эсвэл эцсийн бүтээгдэхүүн нь заасан шаардлагыг хангаж байгаа эсэхийг баталгаажуулах.

1. усны тэмдэглэл

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

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

өндөр түвшний шаардлагуудын системийн шаардлагад нийцэж байгаа эсэхийг тодорхойлох;

системийн архитектурын өндөр түвшний шаардлагыг харгалзан үзэх;

эх код дахь архитектур, түүнд тавигдах шаардлагыг дагаж мөрдөх;

гүйцэтгэх код нь системд тавигдах шаардлагад нийцэж байгаа эсэхийг тодорхойлох;

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

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

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

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

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

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

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

Шинжээчдийн үнэлгээ (мэргэжил) нь согогийг үр дүнтэй арилгах сайн батлагдсан хэрэгсэл болох баталгаажуулалтын чухал хэсэг юм. Үүнээс чухал ач холбогдолтой зүйл бол бүтээгдэхүүний ажлын хувилбарууд, түүнчлэн болзошгүй согогийг илрүүлэх, шаардлагатай бол сайжруулах боломжийг бий болгоход ашигладаг ажлын урсгалын талаар илүү гүнзгий ойлголт, ойлголтыг хөгжүүлэх хэрэгцээ юм.

Шалгалт нь согог болон бусад шаардлагатай өөрчлөлтүүдийг илрүүлэхийн тулд мэргэжилтнүүдийн гүйцэтгэсэн ажлын арга зүйн судалгааг багтаадаг.

Шинжээчдийн үнэлгээний үндсэн аргууд нь:

үзлэг

эцсийн бүтцийн хяналт

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

Нийтлэлд би объектын загварчлалын хоёр аргыг авч үзсэн: бүхэлд нь болон бүтэц. Одоогийн нийтлэлд бид энэ хуваагдал хэрэгтэй болно.

Бидэнд зохион бүтээсэн функциональ объект байна гэж бодъё. Энэ объектыг бид өөр функциональ объектын барилгын нэг хэсэг гэж үзье. Объектийн барилгын тодорхойлолтыг агуулсан байх ёстой. Ийм тайлбарт объект нь бүхэлдээ тайлбартай байдаг, өөрөөр хэлбэл түүний бусад объектуудтай харилцах интерфейсийг Объектыг бүтээх хүрээнд дүрсэлсэн байдаг. Объектын бүтцийн хувьд тайлбарыг өгье. Объектыг бүтэц болгон тайлбарлах загварт тавигдах шаардлагыг агуулсан мэдээллийн объект байх ёстой. Дүгнэлтийн дүрмийг агуулсан мэдлэгийн цогц байг, үүний үндсэн дээр объектыг бүхэлд нь дүрслэх замаар объектын бүтэц болох тодорхойлолтыг олж авдаг. Мэдлэгийн нэг хэсэг бол дизайнеруудад институтэд заадаг зүйл юм - маш их, маш их мэдлэг. Тэд объектын талаархи мэдлэг дээр үндэслэн түүний бүтцийг төлөвлөх боломжийг олгодог.

Тэгэхээр та эхэлж болно. Хэрэв объектыг бүхэлд нь зөв тайлбарлаж, мэдлэгийн цогцыг зөв тодорхойлж, дүгнэлт хийх дүрмийг дагаж мөрдвөл объектын бүтээн байгуулалтын үр дүнгийн тайлбар зөв болно гэж бид баталж чадна. Энэ нь энэхүү тайлбарын үндсэн дээр тохирох функциональ объект юм бодит нөхцөлүйл ажиллагаа. Ямар эрсдэл гарч болзошгүй:

1. Объектийн талаарх буруу мэдлэгийг ашиглах. Хүмүүсийн сэтгэлгээнд байгаа Обьектийн загвар нь бодит байдалтай нийцэхгүй байж болно. Жишээлбэл, тэд газар хөдлөлтийн бодит аюулыг мэддэггүй байв. Үүний дагуу объектод тавигдах шаардлагыг буруу томъёолсон байж болно.

2. Объектийн талаарх мэдлэгийн бүрэн бус бүртгэл - ямар нэг зүйл алга болсон, алдаа гардаг. Жишээлбэл, тэд салхины талаар мэддэг байсан ч хэлэхээ мартжээ. Энэ нь тухайн объектод тавигдах шаардлагуудыг бүрэн гүйцэд тайлбарлаагүй байхад хүргэж болзошгүй юм.

3. Буруу мэдлэг. Бид массыг бусад параметрүүдээс давуу талтай гэж заасан боловч бид хурдыг нэмэгдүүлэх шаардлагатай болсон.

4. Дүгнэлтийн дүрмийг объектын тайлбарт буруу хэрэглэсэн. Логик алдаа, объектын дизайны шаардлагад ямар нэг зүйл дутуу, шаардлагын ул мөр эвдэрсэн.

5. Системийн дизайны талаар олж авсан дүгнэлтийн бүрэн бус бүртгэл. Бүх зүйлийг тооцсон, бүх зүйлийг тооцсон, гэхдээ тэд бичихээ мартсан.

6. Үүсгэсэн систем нь тайлбартай таарахгүй байна.

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

Баталгаажуулалт гэж юу вэ? Орос хэлээр баталгаажуулах нь дүрэмд нийцэж байгаа эсэхийг шалгах явдал юм. Дүрмүүд нь баримт бичгийн хэлбэртэй байна. Өөрөөр хэлбэл, баримт бичгийн шаардлага бүхий баримт бичиг байх ёстой. Хэрэв баримт бичиг нь энэ баримт бичгийн шаардлагад нийцэж байгаа бол шалгалтанд тэнцсэн болно.

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

Шаардлагын баталгаажуулалтыг тухайн шаардлагад үндэслэн бүтээгдсэн бүтээгдэхүүний баталгаажуулалттай ихэвчлэн андуурдаг. Үүнийг хийх нь үнэ цэнэтэй зүйл биш юм.

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

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

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

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

Туршилт хийх- алдааг илрүүлэхийн тулд програмыг гүйцэтгэх үйл явц.

туршилтын өгөгдөл- системийг туршихад ашигладаг оролтууд.

Туршилтын нөхцөл байдал (туршилтын тохиолдол)- системийг турших оролтууд ба систем нь шаардлагын дагуу ажилладаг бол оролтоос хамааран хүлээгдэж буй гаралт.

Сайн туршилтын тохиолдол- хараахан илрээгүй алдааг илрүүлэх өндөр магадлалтай нөхцөл байдал.

азын тест- хараахан илрээгүй алдааг илрүүлдэг тест.

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

Татгалзах- системийн урьдчилан таамаглах боломжгүй үйлдэл, энэ нь түүнд агуулагдах согогоос үүдэлтэй гэнэтийн үр дүнд хүргэдэг.

Тиймээс програм хангамжийг турших явцад дүрмээр бол дараахь зүйлийг шалгана.

Баталгаажуулалт ба баталгаажуулалт ( баталгаажуулалт ба баталгаажуулалт-V& v)Програм хангамжийн зөв гүйцэтгэл, хэрэглэгчийн техникийн үзүүлэлт, шаардлагад нийцэж байгаа эсэхийг шинжлэх, шалгах зорилготой. Хөтөлбөр болон системийн зөв эсэхийг шалгах эдгээр аргууд нь дараахь зүйлийг илэрхийлнэ.

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

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

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

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

Баталгаажуулалт, баталгаажуулалт нь дараахь зүйлд хамаарна.

• системийн үндсэн бүрэлдэхүүн хэсгүүд;
• Тархсан орчинд системийн хэрэгжилтийг хангах бүрэлдэхүүн хэсгүүдийн интерфейс (програм хангамж, техникийн болон мэдээллийн) ба объектуудын харилцан үйлчлэл (протокол ба мессеж);
• мэдээллийн сан, файлд нэвтрэх хэрэгсэл (гүйлгээ, мессеж), янз бүрийн хэрэглэгчдийн мэдээлэлд зөвшөөрөлгүй нэвтрэхээс хамгаалах хэрэгслийг шалгах;
• програм хангамж болон системийн бүхэл бүтэн баримт бичиг;
• туршилт, туршилтын журам, оролтын өгөгдөл.

Өөрөөр хэлбэл, програмыг зөв болгох үндсэн системчилсэн аргууд нь:

• баталгаажуулалт PS бүрэлдэхүүн хэсэг ба шаардлагын тодорхойлолтын баталгаажуулалт;
• PS шалгалтхөтөлбөр нь өгөгдсөн техникийн шаардлагад нийцэж байгаа эсэхийг тогтоох;
• туршилтТөрөл бүрийн согог, хэвийн бус байдал, тоног төхөөрөмжийн эвдрэл, системийн эвдрэлээс үүдэлтэй алдаа, согогийг тодорхойлохын тулд тодорхой үйлдлийн орчинд туршилтын өгөгдөл дээрх PS-ийн гаралтын код (9-р бүлгийг үзнэ үү).

ISO/IEC 3918-99 ба 12207 стандартууд нь баталгаажуулах, баталгаажуулах процессуудыг агуулдаг. Тэдний хувьд амьдралын мөчлөгийн үе шатанд бүтээгдсэн бүтээгдэхүүн (ажлын, завсрын бүтээгдэхүүн гэх мэт) зөв эсэх, түүний шаардлагад нийцэж байгаа эсэхийг шалгах зорилго, даалгавар, үйл ажиллагааг тодорхойлдог.

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

Эдгээр үйл явц нь харилцан уялдаатай бөгөөд нэг нэр томъёогоор тодорхойлогддог - "баталгаажуулалт ба баталгаажуулалт" (V&V 7).

Баталгаажуулалтыг хийдэг:

• Хэрэглэгчийн тогтоосон шаардлагын дагуу бүрэлдэхүүн хэсгүүдийн харилцааг хянах замаар бие даасан бүрэлдэхүүн хэсгүүдийг гаралтын код руу орчуулах, түүнчлэн интерфейсийн тайлбарыг зөв орчуулах эсэхийг шалгах;
• өгөгдлийг удирдах, үр дүнг дамжуулахад ашигладаг системийн хэрэгслүүдэд батлагдсан журмыг харгалзан файл эсвэл мэдээллийн санд нэвтрэх зөв эсэхэд дүн шинжилгээ хийх;
• Бүрэлдэхүүн хэсгүүдийн хамгаалалтын хэрэгслийг хэрэглэгчийн шаардлагад нийцэж байгаа эсэхийг шалгах, тэдгээрийн мөшгих.

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

Албан ёсны баталгаажуулалтын олон улсын төслийг бий болгох санааг Т.Хоар дэвшүүлсэн бөгөөд үүнийг 2005 оны 2-р сард Калифорнид болсон баталгаажуулсан програм хангамжийн симпозиум дээр хэлэлцсэн. Дараа нь мөн оны 10-р сард Цюрих хотод болсон IFIP бага хурлаар "PS-ийн зөв эсэхийг шалгах цогц автомат хэрэгсэл" боловсруулах олон улсын төслийг 15 жилийн хугацаатай батлав.

Энэ нь дараахь үндсэн ажлуудыг тодорхойлсон.

• хөтөлбөрийг боловсруулах, дүн шинжилгээ хийх нэгдсэн онолыг боловсруулах;
• Үйлдвэрлэлийн бүх үе шатанд техникийн тодорхойлолт боловсруулах, тэдгээрийн баталгаажуулалт, туршилтын тохиолдлуудыг бий болгох, програмыг боловсронгуй болгох, дүн шинжилгээ хийх, баталгаажуулах зэрэг иж бүрэн баталгаажуулалтын хэрэгслийг бий болгох;
• албан ёсны үзүүлэлтүүд болон баталгаажсан програм хангамжийн объектуудын агуулахыг бий болгох янз бүрийн төрөлба төрөл.

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

Тодорхой хөтөлбөрүүдийг батлах, шалгах олон албан ёсны аргуудыг практикт туршиж үзсэн. Дууслаа том ажилхүрээнд олон улсын хороо ISO/IEC ISO стандарт/ IEC 12207:2002 программ хангамжийн баталгаажуулалт, баталгаажуулалтын үйл явцын стандартчилал. Төрөл бүрийн програмчлалын объектуудын зөвийг албан ёсны аргаар шалгах нь ирээдүйтэй юм.

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

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

Энэ төслийг 50 жилийн дотор боловсруулах ёстой. Өмнөх төслүүд нь ижил төстэй зорилтуудыг дэвшүүлж байсан: програм хангамжийн чанарыг сайжруулах, үйлчилгээний загваруудыг албан ёсны болгох, PIC ашиглах замаар нарийн төвөгтэй байдлыг багасгах, алдааг нүдээр оношлох, тэдгээрийг арилгах дибаг хийх хэрэгслийг бий болгох гэх мэт. Гэсэн хэдий ч програмчлалд үндсэн өөрчлөлт гараагүй байна. харааны дибаг хийх эсвэл хүрэхэд Өндөр чанарАСААЛТТАЙ. Хөгжлийн үйл явц үргэлжилж байна.

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