Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування - Автореферат
Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
Аннотация к работе
Дисертацією є рукопис. Робота виконана в Національному аерокосмічному університеті імені М.Є. Жуковського “Харківський авіаційний інститут”, Міністерство освіти і науки України. Науковими результатами є: метод формування профілів багатоверсійного ПЗ, який дозволяє автоматизувати процес визначення множини вимог для розробки та верифікації ПЗ; модель життєвого циклу багатоверсійного ПЗ, яка враховує види диверсності, кількість версій на кожному етапі; метод оцінки надійності багатоверсійного ПЗ, який за рахунок використання спеціальних метрик дозволяє розраховувати показники надійності на різних етапах життєвого циклу; метод розробки багатоверсійного ПЗ, що базується на поетапному виборі багатоверсійної технології і дозволяє скоротити витрати на розробку при забезпеченні необхідного рівня надійності.Проведено аналіз процесів, що впливають на формування множини дефектів програмного продукту і розроблена модель внесення і розповсюдження дефектів по етапах ЖЦ. Модель процесів внесення і розповсюдження дефектів, що є частиною методу оцінки багатоверсійного ПЗ, дозволяє аналізувати вплив дефектів окремих етапів на якість кінцевого продукту через показники кількості дефектів. Перетин множин дефектів версій, що розробляються незалежно в рамках ЖЦ БВПЗ, утворює наступні підмножини: відносні ( - дефекти, специфічні для версії , тобто дефекти, що виявляються на певному наборі вхідних даних тільки в одній версії);. Вибір метрик диверсності для оцінки різноманітності версій і розрахунку показників надійності проводиться залежно від доступності початкових даних, кількості версій і архітектури ІУС, в якій використовується БВПЗ.