🟧 Компьютерная экспертиза ПО на соответствие договору

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

Настоящая статья, подготовленная специалистами Автономной некоммерческой организации «Центр инженерных экспертиз», представляет собой системное изложение инженерно-технических аспектов проведения экспертизы программного обеспечения на предмет его соответствия условиям договора. В работе рассматриваются методологические основания исследования, инженерные методы анализа программных продуктов, typология исследуемых характеристик, требования к составу исходных данных, а также практические аспекты документирования результатов исследования. Особое внимание уделяется инженерным подходам к верификации функциональных требований, оценке производительности, анализу качества кода и выявлению дефектов программного обеспечения.

Раздел 1. Инженерная постановка задачи исследования соответствия программного обеспечения условиям договора

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

1. Формализация требований как основа инженерного исследования

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

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

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

2. Объекты инженерного исследования

При проведении компьютерная экспертиза ПО на соответствие договору объектами исследования выступают:

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

Раздел 2. Инженерные методы анализа программного обеспечения

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

1. Статический анализ исходного кода

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

В рамках статического анализа применяются следующие инженерные техники:

Структурно-топологический анализ архитектуры. Исследуется модульная структура программы, связи между модулями, иерархия вызовов, потоки данных. Для анализа используются средства построения графов вызовов, диаграмм классов (для объектно-ориентированных языков), диаграмм компонентов. Выявляются нарушения модульности, излишняя связанность модулей, наличие циклических зависимостей, которые могут свидетельствовать о недостатках проектирования.
Метрический анализ качества кода. Вычисляются метрики сложности программного кода, позволяющие оценить его качество и потенциальную подверженность ошибкам. К числу наиболее информативных метрик относятся:
Цикломатическая сложность Маккейба, характеризующая количество линейно независимых путей выполнения программы и сложность ее тестирования.
Глубина вложенности управляющих конструкций, влияющая на читаемость и поддерживаемость кода.
Связность модулей (cohesion) и сцепление модулей (coupling), характеризующие степень модульности архитектуры.
Объем кода, количество строк, количество функций, классов, методов.
Плотность комментариев, характеризующая документированность кода.
Выявление паттернов проектирования и антипаттернов. Анализируется использование типовых архитектурных решений (паттернов проектирования), а также наличие антипаттернов — типичных ошибочных решений, ухудшающих качество программного обеспечения.
Анализ соблюдения стандартов кодирования. Проверяется соответствие стиля кодирования требованиям, установленным в договоре или обычно применяемым в отрасли стандартам. Оценивается единообразие именования переменных, функций, классов, форматирование кода, использование отступов, комментариев.
Поиск потенциальных уязвимостей и дефектов. С использованием специализированных анализаторов кода выявляются потенциальные проблемы: переполнение буфера, неинициализированные переменные, утечки памяти, некорректная обработка исключений, потенциальные состояния гонки (race conditions), проблемы синхронизации.

2. Динамический анализ и функциональное тестирование

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

В рамках динамического анализа применяются следующие инженерные техники:

Функциональное тестирование методом черного ящика. Программа рассматривается как объект, внутреннее устройство которого неизвестно, и тестирование проводится путем подачи на вход различных наборов данных и анализа выходных результатов. Для каждого функционального требования, зафиксированного в техническом задании, разрабатываются тестовые сценарии, охватывающие:
Основной функционал (happy path) — нормальные условия работы.
Граничные условия — минимальные и максимальные значения входных данных.
Исключительные ситуации — некорректные входные данные, отсутствие данных, превышение допустимых значений.
Нагрузочные режимы — работа при повышенной нагрузке.
Функциональное тестирование методом белого ящика. При наличии исходного кода тестирование проводится с учетом знания внутренней структуры программы. Разрабатываются тестовые сценарии, обеспечивающие покрытие различных путей выполнения, ветвлений, циклов. Оценивается полнота покрытия кода тестами (code coverage).
Регрессионное тестирование. Проводится при наличии нескольких версий программы для проверки того, что внесенные изменения не нарушили ранее работавшую функциональность.
Интеграционное тестирование. Проверяется взаимодействие между различными модулями программы, корректность обмена данными, соблюдение протоколов взаимодействия.

