Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
Подобные документы
Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Вивчення методів підвищення ефективності процесу модернізації інформаційних систем (скорочення простоїв ІС, розміру бази даних, запобігання втраті даних) шляхом розробки моделей керування і інформаційної технології багатоверсійного представлення.
автореферат, добавлен 27.08.2015Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Дефініція понять "адаптивність", "адаптованість". Побудова архітектури адаптивного програмного забезпечення систем критичного призначення відповідно до класифікації механізмів адаптивності. Розробка моделі взаємодії між користувачем і адаптивною системою.
статья, добавлен 28.02.2016Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Впровадження в процеси управління автоматизованих інформаційних систем. Деякі аспекти та переваги нового покоління мікропроцесорів Allwinner H616 у порівнянні з аналогами. Продуктивність даного процесора за допомогою програмного забезпечення UnixBench.
статья, добавлен 07.12.2024Аналіз стану технології перетворення зображень на стадії додрукарської підготовки та моделей фарбодрукарських систем. Розробка інформаційної технології синтезу тонопередачі коротких фарбодрукарських систем для забезпечення підвищення їх ефективності.
автореферат, добавлен 30.07.2015Поняття операційної системи та функції. Програмне забезпечення – всі програми, що використовує комп’ютер. Складові та класифікація операційних систем, системне середовище. Співвідношення класів програмного забезпечення, реалізація багатозадачності.
конспект урока, добавлен 23.11.2010Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
статья, добавлен 23.03.2020Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Шляхи підвищення ефективності застосування систем управління інформаційно-технологічними послугами. Моделі та інструментальні засоби для інтеграції систем управління в корпоративну ІТ-інфраструктуру та підвищення рівня інтелектуальної обробки даних.
автореферат, добавлен 19.06.2018Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Проектування програмного забезпечення для гри "Кубик Рубіка" з використанням бібліотеки OpenGL. Реалізація програми в середовищі розробки Microsoft Visual Studio 2013. Математичні методи, використані у роботі. Опис програмного забезпечення та тестування.
курсовая работа, добавлен 18.10.2017Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Розробка моделей контролю геометричних характеристик об'єктів зі складною просторовою поверхнею, методів підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, алгоритмів зменшення впливу дестабілізуючих факторів.
автореферат, добавлен 25.07.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Розробка моделі прогнозування ризику з урахуванням факторів, які призводять до значних змін ризику в інформаційно-управляючих системах. Шляхи удосконалення методу прогнозування ризику Value-at-Risk шляхом корегування множника стандартного відхилення.
автореферат, добавлен 24.07.2014Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Розробка методів оптимізації функціонування системи управління промислових виробництв в умовах невизначеності; синтезу алгоритмів адаптації з використанням апарата багатозв’язних марківських ланцюгів. Інструментарій декомпозиції функціональних алгоритмів.
автореферат, добавлен 20.07.2015