Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі
Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
Подобные документы
Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Загальна характеристика проблем захисту національної безпеки України в інформаційній сфері. Знайомство з особливостями реалізації комплексу організаційно-практичних заходів протидії протиправному використанню шкідливого програмного забезпечення.
статья, добавлен 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- 116. Розробка програмного забезпечення для аналізу діяльності банків на ринку валютно-обмінних операцій
Дослідження діяльності банків на ринку валютно-обмінних операцій. Оцінка ризиків, які при цьому виникають. Причини погіршення економічної ситуації та фактори виникнення ризиків. Доцільність покращення програмного забезпечення в банківських установах.
статья, добавлен 10.10.2018 Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Розробка та характеристика програмного забезпечення, яке дозволяє викладачу проводити опитування студентів з використанням стратегій та практичних питань. Розгляд і аналіз процесу розвитку різних методів освіти за допомогою електронних засобів та систем.
статья, добавлен 27.07.2016Особливості укладання термінології з німецької мови із залученням перекладацького програмного забезпечення. Досліджено дані перекладацьких асоціацій Німеччини стосовно етапів роботи з укладання термінології та необхідності дотримання єдності термінології.
статья, добавлен 12.10.2022Проект комплексу спеціального програмного забезпечення автоматизованого робочого місця підприємця. Вимоги замовника до продукту. Розробка моделі на основі платформи ARIS, побудова діаграми взаємодії і діяльності. Оцінка якості ПЗ інформаційної системи.
курсовая работа, добавлен 08.12.2021Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Оцінка якості програмного коду при реалізації проектів зі створення інформаційних систем. Класифікація метрик програмного коду. Проведення аналогії між внутрішньою будовою проекту і зовнішнім виглядом міста. Приклад візуалізації проекту у CodeCity.
статья, добавлен 28.12.2018Категорії програм, що працюють на комп'ютері. Написання навчальної програми "Horoskop", яка носить інтерактивно-навчальний характер. Проектування алгоритмічного та програмного забезпечення для формування гороскопу, розробка математичної моделі розрахунку.
курсовая работа, добавлен 01.12.2014Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015