Застосування семантичних технологій для аналізу та рефакторингу програмного коду
Дослідження проблеми створення інструментарію для поглибленого аналізу програмного коду та його рефакторингу. Пошук базових патернів та антипатернів у коді. Спосіб використання семантичних технологій для реалізації пошуку складних шаблонів в коді програм.
Подобные документы
Розробка рекомендацій з реалізації захисту програмного продукту, написаного мовою Java, шляхом шифрування скомпільованого байт-коду програми. Аналіз проблеми захисту виконуваного коду Java. Шифрування виконуваного коду. Тестування програмного засобу.
курсовая работа, добавлен 28.04.2016Оцінка якості програмного коду при реалізації проектів зі створення інформаційних систем. Класифікація метрик програмного коду. Проведення аналогії між внутрішньою будовою проекту і зовнішнім виглядом міста. Приклад візуалізації проекту у CodeCity.
статья, добавлен 28.12.2018Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Розгляд проблеми інформаційного пошуку в мережі Internet та особливості його здійснення сучасними пошуковими системами. Аналіз семантичних технологій, можливість їх застосування для розроблення ефективних систем пошуку даних у глобальній мережі.
статья, добавлен 23.09.2016Специфіка застосування програмного засобу "Statistica" для проведення системного аналізу в політології. Приклади практичного застосування пакету програм. Алгоритм проведення дискримінантного аналізу в рамках системного аналізу політичних явищ та процесів.
статья, добавлен 18.02.2014Визначення терміна "патерн проектування вимог до інформаційної системи". Проведення рефакторингу та вдосконалення організації програмної бази. Створення програмного забезпечення та документування досвіду розробників об’єктно-орієнтованих програм.
статья, добавлен 29.08.2016Розробка, обіг та використання програмної документації в процесі життєвого циклу програмного забезпечення. Особливості проектування, тестування та супроводу програмного забезпечення. Вивчення моделей та технологій розробки програмного забезпечення.
курсовая работа, добавлен 27.06.2015Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Дослідження еволюції інформаційних технологій Генеалогічного товариства ЮТА. Вивчення досвіду створення, зберігання і використання цифрових архівів. Розроблення прикладного програмного забезпечення та інформаційних технологій у сфері генеалогії.
статья, добавлен 12.09.2023Створення програмного забезпечення навчального освітнього процесу. Використання базових кваліметричних моделей для аналізу діяльності учнів, учителів, адміністрації, навчального закладу. Комп'ютеризація навчального процесу та виховної роботи закладу.
статья, добавлен 17.09.2017Обчислення коефіцієнтів математичних моделей. Розробка програмного коду автоматизованого аналізу (у діалоговому режимі) динамічних характеристик математичної моделі заданої системи. Команди визначення передатних функцій послідовних, паралельних з'єднань.
лабораторная работа, добавлен 25.06.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Розробка комп’ютерного програмного комплексу ієрархічної структури для аналізу кінематичних характеристик плоских важільних механізмів. Вивчення необхідності кінематичного і динамічного аналізу механізмів. Розгляд коду опису тривимірної моделі механізму.
статья, добавлен 05.02.2019Виявлення поліморфних та метаморфних вірусів. Узагальнена модель поліморфних вірусів, що ґрунтується на основі їх поведінки при інфікуванні файлу. Процес діагностування комп’ютерних систем на наявність поліморфного та метаморфного програмного коду.
статья, добавлен 23.12.2016Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020- 18. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Дослідження засад використання систем управління версіями і пошук інструментарію щодо їх реалізації. Аналіз й обґрунтування вибору програмного середовища Git для організації спільної роботи. Процедура й основні кроки створення робочої версії проекту.
статья, добавлен 30.01.2016Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Розробка компілятора вхідної мови програмування. Опис вхідної мови програмування. Розробка лексичного, синтаксичного аналізаторів та генератора коду. Виявлення лексичних, синтаксичних та семантичних помилок. Перевірка коректності роботи компілятора.
курсовая работа, добавлен 18.09.2020Визначення відповідності результатів тестування програмного забезпечення критичного застосування функційним та нефункційним вимогам за рахунок аналізу результатів тестування нечіткою нейронною мережею. Характеристика процесу й необхідності тестування.
статья, добавлен 30.10.2016Основні принципи побудови самокорегуючого штрихового коду НЕМ-8. Методи максимізації надійності штрихового коду та створення ефективного коду, здатного запобігати неправильному зчитуванню закодованої інформації. Алгоритм знаходження контрольного числа.
статья, добавлен 13.10.2016Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016