Висвітлено основні положення щодо захисту програмного забезпечення від копіювання, статичних і динамічних методів дослідження. Наведено основні відомості про роботу налагоджувального пристрою Soft-Ice. Проаналізовано його можливості щодо зламування програм. Висвітлено загальний підхід до пошуку захисних механізмів за допомогою налагоджувальних пристроїв.

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

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

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

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

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

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

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

The theoretic and information aspects of building the computer oriented lexicographic card-file on the base of a text database and other sources of text data located in arbitrary medium are discussed. The medium can be paper, electronics, telex, facsimile, etc. The directions of implementation the input, analyses, processing and storage subsystems are discussed.

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

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

Рассмотрены проекты Государственных стандартов Украины на украинский алфавит в составе репертуара символов кириллицы с восьми битной однобайтной кодовой таблицей согласно ISO/IEC 8859-5 и кодовой таблицей кириллицы из репертуара USC-символов для двухбайтного кодирования согласно ISO/IEC 10646-1. Разработанные ДСТУ - базовые стандарты, на которых основано большинство других стандартов, регламентирующих нормы и правила функционирования мобильного интерфейса в открытых системах, а также механизм и правила сертификации и тестирования программной продукции.

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

Приведен краткий обзор использования формальных методов в области спецификации и верификации, где основное внимание уделено методам проверки на модели (model checking) и доказателей теорем (theorem proving). Обсуждены другие возможные направления и фундаментальные концепции в области интеграции различных методов, технологические и технические трудности при применении формальных методов.

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

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

Представлено інтелектуальну систему визначення необхідності повторного тестування програмного забезпечення, яка надає прогноз наявності прихованих помилок у програмному забезпеченні після проходження основного тестування, а також визначає необхідність повторного тестування прикладної програми. Наведено результати роботи запропонованої системи.

Предложены формулы для расчета метрик надежности ПО, определенных стандартом ISO/IEC 9126, с использованием обобщенной функции Харрингтона-Менчера. Данная статья является развитием и продолжением статьи "Количественная оценка некоторых характеристик надежности программного обеспечения", опубликованной в журнале "Радиоэлектронные и компьютерные системы" N 7 за 2006 год.

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

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