3. Нагрузочное тестирование и анализ производительности

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

Нагрузочное тестирование включает:

Разработку профиля нагрузки. Определяется typовая нагрузка на систему, соответствующая условиям эксплуатации, описанным в техническом задании: количество одновременно работающих пользователей, частота выполнения операций, объемы передаваемых данных.
Генерацию нагрузки. С использованием специализированных инструментов создается нагрузка, имитирующая работу реальных пользователей. Нагрузка может быть постоянной, циклической, ступенчато возрастающей.
Измерение показателей производительности. В процессе тестирования измеряются:
Время отклика системы (response time) — интервал между отправкой запроса и получением ответа.
Пропускная способность (throughput) — количество операций, выполняемых системой в единицу времени.
Задержки (latency) — время обработки запроса системой.
Утилизация ресурсов — загрузка процессора, использование оперативной памяти, дисковый ввод-вывод, сетевая активность.
Анализ результатов. Полученные показатели сравниваются с требованиями, установленными в договоре. При выявлении несоответствий проводится дополнительный анализ для определения причин: недостаточная мощность аппаратного обеспечения, неоптимальные алгоритмы, узкие места в архитектуре, ошибки конфигурации.

4. Анализ надежности и отказоустойчивости

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

Анализ надежности включает:

Тестирование восстановления после сбоев (recovery testing). Моделируются различные сбои: отключение питания, обрыв связи с базой данных, сбой сетевого соединения, аварийное завершение процесса. Проверяется способность программы корректно восстанавливаться после сбоев, сохранять целостность данных, возобновлять нормальную работу.
Тестирование устойчивости (stability testing). Программа работает под нагрузкой в течение длительного времени (сутки, неделя). Контролируется отсутствие деградации производительности, утечек памяти, накопления ошибок.
Тестирование отказоустойчивости (fault tolerance testing). Проверяется работа механизмов резервирования, дублирования, автоматического переключения на резервные компоненты.

5. Анализ информационной безопасности

При наличии в договоре требований к информационной безопасности проводится исследование защищенности программного обеспечения.

Анализ безопасности включает:

Анализ модели угроз. На основе функциональности программы и условий ее эксплуатации определяются возможные угрозы безопасности и оценивается, насколько реализованные механизмы защиты соответствуют этим угрозам.
Тестирование механизмов аутентификации. Проверяется надежность парольной защиты, корректность хранения учетных данных, защита от подбора паролей, работа механизмов блокировки при неоднократных неудачных попытках входа.
Тестирование механизмов авторизации. Проверяется корректность разграничения прав доступа для различных категорий пользователей, отсутствие возможности несанкционированного доступа к функциям и данным.
Анализ защиты данных при передаче. Проверяется использование шифрования при передаче данных по сети, защита от перехвата и модификации.
Анализ защиты данных при хранении. Проверяется шифрование конфиденциальных данных, хранящихся в базе данных или файловой системе.
Поиск уязвимостей. С использованием специализированных сканеров безопасности и методов ручного анализа выявляются typовые уязвимости: внедрение кода (code injection), межсайтовый скриптинг (cross-site scripting), подделка межсайтовых запросов (cross-site request forgery), выход за пределы выделенной памяти (buffer overflow).

6. Анализ пользовательского интерфейса и эргономики

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

Анализ интерфейса включает:

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

Раздел 3. Инженерные методы анализа соответствия исходного кода требованиям договора

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

1. Анализ реализации функциональных требований на уровне кода

Для каждого функционального требования, зафиксированного в техническом задании, проводится анализ его реализации в исходном коде:

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

2. Анализ архитектуры и качества кода

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

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

3. Выявление дефектов и ошибок

При анализе исходного кода выявляются различные категории дефектов:

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

Раздел 4. Анализ эксплуатационной документации

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

1. Проверка состава документации

