Доклад посвящен вопросам верификации и валидации прикладного программного обеспечения (ППО) автоматизированных систем организационного управления. Главная цель процесса верификации и валидации - путем всестороннего анализа и тестирования ППО в процессе разработки определить, что ППО корректно выполняет требуемые функции и не выполняет никаких непредусмотренных функций, а также получить информацию о его качестве и надежности.

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

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

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

Рассмотрены вопросы улучшения процесса тестирования программного обеспечения (ПО), одного из наиболее трудоемких и дорогостоящих процессов разработки. Предложена модель зрелости процесса тестирования, дополняющая модель технологической зрелости организаций-разработчиков ПО (СММ-модель).

Представлен метод функционального тестирования программного обеспечения (ПО), основанный на разбиении входного пространства функций на категории эквивалентности данных. Определена технология практического применения метода, позволяющая систематизировать процесс тестирования и повысить его эффективность. Метод апробирован при тестировании ПО информационно-расчетного типа в составе автоматизированной системы (АС).

Раскрыта сущность основных понятий в области качества программных систем. Рассмотрены процессы жизненного цикла (ЖЦ), связанные с обеспечением качества - процессы валидации, текстирования, измерения, управления риском, обеспечения гарантии качества и его управлением. На основании обобщения материалов (отчетов, публикаций) зарубежных организаций - лидеров в области исследования вопросов инженерии качества - SEI, ISO, IEEE, NIST предложены методы, используемые при выполнении данных процессов. Приведены методологии GQM, FRA, COCOMO II, CMM. Предложен подход к тестированию с учетом риска отказа программного продукта и риска срыва проекта. Рассмотрено тестирование как интегрированный процесс, действующий на всех стадиях ЖЦ программных систем (ПС). Проанализированы особенности расчета трудоемкости и затрат на разработку ПС по одной из самых известных моделей - трехуровневой модели СОСОМО ІІ.

Обоснована парадигма качественных показателей (КП) в программной инженерии. Предложена классификация парадигм и стилей программирования. Раскрыта сущность основных понятий в области КП, в частности, инфраструктуры разработки, инженерии процессов разработки, интеграции процессов жизненного цикла. Рассмотрены процессы жизненного цикла, связанные с обеспечением качественных показателей, в частности, верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии КП, управления КП. Приведены методы, используемые при выполнении данных процессов. Освещены методологии GQM, FPA, COCOMO II, CMM. Изложены вопросы тестирования программных систем, сертификации систем менеджмента КП.

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

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

Рассмотрены проблемы тестирования информационных систем на примере анализа трех проектов. Представлены существующие модели оценивания процессов. Предложен подход к определению процесса тестирования информационных систем, основанный на анализе риска. Разработана модель процесса и его интеграция с процессами жизненного цикла. Предложен инструмент поддержки тестирования.

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

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

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

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

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

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

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