Застосування техніки поділу вхідних даних на класи еквівалентності для оптимізації перевірки спеціального програмного забезпечення
Основні проблеми, що супроводжують процес планування перевірки програмного забезпечення. Вигляд діалогового вікна навчальної інформаційно-розрахункової задачі. Ключові класи еквівалентності для швидкості польоту, сформовані в узагальненому вигляді.
Подобные документы
Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Визначення поняття біометрії - методів автоматизованої ідентифікації, заснованих на фізіологічних чи поведінкових характеристиках. Дослідження процесу застосування покрокових криптографічних перетворень шарів спеціального програмного забезпечення.
статья, добавлен 20.02.2016Теоретичні підходи до нормування трудомісткості виготовлення програмного забезпечення та практика нормування у комп’ютерних фірмах. Пропозиції щодо нормування роботи програмістів, планування та обліку витрат на виготовлення програмного забезпечення.
статья, добавлен 14.07.2016Ознайомлення під час практики з роботою Селецької загальноосвітньої школи. Оцінка комплексу технічних засобів обробки інформації. Розгляд вимог техніки безпеки на робочому місці. Встановлення та налаштування операційної системи, програмного забезпечення.
отчет по практике, добавлен 07.08.2017Оцінка енергоефективного програмного забезпечення. Аналіз існуючих зелених метрик та методи їх систематизації. Тестування інструментів оцінки енергоефективності програмного забезпечення. Недоліки та потреба у створенні повнофункціонального інструменту.
статья, добавлен 28.02.2016Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Розроблення математичного та програмного забезпечення для розв’язування задачі комівояжера великих розмірностей, дослідження її розв’язування. Вивчення методів геометричної оптимізації та мінімізації довжини початкового маршруту у геометричних областях.
автореферат, добавлен 30.07.2015Мета, цілі та задачі створення бази даних. Основні вимоги до інформаційної системи. Проектні рішення з розробки внутрішньо–машинної програми. Загальні положення системного аналізу програмного забезпечення. Сутність властивостей концептуальної моделі.
курсовая работа, добавлен 30.11.2016Опис програмного забезпечення Dialux, Електропостачання: ЕС/ЕМ, Ulysse, NanoCAD Електро, Europic, CalcuLuX, Формула світла, Light-in-Night, що використовуються для розрахунку та перевірки параметрів існуючого освітлення приміщень на робочих місцях.
статья, добавлен 15.09.2024Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Проект комплексу спеціального програмного забезпечення автоматизованого робочого місця підприємця. Вимоги замовника до продукту. Розробка моделі на основі платформи ARIS, побудова діаграми взаємодії і діяльності. Оцінка якості ПЗ інформаційної системи.
курсовая работа, добавлен 08.12.2021Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Загальна характеристика програмного забезпечення інформаційної системи. Операційні системи та оболонки. Спеціалізовані статистичні пакети. Основні задачі первинного статистичного оброблення даних. Види та особливості прикладних систем, їх призначення.
реферат, добавлен 26.08.2013Аналіз проблеми оптимізації логістичних потоків на транспортній мережі. Вирішення задачі структурно-технологічної оптимізації систем. Розробка мовою Python програмного забезпечення для пошуку найбільш оптимального шляху проходження потоку вантажу.
курсовая работа, добавлен 28.05.2014Визначення відповідності результатів тестування програмного забезпечення критичного застосування функційним та нефункційним вимогам за рахунок аналізу результатів тестування нечіткою нейронною мережею. Характеристика процесу й необхідності тестування.
статья, добавлен 30.10.2016Проектування програмного забезпечення для гри "Кубик Рубіка" з використанням бібліотеки OpenGL. Реалізація програми в середовищі розробки Microsoft Visual Studio 2013. Математичні методи, використані у роботі. Опис програмного забезпечення та тестування.
курсовая работа, добавлен 18.10.2017Характеристика видів кешування даних. Аналіз залежностей часу запису/зчитування від кількості даних у кеші. Дослідження програмного забезпечення кешування даних. Обґрунтування вибору засобу кешування для оптимізації роботи високонавантажених веб-систем.
статья, добавлен 27.07.2016Розробка гнучкої комп’ютеризованої системи на основі XML, яка призначена для заповнення метаданих освітніх інформаційних ресурсів. Характеристика розробленого програмного забезпечення. Розрахунок економічного ефекту по впровадженню програмного продукту.
дипломная работа, добавлен 22.10.2012Етапи робіт, що проводяться у заданому порядку протягом періоду часу, який починається з вирішення питання про розроблення програмного забезпечення і закінчується припиненням його використання. Каскадна модель життєвого циклу інформаційної системи.
реферат, добавлен 22.07.2017Техніко-економічні показники програмного продукту з оптимізації плоскоремінної передачі. Алгоритм розв’язку задачі на оптимізацію та вибір моделі створення продукту. Тип виконання та кут нахилу шківів передачі. Приклад розрахунку плоскоремінної передачі.
курсовая работа, добавлен 11.02.2016Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Специфіка застосування програмного засобу "Statistica" для проведення системного аналізу в політології. Приклади практичного застосування пакету програм. Алгоритм проведення дискримінантного аналізу в рамках системного аналізу політичних явищ та процесів.
статья, добавлен 18.02.2014