LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Publisher: National Aviation University
Languages: Ukrainian
Types: Unknown
Subjects: Independent verification; physical dimension; probabilistic model; random process; semantic check; semantic space; software; software invariant., 004.415.5, Вероятностная модель; независимая верификация; программное обеспечение; программный инвариант; семантический контроль; семантическое пространство; случайный процесс; физическая размерность., Випадковий процесс; ймовірнісна модель; незалежна верификація; програмне забезпечення; програмний інваріант; семантичний контроль; семантичний простір; физична розмірність.
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. Доказана необходимость создания независимой верификации, основанной на контроле семантических инвариантов. Проведен анализ статистических характеристик программного обеспечения. Обосновано использование аппарата теории случайных процессов для построения модели анализа семантических дефектов. Предложена модель контроля семантических программных дефектов, которая основана на использовании теории случайных процессов и позволяет определить функциональную зависимость эффективности семантического контроля от статистических характеристик программного обеспечения. Определен количественный интервал эффективности семантического контроля для программного обеспечения систем реального времени. Дальнейшие исследования требуют расширения технологии на новые программные языки и использование иных программных инвариантов. Доведена необхідність створення незалежної верифікації, що базується на контролі семантичних інваріантів. Проведено аналіз статистичних характеристик програмного забезпечення. Обґрунтовано використання апарату теорії випадкових процесів для побудови моделі аналізу семантичних дефектів. Запропоновано модель контролю семантичних програмних дефектів, що базується на використання теорії випадкових процесів та дозволяє визначити функціональну залежність ефективності семантичного контролю від статистичних характеристик програмного забезпечення. Визначено кількісний інтервал ефективності семантичного контролю для програмного забезпечення систем реального часу. Розглянуті варіанти інформаційної технології аналізу семантичних дефектів програмного забезпечення. Подальші дослідження потребують розширення технології на нові програмні мови та використання інших програмних інваріантів.
  • No references.
  • No related research data.
  • No similar publications.