NIST muhim dasturiy ta’minot xatolarini aniqlash vositasini yangilaydi
CCM vositasi minglab kirish o’zgaruvchilari bilan dasturiy ta’minotni sinovdan o’tkazish imkonini beradi.
Milliy Standartlar va Texnologiyalar Instituti (NIST) murakkab xavfsizlik uchun muhim ilovalarni ishlab chiquvchilarga dasturiy ta’minotdagi potentsial xavfli xatolarni aniqlashga yordam berish uchun mo’ljallangan Dasturiy ta’minot uchun avtomatlashtirilgan kombinatorial sinov (ACTS) tadqiqot vositalari to’plamiga yangilanishni chiqardi. ACTS ishlab chiquvchilarga o’z mahsulotlarida jiddiy xatoga olib kelishi mumkin bo’lgan «kirish qiymatlarining bir vaqtning o’zida kombinatsiyalari» yo’qligiga ishonch hosil qilish imkonini beradi. Avtomobillar, samolyotlar, yadroviy inshootlar va boshqa muhitlarda qo’llaniladigan xavfsizlik uchun muhim ilovalar uchun bunday xatolar jiddiy oqibatlarga olib kelishi mumkin.
NIST tadqiqotchilari Texas universiteti Adobe va Avstriyaning SBA Research tadqiqot laboratoriyasi bilan hamkorlikda minglab kirish o’zgaruvchilari bilan dasturiy ta’minotni sinovdan o’tkazish imkonini beruvchi Kombinatorial Coverage Measurement (CCM) deb nomlangan vositani ishlab chiqdilar. NIST ma’lumotlariga ko’ra, yangi yechim nafaqat xavfsizlikni yaxshilaydi, balki dasturiy ta’minotni ishlab chiqish xarajatlarini ham kamaytiradi.
CCM vositasi allaqachon ACTS to’plamiga qo’shilgan. SBA Research tomonidan ishlab chiqilgan algoritm hali rasman ACTSga kiritilmagan, ammo ishlab chiquvchilar uni NISTdan so’rashlari mumkin.
