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

Описано зміст дисципліни "Метричні характеристики програмного забезпечення", розглянуто основні завдання вимірів програмного забезпечення, класи об'єктів вимірів, їх властивості, поняття програмних метрик.

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

Определены предметы и цели тестирования вычислительных алгоритмов - программ, описан метод тестирования и указаны характерные ситуации использования результатов тестирования.

Стаття присвячена хибному відтворенню існуючим програмним забезпеченням персональних комп'ютерів повної поточної дати на зламі тисячоліть, так званій "Проблемі 2000". Наведені приклади масштабів втрат користувачів комп'ютерів, які вимірюються міліардами доларів. Автор пропонує низку заходів щодо запобігання можливих конфліктів у програмному забезпеченні в Україні, які потрібно вжити до кінця 1999 р.

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

Розглянуто питання надійності і достовірності роботи програмного забезпечення сучасних комп'ютерів. Проаналізовано методики тестування програмних модулів, їх інтеграції у комплекси програмних додатків. Описано ознаки найпоширеніших програмних помилок.

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

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

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

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

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

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

Даная работа посвящена Spyware - программному обеспечению, которое собирает информацию о пользователе, как правило без его ведома или согласия, и затем передает эти данные другим лицам. Таким образом, это по сути в большинстве случаев шпионское программное обеспечение.

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

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

Рассмотрено применение S-R-L показателей для выбора программных и инструментальных средств по критерию временной эффективности. Приведены методика исследования и порядок вычисления статистических S-R-L показателей. Решена задача выбора программных средств в условиях неопределенности относительно их использования.

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

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

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

Отмечено, что анализ надежности программных средств основан на следующих ключевых факторах: сложность вычисления точных операционных профилей; неточности в оценках надежности, вызванные ошибочным определением операционных профилей и неверными модельными предположениями. Для устранения этих опасностей при оценивании надежности программных средств предложены устойчивые к ошибкам подходы с минимальными модельными предположениями и подходы, которые комбинируют данные об отказах с данными о покрытии кода.

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