Методи і засоби забезпечення та контролю якості програмних систем
Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
Подобные документы
Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Дослідження концепції побудови віртуальних приладів, зовнішнього вигляду вікон інтерфейсу користувача та результатів відлагодження програмного забезпечення. Аналіз схеми алгоритму отримання масиву даних сигналу в залежності від його форми та методу.
практическая работа, добавлен 26.11.2011Розробка специфікації вимог до кожного з двох користувачів, у тому числі: визначення вимог до даних; розробка вимог до транзакцій. Концептуальне проектування бази даних. Атрибути, які належать сутностям. Етапи та особливості проектування бази даних.
курсовая работа, добавлен 20.02.2010Характеристика основних методів побудови систем підтримки прийняття рішень агрегованими структурами з використанням інформаційних технологій і засобів штучного інтелекту. Структура моделі цілеспрямованого діалогу систем автоматизованого проектування.
статья, добавлен 14.09.2016Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Аналіз методу опрацювання комерційного контенту як етапу життєвого циклу контенту в системах електронної комерції. Процес формування інформаційних ресурсів в системах електронної контенткомерції та спрощення технології управління комерційним контентом.
статья, добавлен 01.03.2017Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023Дослідження підходів, що використовуються у апаратно-програмних платформах домашньої автоматизації систем типу "розумний будинок" в рамках загальної концепції "Інтернету речей". Організація взаємодії між елементами платформи домашньої автоматизації.
статья, добавлен 26.10.2020Виявлення шкідливого програмного забезпечення в локальних комп’ютерних мережах, особливістю якої є синтез в ній вимог розподіленості, децентралізованості та багаторівневості. Розгляд самоорганізації як особливості автономних програмних модулів системи.
статья, добавлен 09.10.2018Організація централізованої системи постачання товарів. Аналіз моделі управління запасами з детермінованим динамічним попитом. Основи процесу розробки програмного забезпечення. Суть проектування систем баз даних. Особливість опису інтерфейсу користувача.
магистерская работа, добавлен 22.01.2017Місце ОС Android в загальній класифікації операційних систем. Основні загрози для ОС Android. Обґрунтування вибору програмних засобів для реалізації захисту. Реалізація і тестування захисту в ОС Android. Розробка принципів роботи програмних засобів.
курсовая работа, добавлен 28.04.2016Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Опис етапів проектування програмного продукту – автоматизованої системи обліку "AXIM". АСО "AXIM" та його розробка у вигляді кросплатформного додатку, який буде здатен працювати на всіх сучасних програмних (операційних системах) або апаратних системах.
статья, добавлен 17.03.2022Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Поняття об’єктно-орієнтованого програмування у середовищі MS Visual Studio. Вимоги і рекомендації з написання коду. Стилі використання регістрів. Ознайомлення з антишаблонами в розробці програмних систем. Робота з типами даних у мові С+; бітові операції.
отчет по практике, добавлен 25.05.2021- 122. Моделі, методи та технології оцінювання якості процесу освіти на основі інформаційних показників
Огляд математичної моделі й інформаційної технології кількісного оцінювання якості процесу освіти з використанням інформаційних показників ступеня взаємозв'язку між навчальними дисциплінами. Методи й алгоритми групування множини дисциплін на певні блоки.
автореферат, добавлен 07.08.2014 Знайомство з особливостями та проблемами перетворення каскадних систем організації проектування предметної області для IC до форми. Розгляд ключових аспектів методології проектування сучасних баз даних. Аналіз складу сучасних інформаційних систем.
статья, добавлен 30.07.2016Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Розроблення комбінованого механізму логічного висновку діагностичних експертних систем, який об’єднує у собі байесів і продукційний підходи до побудови МЛВ і є вільним від їх недоліків за допомогою математичних і програмних методів та кластеризації.
автореферат, добавлен 13.07.2014