Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
Подобные документы
Технологічні процеси складання, монтажу, налагодження і тестування програмних систем та комплексів. Аналіз існуючих апаратних та програмних засобів, виявлення недоліків побудови існуючого комплексу апаратно-програмних засобів, шляхи виправлення ситуації.
отчет по практике, добавлен 28.04.2014Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Місце ОС Android в загальній класифікації операційних систем. Основні загрози для ОС Android. Обґрунтування вибору програмних засобів для реалізації захисту. Реалізація і тестування захисту в ОС Android. Розробка принципів роботи програмних засобів.
курсовая работа, добавлен 28.04.2016Опис, специфіка процесу створення програмних систем. Основні причини слабкої інтеграції процесів забезпечення якості програмних систем на стадіях життєвого циклу. Характеристика та особливості підвищення якості проміжних та кінцевих програмних продуктів.
статья, добавлен 29.01.2016Усунення конструкторських недоліків. Розділи області знань "конструювання програмного забезпечення". Удосконалення функціональності системи. Технічні та управлінські питання, пов’язані з супроводом програмних систем. Тестування модифікацій систем.
реферат, добавлен 24.11.2019Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Проаналізовано підходи і методи формування вимог до системи і ПЗ, що створюється. Розглянуто функціональні і нефункціональні вимоги. Увага приділена об’єктно-орієнтованим методам інженерії вимог, що використані для побудови моделей предметних областей.
курс лекций, добавлен 17.11.2022Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Шляхи підвищенні оперативності та ефективності прийняття знанняорієнтованих рішень за умов лінгвістичної невизначеності при складанні розкладу занять у вищих навчальних закладах. Використання і розроблення нових моделей і систем інженерії квантів знань.
автореферат, добавлен 29.09.2014Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014- 16. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Основні риси засобів активного тестування та моніторингу для систем реального часу. Значення існуючих засобів тестування в розробці програмного забезпечення при пошуку логічних помилок. Розгляд методів збору, обробки та подання тестувальних даних.
курсовая работа, добавлен 05.05.2020Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Розроблення комбінованого механізму логічного висновку діагностичних експертних систем, який об’єднує у собі байесів і продукційний підходи до побудови МЛВ і є вільним від їх недоліків за допомогою математичних і програмних методів та кластеризації.
автореферат, добавлен 13.07.2014Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Характеристика життєвого циклу та класифікації програмних систем. Особливість створення прецедентів Case-засобом Rational Rose. Архітектурний базис, правила і загальні механізми мови UML. Агрегація, композиція, узагальнення та залежності між класами.
учебное пособие, добавлен 16.04.2015Знаходження користувачем існуючих програмних систем, які відповідають критеріям пошуку. Вивчення переваг та недоліків розважальних інформаційних порталів та форумів. Відновлення вимог (reverse engineering) за програмою для обраної предметної області.
лабораторная работа, добавлен 07.02.2014Використання нечіткої гібридної моделі для прогнозування трудомісткості розробки програмних систем. Ідентифікація залежності затрат робочого часу на програмування від стажу програміста, складності завдання. Переваги гібридної моделі прогнозування.
статья, добавлен 25.02.2016