ANALYSIS OF SOFTWARE SEMANTIC DEFECTS
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
ANALYSIS OF SOFTWARE SEMANTIC DEFECTS
АНАЛИЗ СЕМАНТИЧЕСКИХ ДЕФЕКТОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АНАЛІЗ СЕМАНТИЧНИХ ДЕФЕКТІВ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ |
|
| Creator |
Манжос, Юрій Семенович; Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського
|
|
| Subject |
Independent verification; physical dimension; probabilistic model; random process; semantic check; semantic space; software; software invariant.
004.415.5 Вероятностная модель; независимая верификация; программное обеспечение; программный инвариант; семантический контроль; семантическое пространство; случайный процесс; физическая размерность. 004.415.5 Випадковий процесс; ймовірнісна модель; незалежна верификація; програмне забезпечення; програмний інваріант; семантичний контроль; семантичний простір; физична розмірність. 004.415.5 |
|
| Description |
The necessity of creating the independent software verification based on the software invariant has been proofed. The software statistical characters analysis has been implemented. The using of the random process theory has been proofed for building of the model of semantic software defect checking. The model of semantic software defect checking has been proposed. The model based on the theory of random process in order to determine the functional dependence of semantic checking effectiveness from statistical characteristic of software. The number interval of semantic checking effectiveness for real-time software has been calculated. The next researching needs the extension of software language set and the using of other software invariants.
Доказана необходимость создания независимой верификации, основанной на контроле семантических инвариантов. Проведен анализ статистических характеристик программного обеспечения. Обосновано использование аппарата теории случайных процессов для построения модели анализа семантических дефектов. Предложена модель контроля семантических программных дефектов, которая основана на использовании теории случайных процессов и позволяет определить функциональную зависимость эффективности семантического контроля от статистических характеристик программного обеспечения. Определен количественный интервал эффективности семантического контроля для программного обеспечения систем реального времени. Дальнейшие исследования требуют расширения технологии на новые программные языки и использование иных программных инвариантов. Доведена необхідність створення незалежної верифікації, що базується на контролі семантичних інваріантів. Проведено аналіз статистичних характеристик програмного забезпечення. Обґрунтовано використання апарату теорії випадкових процесів для побудови моделі аналізу семантичних дефектів. Запропоновано модель контролю семантичних програмних дефектів, що базується на використання теорії випадкових процесів та дозволяє визначити функціональну залежність ефективності семантичного контролю від статистичних характеристик програмного забезпечення. Визначено кількісний інтервал ефективності семантичного контролю для програмного забезпечення систем реального часу. Розглянуті варіанти інформаційної технології аналізу семантичних дефектів програмного забезпечення. Подальші дослідження потребують розширення технології на нові програмні мови та використання інших програмних інваріантів. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2012-12-11
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3382
|
|
| Source |
Інженерія програмного забезпечення; Том 1, № 1 (2010); 5
Engineering Software; Том 1, № 1 (2010); 5 Инженерия программного обеспечения; Том 1, № 1 (2010); 5 |
|
| Language |
uk
|
|