Застосування техніки негативного тестування спеціального програмного забезпечення при випробуванні зразків озброєння та військової техніки
Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
Подобные документы
Інформатизація системи управління навчальним навантаженням навчального закладу. Вибір проектних рішень. Вимоги щодо структури та функціонування системи, технічного і програмного забезпечення. Структура програмного продукту та опис інтерфейсу програми.
дипломная работа, добавлен 26.03.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014- 105. Метод захисту конфіденційної інформації як складова управління інформаційною безпекою ДСНС України
Розроблення методу захисту конфіденційної інформації Державної служби України з надзвичайних ситуацій на основі використання операцій розширеного матричного криптографічного перетворення. Вимоги програмного пакета статистичного тестування NIST STS.
статья, добавлен 27.07.2016 Синтаксиси, властивості класів, структур та змінних, що надаються драйвером та приклади їх використання. Запуск утиліти для встановлення та тестування карт розширення Device Manager. Меню для вибору та налаштування карти розширення, обробки інформації.
лабораторная работа, добавлен 28.01.2016Розробка програмного забезпечення для операції про оптимальний раціоні харчування дітей молодшого шкільного віку. Загальна схема та класифікація кінцевих методів розв’язування задачі. Обґрунтування вибору засобів прикладного програмного забезпечення.
курсовая работа, добавлен 22.09.2014Дослідження фунуціонування відділу комп'ютерно-інтегрованих систем управління та автоматизованого проектування. Розгляд комплексу технічних засобів обробки інформації. Аналіз необхідності використання комп'ютерної техніки та програмного забезпечення.
отчет по практике, добавлен 26.09.2017Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Програмне забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування таких програм в порівнянні з побудовою мережі. Застосування програмного продукту Riberbed Modeler Academic Edition в навчальних закладах.
статья, добавлен 27.07.2016Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Тенденції в галузі автоматизованих інформаційних систем управління для ресторанного бізнесу. Функції та можливості автоматизованих інформаційних систем управління. Аналіз програмного забезпечення, що застосовується для автоматизації ресторанного бізнесу.
статья, добавлен 25.06.2024Аналіз спільного функціонування спеціального програмного забезпечення та геоінформаційних систем. Наявність загроз інформаційної безпеки. Розгляд можливостей порушника щодо реалізації загроз конфіденційності, доступності, цілісності та спостережності.
статья, добавлен 15.05.2018Характеристика важливості та впливу мистецтва створення запитів на розвиток індустрії програмного забезпечення. Дослідження ключових механізмів, які надають цьому підходу визначальне значення у формуванні нових та ефективних практик програмування.
статья, добавлен 11.06.2024Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015Аналіз і тестування системи управління потоками даних на основі п’яти коефіцієнтів якості роботи системи: відмовостійкість та прогнозованість системи, стабільність росту черги обробки запитів, актуальність даних та відсутність помилкового виконання.
статья, добавлен 07.12.2016Оцінка загальних рекомендацій по розробці графічного інтерфейсу програмного додатку. Компоненти головної віконної форми програми. Опис випливаючих підказок, що розміщені на компонентах інформаційної системи. Алгоритм обробки подій клавіатури і миші.
курсовая работа, добавлен 19.07.2017Генератор умовних символів у тактичному військовому стандарті APP-6D. Розроблення програмного забезпечення, яке генеруватиме тактичні знаки у стандарті APP-6D. Забезпечення умов для виконання створення і редагування графіки військової символіки.
статья, добавлен 01.03.2024Обґрунтування практичної реалізації використання комп’ютерного тестування у процесі фахової підготовки студентів. Аналіз організаційних проблем розробки і застосування комп’ютерного тестування у вищій школі для виявлення рівня навчальних досягнень.
статья, добавлен 01.12.2017- 122. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Розгляд змісту аудиту і тестування вразливості інформаційно-телекомунікаційної системи будь-якого підприємства. Алгоритм проведення тестування на проникнення IT-інфраструктури (аналіз вразливостей та захищеності інформаційних ресурсів) у вигляді етапів.
статья, добавлен 21.12.2023Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Автоматизація процесів тестування веб-сайтів та системи за умови наявного широкого спектру інструментів, доступних у вільному доступі для здійснення тестування на проникнення. Впровадження здійснення відповідності стандарту ISO 27001 для організацій.
статья, добавлен 30.09.2024