Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
Подобные документы
Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Розробка моделей та алгоритмів багатокритеріальної оптимізації з використанням цільового нелінійного цілочисельного програмування, що забезпечують синтез раціональних за багатьма заданими критеріями ефективності структур баз даних інформаційних систем.
автореферат, добавлен 15.07.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Розробка Web-сервісу, його використання у пошуковій системі. Формування основних вимог до програмної системи, приклади головних алгоритмів та методів. Функціональне та нефункціональне тестування бази даних. Особливості кросбраузерного тестування.
дипломная работа, добавлен 16.06.2017Характеристика видів кешування даних. Аналіз залежностей часу запису/зчитування від кількості даних у кеші. Дослідження програмного забезпечення кешування даних. Обґрунтування вибору засобу кешування для оптимізації роботи високонавантажених веб-систем.
статья, добавлен 27.07.2016- 84. Моделі та інформаційні технології для адаптивного управління компонентними програмними комплексами
Класифікація наукових напрямків розробки адаптивних технологій у сфері сучасної програмної інженерії, створення ефективного механізму роботи компонентних програмних комплексів, та управління ними за умов постійних змін в середовищі їх функціонування.
автореферат, добавлен 26.09.2015 - 85. Моделі та інформаційні технології для адаптивного управління компонентними програмними комплексами
Огляд проблемних наукових напрямків розробки адаптивних технологій у сфері сучасної програмної інженерії для вирішення задач створення механізму роботи компонентних програмних комплексів за умов змін в середовищі з застосуванням композиційної адаптації.
автореферат, добавлен 26.07.2014 Виявлення вразливостей в чатботах, що використовують великі мовні моделі та розробка пропозицій щодо покращення тестування цих систем. Обґрунтування важливості валідації вхідних даних та здійснення контролю взаємодії з зовнішніми ресурсами в чатботах.
статья, добавлен 26.02.2024Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Основні розділи та задачі програмної інженерії. Поняття та мета штрихового кодування. Життєвий цикл програмного забезпечення та його основні процеси. Сутність та особливості Internet-, Extranet-, Intranet-технологій. Система адресації в Internet.
статья, добавлен 20.06.2017Аналіз існуючих науково-практичних публікацій із розроблення і впровадження автоматизованих лабораторних інформаційних систем (LIMS). Фізичний макет і архітектура потоку даних LIMS, функціональні можливості системи. Фази валідаціїі проектної діяльності.
статья, добавлен 09.12.2018Порівняння програмних та апаратних підходів, висвітлюючи структуру класичних нейронних мереж і їх можливого апаратного втілення. Дослідження апаратної реалізації моделей штучної нейронної мережі, зокрема з використанням операційних підсилювачів.
статья, добавлен 09.12.2024Програмне забезпечення систем управління проектами, перетворення мистецтва управління проектами в науку з стандартами, методами і технологіями. Структуризація і опис складу та характеристик робіт, ресурсів, витрат і доходів. Розрахунок бюджету проекту.
реферат, добавлен 07.07.2017Тестування програмного забезпечення із використанням методу білої скриньки. Огляд інструментальних засобів для автоматизації тестування програмного забезпечення. Тестування потоків керування програми, потоків даних програми та мутаційне тестування.
статья, добавлен 05.06.2020Інтеграція фінансових програмних систем Збройних Сил (ЗС) України в єдине інформаційне середовище на основі аналізу функціональності існуючих систем автоматизації. Склад системи автоматизації ведення бухгалтерського обліку "Парус - Бюджетна установа 8".
статья, добавлен 13.02.2016Створення високоякісних програмних продуктів автоматизованого машинного навчання. Використання табличних структурованих даних для прогнозування. Масштабування робочих процесів й алгоритмів ухвалення рішень за допомогою уніфікованої платформи Vertex AI.
статья, добавлен 24.03.2024Розроблення структури бази даних "Демографічні показники Львівської області". Характеристика можливостей здійснення операцій селекції до побудованої бази даних географічних інформаційних систем. Приклади реалізації атрибутивних запитів до створеної бази.
статья, добавлен 04.03.2018Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Структура управлінських інформаційних систем. Класифікація інформаційних систем за різними ознаками. Перелік складових комп'ютерної інформаційної системи підприємства. Аналіз наявних на ринку програмних продуктів автоматизації управлінської діяльності.
контрольная работа, добавлен 06.10.2010Методи аналізу даних за допомогою інформаційних систем. Консолідація та візуалізація даних в задачах інформаційного бізнесу. Задача асоціації в Data Mining. Кластеризація алгоритмів типу k-means та g-means. Прогнозуючі та класифікаційні моделі.
курсовая работа, добавлен 06.02.2012Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013