Застосування техніки поділу вхідних даних на класи еквівалентності для оптимізації перевірки спеціального програмного забезпечення
Основні проблеми, що супроводжують процес планування перевірки програмного забезпечення. Вигляд діалогового вікна навчальної інформаційно-розрахункової задачі. Ключові класи еквівалентності для швидкості польоту, сформовані в узагальненому вигляді.
Подобные документы
Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015Метод використання принципів інженерії програмного забезпечення – багаторівневе представлення, шаблонування. Модель рівня бізнес-логіки і комплексний набір метрик, який забезпечує аналіз навчального контексту в дидактичному та навігаційному аспектах.
автореферат, добавлен 26.08.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Проектування та розробка бази даних для шеф-кухаря в ресторані для спрощення, оптимізації та модернізації роботи з інформацією. Опис та загальна характеристика програмного забезпечення для реалізації даного проекту. Структура та головний зміст таблиць.
курсовая работа, добавлен 25.02.2013Розробники програмного забезпечення щодо реалізації ефективного управління освітнім процесом закладів вищої освіти в Україні. Особливості розробки автоматизованих систем управління освітнім процесом. Переваги комплексної інформаційно-аналітичної системи.
статья, добавлен 09.10.2018Загальні положення системного аналізу програмного забезпечення, формування меню установи громадського харчування. Логічне та фізичне проектування бази даних. Скрипти створення бази даних, інформаційно-пошукові запити, процес формування меню установи.
курсовая работа, добавлен 18.03.2017Навігаційне забезпечення військ як один з видів топогеодезичного забезпечення військ. Нові вимоги до забезпечення військ картографічними матеріалами. Використання програмного забезпечення інструментальних картографічних та геоінформаційних систем.
статья, добавлен 22.07.2018Документація, яка ведеться при аналізі успішності учнів загальноосвітньої школи. Проектування бази даних та її структура. Розробка програмного забезпечення інформаційної системи. Структура програмного забезпечення. Інсталяція інформаційної системи.
дипломная работа, добавлен 27.07.2015Розгляд дій експерта при дослідженні побітової копії цифрового накопичувача інформації з метою виявлення серед видалених даних, відомостей щодо використання програмного забезпечення "Mars Stealer", що позиціонується як програмний продукт типу "Stealer".
статья, добавлен 11.02.2024Основні види програмних продуктів, на яких базується процес навчання: стандартне програмне забезпечення, спеціалізовані навчальні програми та електронна допомога. Структура програмного комплексу та особливості його впровадження у навчальний процес.
статья, добавлен 28.02.2017Технології, моделі створення програмного забезпечення, під яким маються на увазі комп'ютерні програми і відповідна документація. Архітектурне проектування. Управління проектами зі створення і впровадження ПЗ. Управління персоналом при реалізації проектів.
реферат, добавлен 31.05.2013Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Основний вплив кластерного програмного забезпечення на прикладні програмні засоби. Розроблення основних методів підвищення якості проектування та перевірки розрахунків адресного простору обчислювальних мереж для використання в обчислювальному кластері.
автореферат, добавлен 29.09.2015Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Основні методи апаратного та програмного захисту інформації. Антивірусне програмне забезпечення. Програмне забезпечення для стиску та архівації файлів даних. Місце розміщення архівного файлу. Призначенням антивірусного монітора та антивірусного сканера.
лабораторная работа, добавлен 19.07.2017Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Логічна структура реляційної бази даних, її компоненти та функціональні особливості, головні вимоги. Розробка додатку, який зміг її обслуговувати і виконувати ряд операцій. Опис програмного забезпечення для роботи з базою даних, їх візуальних форм.
курсовая работа, добавлен 23.12.2015Розробка математичного і програмного забезпечення для автоматизації процесу перетворення конструкторської документації на паперових носіях в електронний вигляд. Сегментація растрових зображень креслень для виділення примітивів і їхньої векторизації.
автореферат, добавлен 13.07.2014Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014- 95. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Характеристика особливостей застосування сучасних технологій координатних вимірювань для деталей мікросхемної техніки. Визначення ролі тривимірних систем з розвитком комп’ютерної техніки та програмного забезпечення. Ознайомлення з їх класифікацією.
статья, добавлен 26.07.2016Характеристика важливості та впливу мистецтва створення запитів на розвиток індустрії програмного забезпечення. Дослідження ключових механізмів, які надають цьому підходу визначальне значення у формуванні нових та ефективних практик програмування.
статья, добавлен 11.06.2024Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015