Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
Подобные документы
Ефективність функціонування складних інформаційних управляючих систем. Моделювання параметрів технічного діагностування стану старіючих технологій. Ненадійність апаратури для контролю. Визначення раціональної стратегії технічного обслуговування АСУ.
автореферат, добавлен 23.08.2014Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Основні етапи та технологічні процеси розробки програмного продукту. Впровадження та налагодження програмного продукту з сучасним апаратним та програмним забезпеченням. Ознайомлення з організацією праці і економікою виробництва досліджуваної установи.
отчет по практике, добавлен 05.09.2014Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Розгляд особливостей реалізації програмного забезпечення телемедичної системи клієнт-серверної архітектури з точки зору забезпечення надійності проходження інформації і ефективного використання каналів зв’язку. Синхронізація роботи клієнтських процесів.
статья, добавлен 29.01.2019Забезпечення за допомогою програмного забезпечення необхідної підтримки для оптимізації процесів, підвищення швидкості реагування та покращення якості медичних послуг. Алгоритми оптимізації маршрутів та інтеграції з іншими системами охорони здоров’я.
статья, добавлен 09.12.2024Розробка спеціалізованого програмного забезпечення для задач обліку, планування та прогнозування стану процесів розподілу ресурсів при прийнятті оперативних рішень на базі побудови компонентів СПЗ з використанням шаблонів критеріїв у формі об'єктів.
автореферат, добавлен 12.07.2014Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Розробка дискретної моделі, яка базується на понятті "подія", системи технічного діагностування на основі математичного апарата марковських ланцюгів. Застосування методики оптимізації параметрів стратегії технічного обслуговування старіючих систем.
автореферат, добавлен 28.10.2015Запропонування нового способу ЕЕО копіювально-прошивальними верстатами устаткування шляхом розробки математичного і програмного забезпечення автоматизованої та комп'ютеризованої системи управління у вигляді інформаційних моделей і алгоритмів управління.
автореферат, добавлен 20.09.2010Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Визначення розвитку тестування та контролю якості в розробці програмного забезпечення. Дослідження наявних методів та типів тестування. Обґрунтування актуальності тестування, техніка контролю якості як невід'ємна частина розробки програмного забезпечення.
статья, добавлен 02.12.2017Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Дослідження метрики програмного забезпечення. Теоретичні підходи до розрахунку штату програмістів, необхідних для підтримки єдиного інформаційного середовища. Вимоги надійності програмного забезпечення. Розгляд деталізованої класифікації програмістів.
статья, добавлен 08.02.2019Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Наведення підходів для визначення необхідного рівня надійності програмної компоненти та числа осіб відповідальних за працездатність програмного забезпечення в залежності від його складності. Вивчення суті класичного методу Монте-Карло оцінки надійності.
статья, добавлен 13.02.2016Підвищення ефективності процесів комерційної команди за рахунок розробки моделі вибору програмного забезпечення для оцінки мобільних додатків, коли критерії задані інтервальними значеннями. Модель програмного забезпечення для оцінки мобільних додатків.
статья, добавлен 07.01.2023Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Аналіз прикладної галузі програмного засобу. Розробка плану верифікації і тестування компонентів. Функціональна специфікація програмного засобу. Реалізація плану забезпечення і реалізації життєвого циклу програмного засобу засобами Microsoft Project.
курсовая работа, добавлен 06.06.2016- 72. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Управління діяльністю підприємств зв'язку шляхом розробки нових принципів побудови ієрархічних автоматизованих систем управління діяльністю виробничих систем. Інформаційна технологія підготовки даних для оптимізації управління розробкою АСУ - зв'язок.
автореферат, добавлен 14.09.2014Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023- 75. Моделі і методи підтримки прийняття рішень у системах автоматизованого управління бібліотекою ВНЗ
Всебічне дослідження та рішення основних питань розробки теорії, методів, алгоритмічного і програмного інструментарію людино-машинної інтерактивної системи підтримки прийняття рішень, призначеної для раціонального управління бібліотечними процесами.
автореферат, добавлен 23.08.2014