Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування
Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
Подобные документы
Оцінено метод комбінованого описання інфраструктури та конфігурацій програмного забезпечення для автоматизації процесу створення інфраструктури та встановлення програмного забезпечення. Описано динамічне модифікування конфігурації в залежності від хмари.
статья, добавлен 02.06.2022Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
статья, добавлен 23.03.2020Основні етапи та технологічні процеси розробки програмного продукту. Впровадження та налагодження програмного продукту з сучасним апаратним та програмним забезпеченням. Ознайомлення з організацією праці і економікою виробництва досліджуваної установи.
отчет по практике, добавлен 05.09.2014Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Навігаційне забезпечення військ як один з видів топогеодезичного забезпечення військ. Нові вимоги до забезпечення військ картографічними матеріалами. Використання програмного забезпечення інструментальних картографічних та геоінформаційних систем.
статья, добавлен 22.07.2018Впровадження в процеси управління автоматизованих інформаційних систем. Деякі аспекти та переваги нового покоління мікропроцесорів Allwinner H616 у порівнянні з аналогами. Продуктивність даного процесора за допомогою програмного забезпечення UnixBench.
статья, добавлен 07.12.2024Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Забезпечення за допомогою програмного забезпечення необхідної підтримки для оптимізації процесів, підвищення швидкості реагування та покращення якості медичних послуг. Алгоритми оптимізації маршрутів та інтеграції з іншими системами охорони здоров’я.
статья, добавлен 09.12.2024Комп'ютеризація як важлива частина стратегії розвитку сучасного спорту. Розробка програмного забезпечення "ArmRec" та впровадження його в процес організації та проведення змагань з армрестлінгу. Основні компоненти та функціонал програмного забезпечення.
статья, добавлен 09.06.2024Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016- 90. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Проектування програмного забезпечення для гри "Кубик Рубіка" з використанням бібліотеки OpenGL. Реалізація програми в середовищі розробки Microsoft Visual Studio 2013. Математичні методи, використані у роботі. Опис програмного забезпечення та тестування.
курсовая работа, добавлен 18.10.2017Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Шкідливі програми і боротьба з наслідками їх діяльності протягом останнього десятиріччя як одна з найсерйозніших проблем для всіх, хто працює за комп’ютером. Розгляд особливостей захисту корпоративних систем від впливу шкідливого програмного забезпечення.
статья, добавлен 24.05.2020Основи та головні рівні тестування програмного забезпечення. Класифікація і короткий огляд методів побудови тестів. Сутність програмування без персоналій. Документування робочого продукту. Внутрішні і незалежні команди. Послідовність розробки програми.
реферат, добавлен 24.06.2013Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Аналіз та класифікація методів оцінювання, оптимізації та ідентифікації надійності алгоритмічного процесу. Розробка методологічних принципів забезпечення його надійності в умовах невизначеності. Підтвердження їх достовірності і практичної цінності.
автореферат, добавлен 27.08.2015Аналіз основних понять про план виконання завдань програмного проекту та управління процесом його реалізації, що допомогло зрозуміти суть пропонованих методів і засобів. Плани виконання завдань програмного проекту та ефективного управління процесом.
статья, добавлен 29.03.2020- 100. Застосування програмного комплексу Ліра для дослідження роботи пошкоджених кам'яних конструкцій
Наведення основних методів оцінки залишкової несучої здатності в Україні і в світі. Опис основних аспектів завдання вихідних характеристик в програмний комплекс за допомогою методу скінченних елементів. Представлення скріншотів з програмного комплексу.
статья, добавлен 20.11.2018