Тестування систем реального часу
Засоби тестування та моніторингу систем реального часу. Способ виявлення помилок, характерних для СРЧ. Розробка програмного забезпечення для пошуку логічних помилок. Підтримка вихідних текстів, трасування виконання програми, динамічна модифікація пам'яті.
Подобные документы
Формальний опис мови програмування Z30 в термінах розширеної нотації Бекуса-Наура. Розробка лексичного, синтаксичного та семантичного аналізатора. Побудова таблиці ідентифікаторів. Проведення тестування транслятора та виявлення помилок роботи компілятора.
курсовая работа, добавлен 14.02.2013Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Дослідження процесів виявлення помилок в каналах передачі даних комп’ютерних мереж та систем. Розробка підходів для збільшення надійності високопродуктивних методів контролю. Створення програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 28.10.2015Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Аналіз специфіки програмного забезпечення 2023 р. Особливості об’єднання адаптації та інновації для задоволення мінливого середовища розробки програмного забезпечення. Модерні тенденції у тестуванні програмного забезпечення, проблеми та ризики галузі.
статья, добавлен 22.05.2024Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Обґрунтування створення програми редактору блок-схем за допомогою альтернативного програмного забезпечення. Шифрування текстів за допомогою багатоалфавітних замін та їх криптоаналіз. Проведення проектування, розробки і тестування програмного продукту.
курсовая работа, добавлен 09.01.2017Аналіз сучасних підходів автентифікації клієнтів в режимі реального часу та текстонезалежний підхід автентифікації по голосу. Сучасні інформаційні технології автентифікації клієнтів в режимі реального часу (BioLink AMIS, Voice Key та VocalPassword).
статья, добавлен 10.10.2023Розробка, обіг та використання програмної документації в процесі життєвого циклу програмного забезпечення. Особливості проектування, тестування та супроводу програмного забезпечення. Вивчення моделей та технологій розробки програмного забезпечення.
курсовая работа, добавлен 27.06.2015Проведення підходів до побудови нейрокомп'ютерних систем. Принципи побудови та базова структура нейроорієнтованох комп'ютерної системи реального часу. Особливості нейрообробки даних. Операційний базис спеціалізованих модулів; основи етапи їх синтезу.
статья, добавлен 25.10.2018Розробка комп’ютерної програми з варіантами відповіді на запитання, редагування текстових файлів XML, ініціалізація об’єкту xmlReader. Процес створення методу ShowLevel. Розробка xml-файлу та його переміщення у папку з програмою, тестування програми.
лабораторная работа, добавлен 23.07.2017Порівняльна характеристика мов програмування. Застосування мнемонічного позначення для машинних команд. Особливість транслятора вихідних платформ в асемблері. Розробка блок-схеми алгоритму програми. Особливість трансляції проекту та пошуку помилок.
курсовая работа, добавлен 20.06.2016Аналіз сучасних підходів автентифікації клієнтів в режимі реального часу та обрання текстонезалежного підходу до автентифікації по голосу. Аналіз сучасних інформаційних технологій автентифікації клієнтів в режимі реального часу, їх переваг та недоліків.
статья, добавлен 29.09.2023Розробка Web-сервісу, його використання у пошуковій системі. Формування основних вимог до програмної системи, приклади головних алгоритмів та методів. Функціональне та нефункціональне тестування бази даних. Особливості кросбраузерного тестування.
дипломная работа, добавлен 16.06.2017Розгляд задачі оцінки часу виконання програм для спеціалізованих комп’ютерних систем. Модель роботи програми у вигляді поглинаючого марківського ланцюга із дискретними станами і дискретним часом. Блок-схема алгоритму програми та її інтерпретація графом.
статья, добавлен 28.02.2016Використання цілісного підходу до захисту програми від хакерських атак, вірусів та несанкціонованого доступу до конфіденційних даних. Розробка ефективних інструментів тестування безпеки програмного вебпродукту. Переваги та недоліки хмарних середовищ.
статья, добавлен 18.12.2023Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Аналіз засобів автоматизованого виправлення орфографічних помилок в природномовних текстових даних. Розробка контекстно-асоціативних методів орфокорекції для підвищення роботи програмного забезпечення за показниками швидкості виправлення помилок.
автореферат, добавлен 26.09.2015Розробка моделі рельєфу, орієнтованої на метод зворотного трасування для використання в системах візуалізації. Алгоритми роботи спецпроцесорів у реальному часі (структурні і функціональні схеми). Перевірка моделей і алгоритмів шляхом моделювання.
автореферат, добавлен 27.04.2014- 48. Підвищення ефективності засобів виявлення помилок передачі даних в комп’ютерних системах і мережах
Характеристика розширення класу помилок, що виявляються за допомогою зваженої контрольної суми. Алгоритм одержання частково-ортогональних шифрів. Основні технології кодування компонент головного числа. Модифікація каналів зі спектральною модуляцією.
автореферат, добавлен 14.09.2014 Адаптація способу формування зважених контрольних сум до особливостей помилок, що виникають в лініях послідовних інтерфейсах комп’ютерних систем. Підвищення ефективності виправлення помилок за рахунок зменшення об’єму інформації, що передається повторно.
автореферат, добавлен 25.07.2014Классификация систем реального времени, ядра и операционные системы специфического назначения. Преимущества и недостатки систем потоковой передачи данных, синхронизация с внешними событиями и реакции в предсказанное время, ошибки систем реального времени.
контрольная работа, добавлен 06.12.2011