Скачати повний текст

Визначено різноманітні аспекти ефективності програмних систем (ПС) та побудовано її формальну концептуальну модель. На підставі аналізу технологічних процесів проектування створено мультиграфову модель технологічного процесу розробки ПС. Запропоновано новий автоматизований спосіб застосування технологічних схем розробки засобів програмного забезпечення. З застосуванням метамодельного підходу щодо підвищення ефективності ПС досліджено клас гібридних дискретно-безперервних систем управління, що дозволяє спростити проектування таких систем та зменшити їх собівартість. Розроблено методичні основи проектування мовних засобів метамодельних методів розробки спеціалізованих ПС, а також метод метасистемної інтеграції алгоритмів, який дозволяє створювати нові системи алгоритмів, що підвищує надійність та функціональну придатність ПС у процесі їх експлуатації. На основі метамодельного підходу одержано числові оцінки ефективності різних методів розробки. Удосконалено технічні прийоми застосування шаблонів проектування й аспектно-орієнтованого програмування для підвищення ефективності супроводу й експлуатації ПС.

  Скачати повний текст

Розроблено нові засоби захисту програм від динамічного та статичного аналізу для підвищення ефективності протидії засобам аналізу потенційного зловмисника шляхом підвищення ступеня контролю за інформаційними потоками в операційному середовищі та практичній реалізації. Впроваджено розроблені програмні засоби, оцінено їх ефективність. Розроблено модель систем захисту програм від статичного та динамічного аналізу прихованого сканування, яка може бути використана для одержання кількісного оцінювання ефективності засобів протидії дослідженню програм. Наведено детермінований метод протидії засобам динамічного та статичного аналізу програм. Визначено подальший розвиток програмних засобів захисту прикладного програмного забезпечення в операційній системі Windows від прихованого сканування, яке дозволяє розробити нові засоби захису програмного забезпечення від сканування.

  Скачати повний текст

Запропоновано метод моніторингу, сутність якого полягає у спостереженні за зміною параметрів дефектів проектування у часі. Метод реалізується шляхом використання запропонованої метамоделі історії дефектів проектування (DDHM - Design Flaws History Meta-Model) об'єктно-орієнтованого програмного забезпечення та багатоаспектної візуалізації дефектів проектування елементів конструкції різного рівня абстракції. Розроблено архітектуру засобу, який забезпечує реалізацію запропонованого методу, та перевірено його працездатність.

  Скачати повний текст

Запропоновано метод проектування вимог якості до програмних систем на основі формалізованих моделей якості стандарту ISO/IEC 25010, що забезпечує уніфіковане їх представлення на кожній стадії життєвого циклу. Розроблено метод комунікації вимог якості на основі методології QFD, що дозволяє встановити залежності між вимогами якості на стадіях життєвого циклу. Запропоновано метод контролю й управління якістю програмних систем на стадіях життєвого циклу, сутність якого полягає у проведенні процедур валідації, верифікації та корекції каскадно розроблених вимог якості на кожному етапі проектування. Побудовано технологію оцінювання якості програмних систем, яка базується на теоретично обгрунтованих процесах проектування та реалізації загального процесу оцінювання якості та реалізується шляхом прямого використання вимог, розроблених на основі запропонованих методів. Розроблено програмний комплекс підтримки запропонованих методів і технології.

  Скачати повний текст

Розроблено моделі оцінки та засоби підвищення надійності програмного забезпечення (ПЗ) протягом усього життєвого циклу з урахуванням сучасних тенденцій щодо його розробки та тестування. Запропоновано узагальнену модель оцінки якості ПЗ на базі негомогенного пуасонівського процесу та обчислено її параметри. Відзначено, що функція інтенсивності виявлення несправностей запропонованої моделі враховує процеси навчання та відображає процес проведення тестування. Експериментальним шляхом доведено її працездатність та переваги у порівнянні з попердньо існуючими моделями оцінки надійності. Розроблено нові критерії та метрики інтеграційного тестування ПЗ з урахуванням новітніх тенденцій щодо компонентно-базового програмування та з використанням діаграм UML. Показано, що дані критерії дають можливість розробити плани проведення тестування на ранніх етапах створення ПЗ та дозволяють одержати перелік об'єктів і подій, які необхідно протестувати для кожного із запропонованих критеріїв. Відзначено, що даний процес легко автоматизується, що є необхідною складовою загального процесу автоматизації тестування, а також обов'язковим компонентом під час перевірки якості спроектованого тесту.

  Скачати повний текст

