Показать сокращенную информацию

dc.contributor.authorКонорев, Б.М.
dc.contributor.authorСергиенко, В.В.
dc.contributor.authorХарченко, В.С.
dc.contributor.authorЖолткевич, Г.М.
dc.date.accessioned2023-01-30T10:10:07Z
dc.date.available2023-01-30T10:10:07Z
dc.date.issued2014
dc.identifier.citationПрогнозирование вероятности скрытых дефектов критического ПО с заданной точностью / Б. М. Конорев, В. В. Сергиенко, В. С. Харченко, Г. М. Жолткевич // Радіоелектронні і комп'ютерні системи. – 2014. – № 5. – С. 50–54.uk_UA
dc.identifier.issn1814-4225
dc.identifier.urihttp://dspace.library.khai.edu/xmlui/handle/123456789/3989
dc.description.abstractДля количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности скрытых дефектов критического программного обеспечения (ПО) с заданной (управляемой) точностью результатов. Для рамочной оценки скрытых дефектов предложена модель остаточных и скрытых дефектов. Приведена процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия методов контроля бездефектности исходных кодов ПО.uk_UA
dc.description.abstractДля кількісної оцінки надійності та функціональної безпеки критичних систем однією з ключових характеристик є прогноз ймовірності прихованих дефектів. У статті наведено метод прогнозування ймовірності прихованих дефектів критичного програмного забезпечення (ПЗ) із заданою (керованою) точністю результатів. Для рамкової оцінки прихованих дефектів запропоновано модель залишкових та прихованих дефектів. Наведено процедуру експериментального калібрування чутливості до дефектів та ступеня різноманітності методів контролю бездефектності вихідних кодів ПЗ.uk_UA
dc.language.isoruuk_UA
dc.publisherХАІuk_UA
dc.subjectрадиоэлектронные и компьютерные системыuk_UA
dc.subjectпрограммное обеспечениеuk_UA
dc.subjectmodel-checking верификацияuk_UA
dc.subjectдефектuk_UA
dc.subjectрадіоелектронні і комп'ютерні системиuk_UA
dc.subjectпрограмне забезпеченняuk_UA
dc.subjectmodel-checking верифікаціяuk_UA
dc.titleПрогнозирование вероятности скрытых дефектов критического ПО с заданной точностьюuk_UA
dc.typeArticleuk_UA


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию