Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
Подобные документы
Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014- 52. Удосконалений метод захисту персональних даних від атак за допомогою алгоритмів соціальної інженерії
Опис удосконаленого методу захисту персональних даних від атак за допомогою алгоритмів соціальної інженерії, основних принципів соціальної інженерії, методів захисту від атак. Алгоритм захисту, який забезпечує надійний захист персональних даних.
статья, добавлен 05.04.2023 Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Дослідження теоретичних аспектів проектування автоматизованих систем тестування. Огляд можливостей мови програмування й середи розробки Visual Studio 2008. Опис функціональних можливостей та програмної реалізації системи дистанційного тестування навчання.
дипломная работа, добавлен 22.10.2012Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014- 56. Раціоналізація визначення об'єктно-орієнтованого CASE-засобу в життєвому циклі програмної системи
Розроблення методологічної основи для вирішення задач із вибору CASE-засобів як напрямку раціоналізації процесів підтримки життєвого циклу програмних систем і підвищення їх ефективності. Використання однопараметричної моделі Раша для визначення оцінок.
статья, добавлен 22.08.2017 - 57. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Формальний опис мови програмування Z30 в термінах розширеної нотації Бекуса-Наура. Розробка лексичного, синтаксичного та семантичного аналізатора. Побудова таблиці ідентифікаторів. Проведення тестування транслятора та виявлення помилок роботи компілятора.
курсовая работа, добавлен 14.02.2013Проблеми комп’ютерної інженерії та інформаційних технологій з використання математичних моделей і методів оптимізації систем багатовимірних комбінаторних конфігурацій. Взаємозв’язок симетричних і асиметричних груп з алгебричними структурами полів Ґалуа.
статья, добавлен 29.08.2016Огляд тенденцій розвитку технології баз даних. Прогнози стосовно самоналаштування систем баз даних, переосмислення їх традиційної архітектури. Робота із структурованими та неструктурованими даними всередині архітектури системи управління базами даних.
статья, добавлен 19.12.2022Використання електронно-обчислювальної техніки при вивченні систем радіозв’язку. Порівняльний аналіз функціональних можливостей та особливостей застосування програмних комплексів MatLab та VisSim, вироблення рекомендацій щодо їх практичного використання.
статья, добавлен 29.06.2016Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Визначення необхідності впровадження сучасних програмних додатків в галузі медичної освіти в умовах інформатизації галузі охорони здоров'я та освіти. Аналіз підходів до розробки додатків на прикладі Тернопільського державного медичного університету.
статья, добавлен 30.01.2017Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Методи подання нечітких моделей засобами реляційних систем в завданнях аналізу даних інтегрованих систем. Технології оцінки реляційної моделі даних для побудови функціональних асоціативних правил в задачах інтелектуального аналізу реляційних баз даних.
автореферат, добавлен 19.07.2015Розгляд властивостей сукупності взаємозв'язаних даних, що зберігаються разом. Оцінка відмінностей комп’ютерних баз даних від файлових систем. Характеристика можливостей при програмуванні реляційної СУБД, в залежності від набору програмних засобів.
реферат, добавлен 30.09.2013Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015Аналіз існуючих показників ефективності технічного захисту інформаційних ресурсів автоматизованих систем. Розробка систем захисту сучасних автоматизованих систем керування і оптимізація їх параметрів на базі математичного моделювання даних процесів.
автореферат, добавлен 27.04.2014Розгляд змісту аудиту і тестування вразливості інформаційно-телекомунікаційної системи будь-якого підприємства. Алгоритм проведення тестування на проникнення IT-інфраструктури (аналіз вразливостей та захищеності інформаційних ресурсів) у вигляді етапів.
статья, добавлен 21.12.2023Розробка алгоритмів розв’язання задач відтворення сигналів у вигляді інтегральних моделей та створенню на їх основі прикладних програмних засобів. Їх комп’ютерна реалізація та застосування на обчислювальних кластерах з різними операційними системами.
автореферат, добавлен 26.08.2015Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
статья, добавлен 23.09.2016Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015