Запропоновано метод комплексної оцінки якості та надійності програмного забезпечення (ПЗ), який базується на спільному використанні та комплексуванні результатів метричного та модельного оцінювання та дозволяє забезпечити необхідну повноту та достовірність результатів оцінювання. Розроблено метод оцінки якості ПЗ з використанням систематизованої множини метрик, що дозволяє визначити модель метричної оцінки якості ПЗ, одержати скалярну оцінку або знизити розмірність векторних оцінок, а також проаналізувати достовірність метричної оцінки ПЗ. Створено метод оцінки надійності ПЗ, що дає можливість здійснювати спрямований вибір та верифікацію ймовірнісних моделей надійності на основі формалізованого аналізу допущень про процеси та продукти розробки. Зазначено, що запропоновані методи та інструментальні засоби дозволяють підвищити повноту та достовірність оцінки характеристик якості та надійності, а також перевірки вимог щодо ПЗ з урахуванням можливих обмежень на часові та матеріальні ресурси та зменшити частку ручних операцій у процесі оцінки ПЗ.

  Скачати повний текст

Удосконалено математичну модель оптимального розподілу надійності за модулями ієрархічної структури системи обробки даних з урахуванням їх незалежності, а також установлених за допомогою методу аналізу ієрархій взаємозв'язків оцінок внеску різних компонентів цієї структури у забезпечення необхідної якості програмних систем (ПС). Запропоновано модель і метод раннього прогнозування досяжності цільового рівня надійності кожного з компонентів ПС, які враховують вплив на якість не лише його конструктивних особливостей, але й умов розробки та функціонування. Розроблено оригінальний програмний комплекс для реалізації створених моделей і методів інженерії якості, який функціонально відрізняється від відомих інструментів.

  Скачати повний текст

Створено математичний апарат підтримки експертного оцінювання об'єктів життєвого циклу (ЖЦ) програмних систем (ПС ) з метою обгрунтування рішень з ефективного управління перебігом ЖЦ. Запропоновано систему моделей і методів розв'язання формалізованих задач оцінювання об'єктів ЖЦ шляхом проведення їх експертиз, взаємопов'язаних у новому процесі оцінювання, створеного для поповнення ЖЦ. Побудовано модель процесу як системи підпроцесів в оцінюванні заданих альтернатив, а також середовище та методи їх реалізації з використанням введеного відношення метризованої подібності. Досліджено властивості даного відношення, а також гомо- й ізоморфізми алгебричних моделей з ним у середовищі оцінювання. Розроблено повну й ненадлишкову систему методів підтримки підпроцесу оцінювання: інтерактивного формування середовища оцінювання та пошуку в ньому; максимізації якості результату експертизи (для визначення якої введено показники його стійкості й обгрунтованості) з використанням моделі переваг класу "Аргументоване дерево цінності"; формального аналізу ретроспективи експертиз. За допомогою розробленого математичного апарату створено модель процесу управління ризиком і реалізовано програмні засоби його підтримки разом з підпроцесами оцінювання, які впроваджено у проекти інформаційно-аналітичних систем оборонного призначення в організації-розробнику, в яких не передбачено формалізоване управління ризиком. Удосконалено процес розробки ПС: скорочено кількість первинних і досягнуто зниження індикаторів відстежуваних ризиків, забезпечено позитивну динаміку їх співвідношення.

  Скачати повний текст

Одержано моделі опису та перетворення фасетно-ієрархічних структур, які базуються на їх матрично-множинному представленні та передбачає використання операцій об'єднання та розбиття, що дозволяє формалізувати процес профілювання вимог і дефектів для оцінки якості програмного забезпечення. Удосконалено метод його профілювання за рахунок введеної формалізації операцій перетворення та верифікації фасетно-ієрархічних структур, які описують відповідні профілі. Це дозволяє забезпечити повноту оцінки й автоматизувати процес одержання профілю вимог і дефектів програмного забезпечення. Удосконалено метод оцінки верифікації такого забезпечення з використанням засіву дефектів на підставі розробки процедур формування й аналізу розходження профілів дефектів, що дозволяє підвищити повноту оцінки програмного забезпечення.

  Скачати повний текст

Розроблено метод математичного опису станів відмовостійких комп'ютерних систем, що передбачає врахування дискретної зміни одного або декількох параметрів та дозволяє одержувати адаптивні макромоделі, які складаються з комплексів фрагментів, що повторюються. Наведені моделі дозволяють зменшувати витрати часу на їх розробку за рахунок спрямованого вибору залежно від варіантів зміни параметрів потоків відмов і відновлень програмних засобів. Розвинуто марковські моделі надійності відмовостійких комп'ютерних систем, які базуються на їх багатофрагментному представленні та враховують зміну інтенсивностей відмов і відновлень програмних засобів, що дає змогу підвищити точність моделювання та оцінювання показників надійності. Запропоновано експоненціальний метод числового розв'язання жорстких систем диференціальних рівнянь Колмогорова, який передбачає застосування процедури обчислення кроку інтеграції залежно від максимального значення елемента матриці коефіцієнтів і вибраної константи, що дозволяє зменшити витрати машинного часу під час розрахунку показників надійності відмовостійких комп'ютерних систем. Запропоновані методи реалізовано як розрахункові моделі, інженерні методи, алгоритми оцінювання надійності, які є інструментарієм інформаційної технології моделювання й оцінювання надійності (готовності) відмовостійких комп'ютерних систем з урахуванням зміни параметрів потоків відмов і відновлень програмних засобів.

  Скачати повний текст