Алгебричне аналізування надійності програмного забезпечення
Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
Подобные документы
Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021Розгляд картографічного дослідження як одного з видів систематичного огляду літератури. Визначення терміну "програмне забезпечення екосистеми". Класифікація питань дослідження. Аналіз процесу відбору джерел з результатами після кожного кроку фільтрації.
статья, добавлен 30.01.2017Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Комп'ютеризація як важлива частина стратегії розвитку сучасного спорту. Розробка програмного забезпечення "ArmRec" та впровадження його в процес організації та проведення змагань з армрестлінгу. Основні компоненти та функціонал програмного забезпечення.
статья, добавлен 09.06.2024Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Теоретичні підходи до нормування трудомісткості виготовлення програмного забезпечення та практика нормування у комп’ютерних фірмах. Пропозиції щодо нормування роботи програмістів, планування та обліку витрат на виготовлення програмного забезпечення.
статья, добавлен 14.07.2016Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Підвищення рівня автоматизації систем підготовки та редагування технічної документації. Аналіз процесу автоматизованого виготовлення нормованої технічної документації за допомогою програмного забезпечення. Структура та реалізація інформаційної бази.
автореферат, добавлен 29.09.2015Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Поняття операційної системи та функції. Програмне забезпечення – всі програми, що використовує комп’ютер. Складові та класифікація операційних систем, системне середовище. Співвідношення класів програмного забезпечення, реалізація багатозадачності.
конспект урока, добавлен 23.11.2010- 43. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Напрями вдосконалення програмного забезпечення електронної бібліотеки на етапі завантаження до цифрового архіву та організації доступу до нього. Вимоги до програмного забезпечення керування цифровим архівом. Створення резервних копій та відновлення даних.
статья, добавлен 24.03.2016Метод використання принципів інженерії програмного забезпечення – багаторівневе представлення, шаблонування. Модель рівня бізнес-логіки і комплексний набір метрик, який забезпечує аналіз навчального контексту в дидактичному та навігаційному аспектах.
автореферат, добавлен 26.08.2014Аналіз прикладної галузі програмного засобу. Розробка плану верифікації і тестування компонентів. Функціональна специфікація програмного засобу. Реалізація плану забезпечення і реалізації життєвого циклу програмного засобу засобами Microsoft Project.
курсовая работа, добавлен 06.06.2016