Математичне моделювання специфікації вимог та характеристик програмного забезпечення
Побудова математичної моделі специфікації вимог до програмного забезпечення. Визначення ступенів впливу показників специфікації в межах характеристики. Критичний вплив на програмні проекти та на успішність їх завершення. Прогнозована вартість помилки.
Подобные документы
Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Теоретичні підходи до нормування трудомісткості виготовлення програмного забезпечення та практика нормування у комп’ютерних фірмах. Пропозиції щодо нормування роботи програмістів, планування та обліку витрат на виготовлення програмного забезпечення.
статья, добавлен 14.07.2016Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Створення програми для використання алгоритмів сортування масивів різними способами. Вимоги до програмного забезпечення. Порядок контролю і прийому. Сортування масиву методом "бульбашки", Шелла. Визначення інформаційних зв'язків програмних компонентів.
курсовая работа, добавлен 23.12.2014Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015Характеристика прикладного програмного забезпечення загального та спеціального призначення. Основні функції операційної системи. Сутність командного та семантичного інтерфейсів. Особливість розширення імені файлу. Аналіз поняття та символів маски.
презентация, добавлен 12.10.2016Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Ознайомлення з видами криптографічного закриття: шифруванням і кодуванням. Визначення властивостей криптографічної геш-функції. Вивчення схеми роботи програми. Розробка коду програми. Вивчення інструкції користувача і вимог до програмного забезпечення.
курсовая работа, добавлен 14.12.2014Розробка програмного забезпечення для операції про оптимальний раціоні харчування дітей молодшого шкільного віку. Загальна схема та класифікація кінцевих методів розв’язування задачі. Обґрунтування вибору засобів прикладного програмного забезпечення.
курсовая работа, добавлен 22.09.2014Пошук шляхів запобігання терористичним загрозам або зменшення їх негативних наслідків. Розробка математичної моделі та програмного додатку для розпізнавання емоцій. Визначення підозрілої або панічної поведінки людей. Переваги згорткових нейронних мереж.
статья, добавлен 10.06.2024Використання програмного комплексу, побудованого засобами C++ Builder, для визначення параметрів процесу оброблення вимог в системах масового обслуговування споживачів. Експоненціальний або Ерлангівський характер розподілу часу оброблення вхідних вимог.
статья, добавлен 13.10.2016Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Побудова логічної структури бази даних на основі ER-моделі. Автоматичні коригування інформації у концепціях інформаційної системи. Засоби автоматизації управління порядком. Реалізація сукупності показників засобами прикладного програмного забезпечення.
курсовая работа, добавлен 04.10.2015Характеристика об’єкта комп’ютеризації. Визначення вимог до програмного забезпечення. Розробка бази даних і програми-клієнта для доступу до таблиць в яких міститься основна інформація про робітників, та можливість її використовувати і редагувати.
курсовая работа, добавлен 01.04.2015Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Принципи роботи програмного забезпечення для проведення імітаційного моделювання телекомунікаційних мереж, його переваги. Функціональні особливості продукту Riberbed Modeler Academic Edition, побудова графічних моделей, характеристика інтерфейсу.
статья, добавлен 27.07.2016- 96. Інформаційна технологія оптимізації підсистем збору даних АСУТП в умовах комбінованої невизначеності
Метод оцінювання характеристик підсистем збору даних в умовах невизначеності, який ґрунтується на алгоритмічній моделі. Розробка методу комп’ютерного моделювання для дослідження ефективності й достовірності розробленого підходу і програмного забезпечення.
автореферат, добавлен 20.07.2015 Проект комплексу спеціального програмного забезпечення автоматизованого робочого місця підприємця. Вимоги замовника до продукту. Розробка моделі на основі платформи ARIS, побудова діаграми взаємодії і діяльності. Оцінка якості ПЗ інформаційної системи.
курсовая работа, добавлен 08.12.2021- 98. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017