Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
Подобные документы
Розробка методів і моделей оцінювання параметрів ґрід-системи. Розробка системи проведення тестування ґрід-систем і збору параметрів функціонування ґрід-системи. Ґрід-сервіс статистичного прогнозування, що розв'язує задачі оцінювання й прогнозування.
автореферат, добавлен 30.07.2015- 102. Структурування керувальних концептів прийняття рішень в умовах асортиментного виробничого плану
Проблеми застосування комерційних систем організації виробництва при їх експлуатації в умовах розширення виробничого асортименту. Оцінка алгоритмічної будови сучасних комерційних програмних пакетів. Методика побудови моделі характеристик продукту.
статья, добавлен 25.11.2016 Аналіз і тестування системи управління потоками даних на основі п’яти коефіцієнтів якості роботи системи: відмовостійкість та прогнозованість системи, стабільність росту черги обробки запитів, актуальність даних та відсутність помилкового виконання.
статья, добавлен 07.12.2016Головні методи проведення тестування безпеки корпоративної мережі організації на несанкціоноване проникнення. Моделювання тестування на несанкціонований доступ до вибраних інформаційних ресурсів та оцінка можливих атак після здобуття такого доступу.
статья, добавлен 23.03.2023Упровадження систем постійного оперативного реагування у сфері прикордонного контролю. Використання мобільних інформаційних систем та програмних продуктів з метою захисту документів та способів їх фальсифікації. Забезпечення швидкого оновлення баз даних.
статья, добавлен 12.05.2024Аналіз ефективності комплексного тестування, захисту інформації. Реалізація модифікації хеш-алгоритмів паралельного обчислення. Використання нелінійних відтворюючих моделей. Розробка алгоритму побудови моделі визначення складності двійкової послідовності.
автореферат, добавлен 13.07.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Засоби тестування та моніторингу систем реального часу. Способ виявлення помилок, характерних для СРЧ. Розробка програмного забезпечення для пошуку логічних помилок. Підтримка вихідних текстів, трасування виконання програми, динамічна модифікація пам'яті.
курсовая работа, добавлен 05.05.2020Розробка сценарію і синтез моделі. Форма представлення інформації і вибір програмних продуктів. Синтез комп'ютерної моделі об'єкта. Підготування картографічного, текстового, гіпертекстового, аудіо– і відеоматеріалу за допомогою програмних продуктів.
статья, добавлен 29.10.2016- 110. Моделі і методи інженерії квантів знань для прийняття рішень за умов імовірнісної невизначеності
Розробка алгоритмів інженерії квантів знань для комп’ютерної підтримки рішень за умов невизначеності. Дослідження формальних процедур машинного маніпулювання знаннями та операторів їх логічного виводу. Алгоритмізація автоматичного квантування інформації.
автореферат, добавлен 28.09.2015 - 111. Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфігуруються
Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014 - 112. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 Моделювання та обробка сигналів динамічних систем операційними методами, орієнтованими на створення комплексів моніторингу. Правила побудови операційних матриць інтегрування із нецілим порядком для розширеного базису локально-імпульсних функцій.
автореферат, добавлен 25.06.2014Використання об’єктно-орієнтованих CASE-засобів - інструмент, який необхідний для підвищення ефективності виробничих процесів на всіх етапах життєвого циклу програмних систем. Репозиторій - база даних для збереження результатів роботи програмістів.
статья, добавлен 24.01.2022Поняття об’єктно-орієнтованого програмування у середовищі MS Visual Studio. Вимоги і рекомендації з написання коду. Стилі використання регістрів. Ознайомлення з антишаблонами в розробці програмних систем. Робота з типами даних у мові С+; бітові операції.
отчет по практике, добавлен 25.05.2021Основні види програмних продуктів, на яких базується процес навчання: стандартне програмне забезпечення, спеціалізовані навчальні програми та електронна допомога. Структура програмного комплексу та особливості його впровадження у навчальний процес.
статья, добавлен 28.02.2017Дослідження та розроблення методів і алгоритмів підвищення надійності та достовірності інформаційних систем передачі потокового відео за рахунок оптимізації розкладу пакетів відеозображення переданого по симплексному каналу мережі із втратами даних.
автореферат, добавлен 29.09.2014Характеристика технічних та програмних засобів телеобробки інформації. Особливість мереж передачі даних для побудови на їх основі глобальних комп'ютерних систем. Дослідження принципів електронного обміну комерційними та фінансовими повідомленнями.
статья, добавлен 16.07.2017Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Підвищення точності автоматичного розпізнавання слів у мовному сигналі. Розроблення моделі інтерпретації спостережуваної послідовності акустичних ознак. Розроблення параметризації мовного сигналу та інформаційної технології обробки мовних даних.
автореферат, добавлен 13.08.2015Носії інформації, їхній склад та характеристика. Використання комп'ютерних систем обчислення багатопараметричних моделей й математичних алгоритмів. Концепція єдиної централізовано керованої бази даних. Компоненти об'єктно-орієнтованого програмування.
курс лекций, добавлен 23.09.2017Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Microsoft Access як одна з найпопулярніших серед настільних програмних комплексів управління базами даних. Характеристика ключових конструктивних елементів інфологічних моделей. Дослідження основних принципових відмінностей звітів від екранних форм.
курсовая работа, добавлен 16.11.2014Аналіз загроз персональних комп’ютерів від несанкціонованого використання. Розробка методики захисту програмного забезпечення та автентичності навчальної звітності. Створення біометричного контролю особи користувача. Реалізація моделей у програмних кодах.
автореферат, добавлен 24.07.2014Питання та відповіді мультимедійної системи комп’ютерного тестування знань студентів з дисципліни "Захист даних в інформаційних системах". Опис структури програми: головний кадр, меню, схема курсу і послідовність її реалізації, рекомендації розробника.
курсовая работа, добавлен 20.06.2014