Моделі і методи інженерії якості програмних систем на ранніх стадіях життєвого циклу
Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
Подобные документы
Принципи проектування програмних систем. Побудова математичної моделі макроскопічного рівня будови систем обробки даних та дослідження її властивостей. Застосування сформованого підходу до представлення проектів на прикладі навчальних середовищ.
автореферат, добавлен 11.08.2015Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
автореферат, добавлен 28.09.2014Використання об’єктно-орієнтованих CASE-засобів - інструмент, який необхідний для підвищення ефективності виробничих процесів на всіх етапах життєвого циклу програмних систем. Репозиторій - база даних для збереження результатів роботи програмістів.
статья, добавлен 24.01.2022Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Розробка та реалізація моделі даних та механізмів їхнього оброблення для забезпечення роботи LIN-протоколу на базі автомобільних мікроконтролерів AVR. Організація обміну даними в LIN кластері. Вивчення структури LIN моделі даних для Master-вузла.
статья, добавлен 26.01.2017Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
учебное пособие, добавлен 11.02.2020Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Підвищення якості інтелектуальної обробки даних у автоматизованих інформаційних бібліотечних системах. Розробка логічної мережі для синтаксичного аналізу, моделі обробки текстової інформації у документах з використанням єдиного математичного апарату.
автореферат, добавлен 19.07.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015- 37. Раціоналізація визначення об'єктно-орієнтованого CASE-засобу в життєвому циклі програмної системи
Розроблення методологічної основи для вирішення задач із вибору CASE-засобів як напрямку раціоналізації процесів підтримки життєвого циклу програмних систем і підвищення їх ефективності. Використання однопараметричної моделі Раша для визначення оцінок.
статья, добавлен 22.08.2017 Дослідження принципів моделювання додатків для Андроіда. Вимоги до програмного забезпечення операційної системи для мобільних пристроїв, планшетів або комп’ютерів. Ефективність тестувати серверів на основі хмарних систем у якості серверної частини.
статья, добавлен 22.03.2016Вивчення сутності сучасного сайту – розгалуженої системи програмних, інформаційних, медійних засобів, логічно пов’язаних між собою. Розробка математичної інтегральної моделі оцінювання якості веб-сайту. Розгляд етапу проектування оцінювання якості сайту.
статья, добавлен 30.07.2016Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Характеристика життєвого циклу та класифікації програмних систем. Особливість створення прецедентів Case-засобом Rational Rose. Архітектурний базис, правила і загальні механізми мови UML. Агрегація, композиція, узагальнення та залежності між класами.
учебное пособие, добавлен 16.04.2015Побудова корпоративних конференц-систем на базі протоколу ІР. Моделювання імітаційної моделі серверу. Забезпечення конфіденційності голосової інформації в конференц-системах. Використання криптографічних перетворень без виникнення часової затримки.
автореферат, добавлен 11.08.2015Моделі даних та їх класифікація. Створення бази даних за допомогою Мicrosoft Аccess та проектування запитів до бази даних. Поняття транзакцій та їх властивості. Розробка інфологічної моделі "Сутність-зв'язок". Основні етапи життєвого циклу баз даних.
методичка, добавлен 04.06.2014Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Практичне застосування методів концептуального проектування реляційних баз даних. Побудова концептуальної моделі "сутність-зв'язок". Побудова даталогічної моделі та нормалізація бази даних. Реалізація даталогічної моделі бази даних засобами SQL.
курсовая работа, добавлен 29.10.2020Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014