Дослідження та обґрунтування методу тестової верифікації елементів розподілених баз знань
Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
Подобные документы
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
статья, добавлен 14.07.2016Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Розробка тестової програми. Структура одноциклового SPIM RISC комп’ютера. Верифікація VHDL моделі комп’ютера. Топ-файл VHDL моделі комп’ютера. Модулі керування, виконання операцій, декодування інструкцій, IF та пам’яті. Автоматично згенерований файл.
курсовая работа, добавлен 30.01.2014Розробка програмного коду, який дозволяє дізнатися інформацію про студента, який проходить тестування, дає можливість відповісти на декілька запитань і дізнатися результат знань студента з теми "Класи". Проектування тестових питань та тестової програми.
курсовая работа, добавлен 29.01.2013Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Розгляд проблеми дослідження та розроблення методів верифікації інформаційного наповнення користувачів віртуальних спільнот. Перевірка достовірності персональних даних і формування та дослідження інформаційного сліду учасника віртуальної спільноти.
статья, добавлен 21.06.2016Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Основна ідея методу змістової ідентифікації об’єктів баз знань. Визначення важливості ключових слів експертним шляхом. Аналіз підходу до підвищення адекватності моделей предметних областей методу змістової ідентифікації та варіанти його застосування.
статья, добавлен 30.08.2016Передумови виникнення розподілених систем. Ріст продуктивності в комп'ютерних мережах. Сутність розподілених систем, їх застосування, переваги та недоліки. Класифікація розподілених систем та їх характеристика: суперкомп'ютер, паралельний комп’ютер, ін.
лекция, добавлен 30.08.2017Побудова групами експертів, що взаємодіють за допомогою Internet, бази знань системи підтримки прийняття рішень, в якій використано метод динамічного цільового оцінювання альтернатив. Розгляд функцій та структури програмного забезпечення бази знань.
статья, добавлен 29.01.2019Особливість встановлення віртуальних тестових машин та сервера. Аналіз зміни порту веб-управління маршрутизатором. Характеристика віддаленого керування системою. Тестування веб-сервера на надійність в середовищі уявної випробувальної лабораторії.
дипломная работа, добавлен 04.06.2015Дослідження інформаційної підтримки дослідницької діяльності на основі застосування сучасних мережних технологій е-дистанційного доступу до розподілених систем формування знань. Визначення онтологічної моделі у форматі е-сценарію наукових досліджень.
статья, добавлен 24.10.2020Розробка інформаційної та математичної моделі розподіленої комп’ютерної системи з енергообмеженими вимірювальними модулями. Оптимізація енергоспоживання віддалених модулів. Аналіз результатів експерименту на базі віддалених п’єзоелектричних модулів.
статья, добавлен 25.10.2016- 18. Категорні моделі і метод поповнення ієрархічних баз знань предметних областей автоматизованих систем
Обґрунтування використання концептів і семантичних відношень, введення сигнатури відношень. Розробка правил поповнення ієрархічних баз знань предметних областей, що забезпечують семантичну коректність створюваної бази знань автоматизованої системи.
автореферат, добавлен 29.09.2014 Розгляд сучасного досвіду у використанні різних форм нових інформаційних технологій. Ознайомлення з виглядом постановочної сторінки навчально-тестової програми "Випробування на водовіддачу водопровідних мереж". Аналіз переваг програмних симуляторів.
статья, добавлен 03.05.2019Сутність та основні елементи розподілених мережевих систем, основи мережевої взаємодії. Моделі розподілених мережевих систем, модель взаємодії "клієнт-сервер". Концепції взаємодії та стан компонент розподіленої системи. Безпека в мережевих системах.
лекция, добавлен 30.08.2017Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014- 23. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
Аналіз методу захисту інформацій від несанкціонованого доступу. Створення шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Приклад застосування методу для розробки алгоритму реалізації послуги "відновлення після збоїв".
статья, добавлен 01.03.2017 Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Ознайомлення з рішенням для удосконалення площини управління програмно-керованих мереж. Дослідження та характеристика особливостей процесу створення розподіленої системи функцій віртуалізації. Розробка та аналіз методу кешування записів таблиці потоків.
статья, добавлен 24.09.2016