Методи і засоби забезпечення та контролю якості програмних систем
Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
Подобные документы
Історія становлення та перспективи розвитку сучасної інформатики. Розроблення та використання об’єктно-орієнтованих мов програмування. Критерії оцінювання, регламентація та квантифікація зовнішніх і внутрішніх характеристик якості програмного продукту.
статья, добавлен 21.06.2023Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Аналіз вимог і методів управління якістю виробництва для формування системи контролю якості приладобудівного підприємства. Формування системної моделі контролю якості, основаної на логістичному поданні виробництва. Розробка інформаційної технології.
автореферат, добавлен 28.08.2015Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015Оцінка якості програмного коду при реалізації проектів зі створення інформаційних систем. Класифікація метрик програмного коду. Проведення аналогії між внутрішньою будовою проекту і зовнішнім виглядом міста. Приклад візуалізації проекту у CodeCity.
статья, добавлен 28.12.2018Модульна структура алгоритмічно-програмних засобів обробки інформації, основного процесу обробки інформації. Використання технології веб-сокетів для асинхронної клієнтсерверної взаємодії веб-програм для учасників оцінювання якості та врожайності зерна.
статья, добавлен 14.01.2017Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Використання об’єктно-орієнтованих CASE-засобів - інструмент, який необхідний для підвищення ефективності виробничих процесів на всіх етапах життєвого циклу програмних систем. Репозиторій - база даних для збереження результатів роботи програмістів.
статья, добавлен 24.01.2022Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
автореферат, добавлен 28.09.2014Переваги backcasting-підходу, який допомагає прийняти зважені, якісні рішення при виборі програмних проектів, а також може підвищувати спільну відповідальність, усувати конфлікти цілей та інтересів зацікавлених сторін за рахунок проблемної орієнтованості.
статья, добавлен 13.10.2016Проектування програмного забезпечення. Розробка специфікації системних вимог. Визначення специфікації ресурсів, апаратно-програмної конфігурації та програмного інструментарію для реалізації проекту. Формування електронного пакета UML документації.
курсовая работа, добавлен 24.02.2012Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Усунення конструкторських недоліків. Розділи області знань "конструювання програмного забезпечення". Удосконалення функціональності системи. Технічні та управлінські питання, пов’язані з супроводом програмних систем. Тестування модифікацій систем.
реферат, добавлен 24.11.2019Узагальнення питання застосування різних методів програмування яке має властивості спадкування, інкапсуляції та поліморфізму при еволюційному оновленні програмних систем. Особливості складного програмування на основі компонентів повторного використання.
статья, добавлен 26.01.2017Здійснено аналіз становлення світової стандартизації. Означено етапи створення міжнародних організацій зі стандартизації. Розглянуто найактуальніші стандарти програмних продуктів та розподілених систем керування. Обґрунтовано переваги та недоліки процесу.
статья, добавлен 29.10.2020Основний вплив кластерного програмного забезпечення на прикладні програмні засоби. Розроблення основних методів підвищення якості проектування та перевірки розрахунків адресного простору обчислювальних мереж для використання в обчислювальному кластері.
автореферат, добавлен 29.09.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014