| dc.contributor.author | Петрик, В.Л. | |
| dc.contributor.author | Манжос, Ю.С. | |
| dc.date.accessioned | 2023-04-05T08:31:43Z | |
| dc.date.available | 2023-04-05T08:31:43Z | |
| dc.date.issued | 2012 | |
| dc.identifier.citation | Петрик, В. Л. Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем / В. Л. Петрик, Ю. С. Манжос // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. – Харьков, 2012. – Вып. 53. – С. 209–215. | uk_UA |
| dc.identifier.issn | 2071-1077 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/4719 | |
| dc.description.abstract | Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и динамического анализов, показавшие, что применение дескрипторного семантического контроля обеспечивает достаточно точную оценку вероятности существования остаточных программных дефектов. | uk_UA |
| dc.description.abstract | Описано процедуру калібрування чутливості дескрипторного семантичного
контролю програмного забезпечення інформаційно-управляючих систем. Наведено якісні результати калібрування в режимі статичного та динамічного аналізу. Результати показали, що застосування дескрипторного семантичного контролю забезпечує досить точне оцінювання ймовірності існування залишкових програмних
дефектів. | uk_UA |
| dc.language.iso | ru | uk_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.type | Article | uk_UA |
