Dasturiy ta’minotdagi xatolarni tekshirishning yangi usuli ishlab chiqildi

Cover Image for Dasturiy ta’minotdagi xatolarni tekshirishning yangi usuli ishlab chiqildi

Massachusets Amherst universiteti tadqiqotchilari dasturiy ta’minotdagi xatolarni oldini olish va asosiy kodning to’g’riligini avtomatik ravishda tekshiradigan yangi usulni ishlab chiqdi.

“Baldur” deb, nomlangan yangi usul sun’iy intellekt yordamida 66% samaradorlikni qayd etdi.

Ta’kidlash joizki, ushbu usul dasturiy ta’minot sohasidagi muammolarni bartaraf etishda samarali yechimlardan biri bo’lib xizmat qiladi.