Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі
Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
Подобные документы
Проектування програмного забезпечення для гри "Кубик Рубіка" з використанням бібліотеки OpenGL. Реалізація програми в середовищі розробки Microsoft Visual Studio 2013. Математичні методи, використані у роботі. Опис програмного забезпечення та тестування.
курсовая работа, добавлен 18.10.2017Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015- 79. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Етапи робіт, що проводяться у заданому порядку протягом періоду часу, який починається з вирішення питання про розроблення програмного забезпечення і закінчується припиненням його використання. Каскадна модель життєвого циклу інформаційної системи.
реферат, добавлен 22.07.2017Дослідження концепції побудови віртуальних приладів, зовнішнього вигляду вікон інтерфейсу користувача та результатів відлагодження програмного забезпечення. Аналіз схеми алгоритму отримання масиву даних сигналу в залежності від його форми та методу.
практическая работа, добавлен 26.11.2011Характеристика прикладного програмного забезпечення загального та спеціального призначення. Основні функції операційної системи. Сутність командного та семантичного інтерфейсів. Особливість розширення імені файлу. Аналіз поняття та символів маски.
презентация, добавлен 12.10.2016Побудова математичної моделі специфікації вимог до програмного забезпечення. Визначення ступенів впливу показників специфікації в межах характеристики. Критичний вплив на програмні проекти та на успішність їх завершення. Прогнозована вартість помилки.
статья, добавлен 28.02.2016- 84. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Нарахування операційних комісійних та процентних доходів та витрат від операцій з клієнтами на основі АБС "Операційний день банку". Основні вимоги до програмного забезпечення АРМ "Операції по договорам". Система управління базою даних та її функції.
контрольная работа, добавлен 27.07.2009Об’єктно-орієнтоване програмування електронної книги рецептів. Розробка UML діаграм поведінки системи. Розробка графічного інтерфейсу програмних засобів комп’ютерної системи. Розробка структури бази даних. Контрольне тестування програмного забезпечення.
курсовая работа, добавлен 23.09.2017Розробники програмного забезпечення щодо реалізації ефективного управління освітнім процесом закладів вищої освіти в Україні. Особливості розробки автоматизованих систем управління освітнім процесом. Переваги комплексної інформаційно-аналітичної системи.
статья, добавлен 09.10.2018Основні проблеми, що супроводжують процес планування перевірки програмного забезпечення. Вигляд діалогового вікна навчальної інформаційно-розрахункової задачі. Ключові класи еквівалентності для швидкості польоту, сформовані в узагальненому вигляді.
статья, добавлен 30.05.2021Аналіз системного програмного забезпечення як "програмної оболонки" апаратних засобів, призначених для відокремлення інших програм від безпосередньої взаємодії з обладнанням та організації обробки інформації у комп'ютері. Організація інформаційних систем.
доклад, добавлен 09.07.2017Підвищення ефективності процесів комерційної команди за рахунок розробки моделі вибору програмного забезпечення для оцінки мобільних додатків, коли критерії задані інтервальними значеннями. Модель програмного забезпечення для оцінки мобільних додатків.
статья, добавлен 07.01.2023Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Розробка програмного забезпечення на алгоритмічній мові TurboPascal 7.0 для здійснення арифметичних операцій з високою точністю для знаходження математичних констант: чисел e і π. Математичний опис і постановка задачі. Опис програмного забезпечення.
курсовая работа, добавлен 12.09.2010Шкідливі програми і боротьба з наслідками їх діяльності протягом останнього десятиріччя як одна з найсерйозніших проблем для всіх, хто працює за комп’ютером. Розгляд особливостей захисту корпоративних систем від впливу шкідливого програмного забезпечення.
статья, добавлен 24.05.2020Ознайомлення під час практики з роботою Селецької загальноосвітньої школи. Оцінка комплексу технічних засобів обробки інформації. Розгляд вимог техніки безпеки на робочому місці. Встановлення та налаштування операційної системи, програмного забезпечення.
отчет по практике, добавлен 07.08.2017Роль інформаційних технологій в навчальному процесі медичного ВНЗ. Розробка концепції побудови інформаційної інфраструктури медичного ВНЗ, що ґрунтується на максимальному використанні вільно-розповсюджуваного програмного забезпечення з відкритим кодом.
статья, добавлен 21.06.2016Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Забезпечення доступу користувачів інформаційних Web-порталів до затребуваної професійно-навчальної інформації. Комплекс моделей і методів та створення програмного забезпечення системи автоматизованого керування інформаційно-навчальним Web-контентом.
автореферат, добавлен 13.08.2015Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Створення програми для використання алгоритмів сортування масивів різними способами. Вимоги до програмного забезпечення. Порядок контролю і прийому. Сортування масиву методом "бульбашки", Шелла. Визначення інформаційних зв'язків програмних компонентів.
курсовая работа, добавлен 23.12.2014