| dc.contributor.author | Петрик, В.Л. | |
| dc.contributor.author | Манжос, Ю.С. | |
| dc.date.accessioned | 2022-12-14T13:40:26Z | |
| dc.date.available | 2022-12-14T13:40:26Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Петрик, В. Л. Модель дефектов программного обеспечения / В. Л. Петрик, Ю. С. Манжос // Радіоелектронні і комп'ютерні системи. – 2008. – № 3. – С. 46–51. | uk_UA |
| dc.identifier.issn | 1814-4225 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3275 | |
| 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.title | Модель дефектов программного обеспечения | uk_UA |
| dc.type | Article | uk_UA |
