Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
Подобные документы
Аналіз специфіки програмного забезпечення 2023 р. Особливості об’єднання адаптації та інновації для задоволення мінливого середовища розробки програмного забезпечення. Модерні тенденції у тестуванні програмного забезпечення, проблеми та ризики галузі.
статья, добавлен 22.05.2024Розробка спеціалізованого програмного забезпечення для задач обліку, планування та прогнозування стану процесів розподілу ресурсів при прийнятті оперативних рішень на базі побудови компонентів СПЗ з використанням шаблонів критеріїв у формі об'єктів.
автореферат, добавлен 12.07.2014Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Дослідження класу недостатньо структурованих і неструктурованих задач інформаційно-управляючих систем. Підвищення якості функціонування ІУС гірничо-металургійного підприємства. Розробка методу дихотомічної оцінки нечітких моделей знань операторів ІУС ГМП.
автореферат, добавлен 30.01.2014Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Підвищення рівня автоматизації систем підготовки та редагування технічної документації. Аналіз процесу автоматизованого виготовлення нормованої технічної документації за допомогою програмного забезпечення. Структура та реалізація інформаційної бази.
автореферат, добавлен 29.09.2015Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Погляди на порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011, IDT). Перевірка якості спеціального програмного забезпечення для управління військами.
статья, добавлен 04.05.2021Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Поняття операційної системи та функції. Програмне забезпечення – всі програми, що використовує комп’ютер. Складові та класифікація операційних систем, системне середовище. Співвідношення класів програмного забезпечення, реалізація багатозадачності.
конспект урока, добавлен 23.11.2010Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Оцінка енергоефективного програмного забезпечення. Аналіз існуючих зелених метрик та методи їх систематизації. Тестування інструментів оцінки енергоефективності програмного забезпечення. Недоліки та потреба у створенні повнофункціонального інструменту.
статья, добавлен 28.02.2016Розробка методики створення засобів програмного захисту. Розщеплення захисту на дві ланки: фізичну та логічну. Конкретний спосіб захисту програмного забезпечення від несанкціонованого використання. Забезпечення автентичності навчальної звітності.
автореферат, добавлен 29.08.2015Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Відмінності вільного програмного забезпечення від пропієтарного або напіввільного ПЗ. Категорії програмного забезпечення з точки зору умов їх ліцензій. Концепція "копілефт", що сформувалася як протилежність традиційному підходу до авторського права.
статья, добавлен 13.10.2016Метод використання принципів інженерії програмного забезпечення – багаторівневе представлення, шаблонування. Модель рівня бізнес-логіки і комплексний набір метрик, який забезпечує аналіз навчального контексту в дидактичному та навігаційному аспектах.
автореферат, добавлен 26.08.2014Тестування програмного забезпечення із використанням методу білої скриньки. Огляд інструментальних засобів для автоматизації тестування програмного забезпечення. Тестування потоків керування програми, потоків даних програми та мутаційне тестування.
статья, добавлен 05.06.2020Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017- 48. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Розробка моделі прогнозування ризику з урахуванням факторів, які призводять до значних змін ризику в інформаційно-управляючих системах. Шляхи удосконалення методу прогнозування ризику Value-at-Risk шляхом корегування множника стандартного відхилення.
автореферат, добавлен 24.07.2014Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016