Შემოწმება - პროცესი წევრები პროგრამული უზრუნველყოფა

ტერმინი "შემოწმების" და "დადასტურება" ძალიან ხშირად გამოიყენება ტექნიკური ლიტერატურის და დაკავშირებულია ხარისხის ანალიზი ნებისმიერი პროგრამული უზრუნველყოფა. სამეცნიერო ლიტერატურაში არსებობს სხვადასხვა ინტერპრეტაციები ეს ცნებები. ასე რომ, ცდილობენ შევხედოთ ამ საკითხს.

ყველაზე შესაფერისი, ჩვენი აზრით, არის შემდეგი განმარტება. Validation და გადამოწმების არიან - საქმიანობა, რომელიც მიზნად ისახავს ახორციელებს ხარისხის კონტროლის პროგრამული უზრუნველყოფა შესამჩნევია შეცდომები ადრეულ ეტაპზე იგი. როგორც ჩანს, რომ მათ აქვთ საერთო მიზანი. მიუხედავად ამისა, ეს სახეობა განსხვავებები წყაროების მოწმდება თვისებები, შეზღუდვები და წესები, დარღვევა, რომელიც შეიძლება ჩაითვალოს შეცდომა.

გადამოწმების - გამშვები შესაბამისობის უზრუნველყოფის ტექნიკური დოკუმენტაცია გათვალისწინებული მოთხოვნების დაზუსტება, არქიტექტურის ან domain მოდელი. In "მოვალეობა" ვადის შედის და შედარებით გაანგარიშება პროცედურების განვითარების პროცესში, წესებთან და სტანდარტებთან.

მონაცემების გადამოწმების შეიძლება შესრულდეს მითითებული ფუნქციონირების შესაბამისობის პროგრამის დადგენილ სტანდარტებს, მოთხოვნები, დიზაინი, შესახებ დოკუმენტაცია. ამ შემთხვევაში, სავალდებულო წინასწარ შემოწმების ექვემდებარება იმ დოკუმენტებს, რომლებიც შედარებით მათი შესაბამისობა სტანდარტების და წესების გადმოცემულია იმ ქვეყანაში, სადაც პროგრამული უზრუნველყოფის ოპერაცია. აუცილებელია გაითვალისწინოს და პატივისცემა ყველა sequences ოპერაციების.

იმ შემთხვევაში, თუ შეცდომა ან დეფექტი პროგრამის ან სხვა კონფლიქტი აღნიშნული დოკუმენტები და მიმდინარე ფუნქციონირების პროგრამის შესახებ გადაწყვეტილების ინსტრუმენტი კორექტირება უნდა იყოს გამოსავალი კონკრეტული ამოცანა.

განსხვავებით გადამოწმების დადასტურება პასუხისმგებელია დამადასტურებელი დაცვით განვითარებული და თან პროგრამული საჭიროებების და საჭიროებებს მომხმარებელს და მომხმარებლებს. ამ საჭიროებების ხშირად არ არის დაფიქსირებული რაიმე სახის დოკუმენტი. სწორედ ამიტომ, დადასტურება ნაკლებად ფორმალიზებული, ვიდრე გადამოწმების. ეს არის პროცესი, რომელშიც მონაწილეობას მომხმარებელს, შესახებ, და ასევე შეუძლია დაესწროს ანალიტიკოსი და ექსპერტი საგანი ტერიტორიაზე. სხვა სიტყვებით, ის, რომ შეუძლიათ გამოხატონ კონკრეტული მოთხოვნების და რეალურ საჭიროებებს დაინტერესებული პირები.

შემოწმება - ეს არის პასუხი კითხვაზე "არის პროგრამული უზრუნველყოფა, სწორად გააკეთა?", და დადასტურება - "იქნება სწორი პროგრამული?".

როცა ეძებს პასუხი ამ კითხვებზე, თქვენ შეიძლება აღმოაჩინოთ, რომ დადასტურება (ან სერტიფიცირების) შინაარსი არის ოდნავ ფართო, ვიდრე გამშვები (შემოწმების). თუმცა, გადამოწმების, მჭიდროდ არის დაკავშირებული უზრუნველსაყოფად კონტროლი პროგრამული პროდუქტის ხარისხი.

მაგალითად, გადამოწმების კომპიუტერული პროგრამა უზრუნველყოფს პროცესი, რომელიც საფუძვლად მიზანია იმის უზრუნველყოფა, რომ აკმაყოფილებს ამ მოთხოვნებს, კერძოდ, მიღებული პროდუქტის სასიცოცხლო ციკლის, მათ მიღებული წინა ნაბიჯი.

თუ ვსაუბრობთ მოდელი გადამოწმების, აქ ჩვენ ფოკუსირება გადამოწმების სწორი ჩვენება კომპიუტერული მოდელები საჭირო კონცეპტუალური და მათემატიკური მოდელები.

როდესაც შემოწმების სისტემის კოდი აანალიზებს წყაროს კოდირება და დამადასტურებელი მისი შესატყვისი დოკუმენტური აღწერილობა.

გადამოწმების პროცესში შეიძლება შეიცავდეს ოპერაციების მოიცავს ალტერნატიული გათვლები. შედარება ტექნიკური და სამეცნიერო დოკუმენტაცია ახალი პროექტის შესაბამისი დოკუმენტაციის არსებული პროექტი, სავალდებულო ტესტირება, ტესტირება ახალი პროგრამული პროდუქტი და იმის დემონსტრირებას, შედეგები.