Верификация дегеніміз не? Оның әдістері туралы айт?

Верифика́ция (лат тілінен алғанда verus — «шынайы» facere — «жасау») сөзін адамның жұмыс жасау ортасына сай көптеген мағынасын алуға болады. Мысалға:

Верификация — тексеріс, тексерушілік, неше түрлі дәлел мен теоретикалық анықтамалар арқылы программалар, алгоритмдер, процедураларды растау әдісі, ол әдіс көбіне эталонды растаулармен салыстыра жүргізіледі. Ол принцип алғашқыда вена үйірмесінде қарастырылды.

Формальды верификация — программа немесе жүйенің негізгі формальды түрде алынған нұсқаулықтарына сүйене отырып жасалған программа немесе жүйенің шын немесе жалған формалды дәлелдеуі.

Верификации әдістері:

§ Хоара аксиоматикалық семантика әдісі

§ Флойд индуктивті ұйғарымдары әдісі

§ Программалайдың дәлелденуі (proofing programming)

§ Теоремалардың автоматты түрде дәлелденуі (Theorem proving)

§ Модельдердің тексерілісі (Model checking)

§ Символды орындалу (Symbolic execution)

§ Абстрактілі интерпретация (Abstract Interpretation)

Верификация немесе эмпирикалық расталу ғылымның негізі болып табылады.

Программалар мен жүйелердің формальды верификациясы ретінде пайдаланылатын және моделдеу үшін жиі өолданылатын математикалық обьектердің мысалы ретінде осыларды қарастыруға болады:

§ Ақырлы автомат;

§ Күйлер мен өзгерістері белгіленген модель

§ Петри желісі;

§ Уақыттық автомат;

§ Гибридті автомат;

§ Процестерді есептеу;

§ Үйлестірілген алгоритмдер;

1. Графта іздеудің қандай әдістері бар?

Іздеу ағаштары сөздіктерді деректердің абстракты үлгісі ретінде қарауға арналған. орындалатын операциялар:

• Search - берілген кілтпен элементті іздестіру,

• Minimum –минималды кілтпен элементті іздестіру,

• Maximum –максималды кілтпен элементті іздестіру,

• Predecessor –іздестіру алдыңдағы кілтпен элементті іздестіру,

• Successor –келесі кілтпен элементті іздестіру,

• Insert –өзінің кілт арқылы элементті енгіз,

• Delete –көрсетілген элементті өшіру.

Iздеудің екiлiк ағашы. Iздестiру екiлiк ағашы әрбiр түйiнiне өлшенген элемент сәйкестiкке орнатылған түбiрлiк екiлiк ағашы деп аталады. Әрбiр түйiн x үшiн келесi шартты орындайды. X түбiрi бар сол ағаш астындағы барлық х түйiндерiнiң салмағынан аз немесе тең, онының оң жақ ағаш астындасының түйiндерiнiң салмағы артық немесе түйiн x салмағына тең.