Устанавливается, все ли документы, предусмотренные договором и техническим заданием, представлены заказчиком. К typовым документам относятся:

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

2. Проверка содержания документации

Для каждого представленного документа оценивается:

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

Раздел 5. Документирование результатов инженерного исследования

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

1. Структура технического заключения

Техническое заключение должно содержать следующие разделы:

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

2. Требования к документированию результатов

При документировании результатов инженерного исследования должны соблюдаться следующие требования:

Воспроизводимость. Описание методов и условий исследования должно быть достаточным для того, чтобы другой специалист мог повторить исследование и получить сопоставимые результаты.
Измеримость. Все выводы, по возможности, должны быть основаны на количественных измерениях, а не на субъективных оценках.
Наглядность. Результаты должны быть представлены в форме, удобной для восприятия: таблицы, графики, диаграммы, скриншоты с пояснениями.
Полнота. Должны быть отражены все проведенные исследования, все выявленные факты, как подтверждающие соответствие, так и свидетельствующие о несоответствиях.
Обоснованность. Каждый вывод должен быть обоснован ссылками на результаты исследований, нормативные документы, стандарты.

Раздел 6. Типовые инженерные задачи, решаемые при экспертизе на соответствие договору

В зависимости от характера спора и конкретных обстоятельств дела перед экспертами могут ставиться различные инженерные задачи.

1. Задача верификации функциональных требований

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

Инженерный подход к решению задачи включает:

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

2. Задача выявления и классификации дефектов

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

Инженерный подход включает:

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

3. Задача оценки производительности

Требуется установить, соответствует ли производительность программного обеспечения требованиям технического задания.

Инженерный подход включает:

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

4. Задача анализа архитектуры и качества кода

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

Инженерный подход включает:

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

5. Задача оценки трудозатрат на устранение недостатков

Требуется определить объем и стоимость работ, необходимых для устранения выявленных недостатков и приведения программного обеспечения в соответствие с требованиями договора.

Инженерный подход включает:

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

Раздел 7. Инструментальное обеспечение экспертного исследования

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

1. Средства статического анализа кода

Для статического анализа исходного кода используются специализированные инструменты, позволяющие:

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

К числу распространенных инструментов статического анализа относятся анализаторы для различных языков программирования: для языков семейства C — средства, проверяющие корректность работы с памятью; для Java — анализаторы, выявляющие потенциальные проблемы многопоточности; для языков с динамической типизацией — средства, проверяющие соответствие типов.

2. Средства динамического анализа и тестирования

Для динамического анализа и функционального тестирования используются:

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

3. Средства нагрузочного тестирования

Для нагрузочного тестирования используются специализированные инструменты, позволяющие:

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

4. Средства анализа безопасности

Для анализа информационной безопасности используются:

Сканеры безопасности, автоматически выявляющие известные уязвимости.
Инструменты для тестирования на проникновение, позволяющие моделировать действия злоумышленника.
Анализаторы защищенности веб-приложений, проверяющие наличие typовых уязвимостей.

5. Средства документирования результатов

Для документирования результатов исследований используются:

Средства ведения протоколов тестирования.
Средства построения графиков и диаграмм.
Средства формирования отчетов.

Раздел 8. Организация и планирование экспертного исследования

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

1. Этапы экспертного исследования

Типовой план экспертного исследования включает следующие этапы:

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

2. Требования к квалификации экспертов

Проведение экспертного исследования требует участия специалистов различного профиля:

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

Раздел 9. Инженерные аспекты оценки результатов экспертизы

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

1. Учет условий эксплуатации

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

2. Разграничение программных и аппаратных проблем

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

3. Оценка воспроизводимости дефектов

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

4. Анализ причинно-следственных связей

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

Раздел 10. Практические аспекты подготовки материалов для экспертного исследования

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

1. Состав исходных данных

Для проведения полноценного инженерного исследования необходимо предоставить:

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

2. Требования к представлению исходного кода

Исходный код должен быть представлен в форме, обеспечивающей возможность его анализа:

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

Заключение

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

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

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