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

dc.contributor.authorПетрик, В.Л.
dc.contributor.authorМанжос, Ю.С.
dc.date.accessioned2023-04-05T08:31:43Z
dc.date.available2023-04-05T08:31:43Z
dc.date.issued2012
dc.identifier.citationПетрик, В. Л. Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем / В. Л. Петрик, Ю. С. Манжос // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. – Харьков, 2012. – Вып. 53. – С. 209–215.uk_UA
dc.identifier.issn2071-1077
dc.identifier.urihttp://dspace.library.khai.edu/xmlui/handle/123456789/4719
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.subjectдескрипторный семантический контрольuk_UA
dc.subjectинформационно-управляющая системаuk_UA
dc.subjectпрограммное обеспечениеuk_UA
dc.subjectостаточный дефектuk_UA
dc.subjectдинамический анализuk_UA
dc.subjectнезалежна верифікаціяuk_UA
dc.subjectкалібруванняuk_UA
dc.subjectдескрипторний семантичний контрольuk_UA
dc.subjectінформаційно-керуюча системаuk_UA
dc.subjectпрограмне забезпеченняuk_UA
dc.subjectзалишковий дефектuk_UA
dc.subjectдинамічний аналізuk_UA
dc.titleКалибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих системuk_UA
dc.typeArticleuk_UA


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

Thumbnail

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

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