Моделювання процесу прогнозування характеристик програмного забезпечення на основі аналізу специфікацій
Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
Подобные документы
Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Покращення характеристик спеціального програмного забезпечення збору та фільтрації корисної інформації для розширення можливостей адаптації та реконфігурації за призначенням і ситуацією систем прогнозування. Розгляд технічних методів інженерії знань.
автореферат, добавлен 04.03.2014Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Проектування програмного забезпечення. Тестування та супровід програмного забезпечення. Технологія розробки програмного забезпечення. Основні моделі розробки програмного засобу. Структура процесу моделювання Erwin. Генерування бази даних BatchAccess.
курсовая работа, добавлен 20.06.2015Перевірка працездатності інформаційної технології для аналізу та прогнозування часових рядів з фрактальними властивостями і програмних реалізацій на реальних даних. Дослідження можливості забезпечення об’єктивності під час проведення прогнозування.
статья, добавлен 03.11.2020Опис порівняльного аналізу методів моделювання та прогнозування, їх використання в задачах моніторингу. Значення комп’ютерних технологій для побудови моделей на основі методу групового урахування аргументів. Застосування критерію незміщеності помилок.
автореферат, добавлен 27.08.2015Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
автореферат, добавлен 20.04.2014Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Проектування програмного забезпечення. Розробка специфікації системних вимог. Визначення специфікації ресурсів, апаратно-програмної конфігурації та програмного інструментарію для реалізації проекту. Формування електронного пакета UML документації.
курсовая работа, добавлен 24.02.2012Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Розробка математичної моделі у вигляді мережі Петрі для формалізації роботи багатопотокових додатків і механізмів синхронізації. Аналіз ряду процесів і потоків в операційній системі. Застосування методів математичного аналізу для прискорення навчання.
статья, добавлен 14.09.2016Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Розробка інструментарію для створення проблемно-орієнтованих систем підтримки прийняття рішень, які можуть бути ефективно застосовані для прогнозування поведінки "нестабільних процесів". Зміна економічних параметрів та розвиток різноманітних захворювань.
автореферат, добавлен 28.07.2014Опис складових інформаційної технології прогнозування стану техногенної ситуації. Проведення аналізу результатів використання цієї технології для прогнозування кількості втрачених пакетів у локальній мережі. Огляд адекватності математичної моделі.
статья, добавлен 28.08.2016Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Аналіз математичної моделі та алгоритмів метеорологічного прогнозування. Конструювання алгоритмів та генерація програм чисельного прогнозування погоди. Комп'ютерна реалізація методів моделювання метеорологічних процесів на відеографічному прискорювачі.
научная работа, добавлен 28.02.2016Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Розробка гнучкої комп’ютеризованої системи на основі XML, яка призначена для заповнення метаданих освітніх інформаційних ресурсів. Характеристика розробленого програмного забезпечення. Розрахунок економічного ефекту по впровадженню програмного продукту.
дипломная работа, добавлен 22.10.2012Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
автореферат, добавлен 11.10.2011Обчислення коефіцієнтів математичних моделей. Розробка програмного коду автоматизованого аналізу (у діалоговому режимі) динамічних характеристик математичної моделі заданої системи. Команди визначення передатних функцій послідовних, паралельних з'єднань.
лабораторная работа, добавлен 25.06.2015Алгоритм будови математичної моделі багатовимірного подання інформації в реляційній базі даних, яка враховує характер їх опрацювання під час аналізу. Основні методи інформаційного забезпечення процесів підтримки прийняття рішень у предметній області.
автореферат, добавлен 13.07.2014Побудування архітектури нейронної мережі та її математичної моделі, що адаптована до прогнозування котировок інструментів валютного ринку. Врахування особливостей подання часового ряду котировок у виді "японських свічок" при побудові нейронної мережі.
статья, добавлен 09.01.2019Дослідження поточного впливу цифрових технологій на сучасний ринок праці. Тенденції цифровізації у досліджуваних галузях. Роль цифрових трансформаційних процесів в економіці України. Розробка економіко-математичної моделі ієрархічного прогнозування.
статья, добавлен 20.07.2024Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
учебное пособие, добавлен 11.02.2020