Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі
Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
Подобные документы
Дефініція понять "адаптивність", "адаптованість". Побудова архітектури адаптивного програмного забезпечення систем критичного призначення відповідно до класифікації механізмів адаптивності. Розробка моделі взаємодії між користувачем і адаптивною системою.
статья, добавлен 28.02.2016Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Погляди на порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011, IDT). Перевірка якості спеціального програмного забезпечення для управління військами.
статья, добавлен 04.05.2021Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Основи та головні рівні тестування програмного забезпечення. Класифікація і короткий огляд методів побудови тестів. Сутність програмування без персоналій. Документування робочого продукту. Внутрішні і незалежні команди. Послідовність розробки програми.
реферат, добавлен 24.06.2013- 59. Методи та моделі класифікації текстових документів в спеціалізованих інформаційно-пошукових системах
Аналіз сучасних методів класифікації, які враховуватимуть можливості теперішнього обладнання й програмного забезпечення. Особливість вирішення завдання автоматичного систематизування текстових документів для автоматизованих інформаційно-пошукових систем.
автореферат, добавлен 30.10.2015 Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Цифрова стеганографія, обґрунтування методу приховування інформації. Програмне забезпечення у середовищі C++. Шифрування та дешифрування тексту до файлу зображення із забезпеченням автентичності та цілісності файлу. Тестування програмного продукту.
дипломная работа, добавлен 22.11.2015Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016Аналіз основних понять про план виконання завдань програмного проекту та управління процесом його реалізації, що допомогло зрозуміти суть пропонованих методів і засобів. Плани виконання завдань програмного проекту та ефективного управління процесом.
статья, добавлен 29.03.2020Аналіз існуючих систем електронного бізнесу, засобів програмного забезпечення для цих систем та розробка необхідної Торгової Інтернет Системи для електронного бізнесу. Розробка методів потоків платежів на основі дерева сценаріїв в електронному бізнесі.
автореферат, добавлен 14.10.2015Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Розробка спеціалізованого програмного забезпечення для задач обліку, планування та прогнозування стану процесів розподілу ресурсів при прийнятті оперативних рішень на базі побудови компонентів СПЗ з використанням шаблонів критеріїв у формі об'єктів.
автореферат, добавлен 12.07.2014Поняття і класифікація програмних засобів навчального призначення. Місце комп’ютерних технологій в теорії та практиці навчального процесу. Проектування та розробка програмного тренажеру "Мистецька галерея". Методичні рекомендації щодо роботи з ним.
курсовая работа, добавлен 17.04.2014Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Проблема планування виробничих запасів на підприємстві. Розробка алгоритмічного та програмного забезпечення для прийняття рішень при плануванні складських запасів. Використання програмного забезпечення оператором, особою, що формує та приймає рішення.
курсовая работа, добавлен 08.05.2016- 73. Інформаційна технологія оптимізації підсистем збору даних АСУТП в умовах комбінованої невизначеності
Метод оцінювання характеристик підсистем збору даних в умовах невизначеності, який ґрунтується на алгоритмічній моделі. Розробка методу комп’ютерного моделювання для дослідження ефективності й достовірності розробленого підходу і програмного забезпечення.
автореферат, добавлен 20.07.2015 Методика визначення собівартості програмного забезпечення як нематеріального активу. Використання інтервальних обчислень для визначення собівартості програмного забезпечення на стадії попереднього планування та стадії визначення фактичної собівартості.
статья, добавлен 14.07.2016Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016