Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі
Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
Подобные документы
Основні риси засобів активного тестування та моніторингу для систем реального часу. Значення існуючих засобів тестування в розробці програмного забезпечення при пошуку логічних помилок. Розгляд методів збору, обробки та подання тестувальних даних.
курсовая работа, добавлен 05.05.2020Документація, яка ведеться при аналізі успішності учнів загальноосвітньої школи. Проектування бази даних та її структура. Розробка програмного забезпечення інформаційної системи. Структура програмного забезпечення. Інсталяція інформаційної системи.
дипломная работа, добавлен 27.07.2015- 103. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Характеристика важливості та впливу мистецтва створення запитів на розвиток індустрії програмного забезпечення. Дослідження ключових механізмів, які надають цьому підходу визначальне значення у формуванні нових та ефективних практик програмування.
статья, добавлен 11.06.2024Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020Загальна характеристика проблем захисту національної безпеки України в інформаційній сфері. Знайомство з особливостями реалізації комплексу організаційно-практичних заходів протидії протиправному використанню шкідливого програмного забезпечення.
статья, добавлен 04.02.2019Розробка багатофункціонального тесту для тренування людської пам’яті. Аналіз предметного середовища та засоби розробки: пам’ять, види тестів. Створення програмного проекту, інформаційне забезпечення. Алгоритмізація та кодування програмного продукту.
дипломная работа, добавлен 11.06.2015Визначення особливостей математичних задач, для вирішення яких можуть бути використані різні методи та спеціалізоване програмне забезпечення, що дозволяє підвищити ефективність використання цих методів. Програмні модулі та управляючі системні програми.
статья, добавлен 15.02.2018Інформаційна система як сукупність організаційних і технічних засобів для збереження та обробки даних з метою забезпечення інформаційних потреб користувачів. Розробка програмного забезпечення для роботи з базами даних находження матеріалів на склад.
курсовая работа, добавлен 13.05.2014Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Аналіз та класифікація методів оцінювання, оптимізації та ідентифікації надійності алгоритмічного процесу. Розробка методологічних принципів забезпечення його надійності в умовах невизначеності. Підтвердження їх достовірності і практичної цінності.
автореферат, добавлен 27.08.2015Характеристика та види програмного забезпечення та комп'ютерних технологій на підприємстві. Принцип організації технологічного процесу експлуатації програмного забезпечення (Excel, Word), робота операційної системи (Microsoft Windows) та антивірусу.
отчет по практике, добавлен 04.03.2015Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Теоретичні підходи до нормування трудомісткості виготовлення програмного забезпечення та практика нормування у комп’ютерних фірмах. Пропозиції щодо нормування роботи програмістів, планування та обліку витрат на виготовлення програмного забезпечення.
статья, добавлен 14.07.2016- 121. Розробка програмного забезпечення для аналізу діяльності банків на ринку валютно-обмінних операцій
Дослідження діяльності банків на ринку валютно-обмінних операцій. Оцінка ризиків, які при цьому виникають. Причини погіршення економічної ситуації та фактори виникнення ризиків. Доцільність покращення програмного забезпечення в банківських установах.
статья, добавлен 10.10.2018 Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Розробка та характеристика програмного забезпечення, яке дозволяє викладачу проводити опитування студентів з використанням стратегій та практичних питань. Розгляд і аналіз процесу розвитку різних методів освіти за допомогою електронних засобів та систем.
статья, добавлен 27.07.2016Оцінка якості програмного коду при реалізації проектів зі створення інформаційних систем. Класифікація метрик програмного коду. Проведення аналогії між внутрішньою будовою проекту і зовнішнім виглядом міста. Приклад візуалізації проекту у CodeCity.
статья, добавлен 28.12.2018