30. Валидация требований к программному продукту.

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

30. Верификация требований к программному продукту.

Верификация – это подтверждение соответствия конечного продукта предопределённым эталонным требованиям;

30. Оптимизация программного продукта.

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

30. Что такое отладка программного продукта. Методы отладки программного продукта.

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

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

Для отладки программ обычно применяют три способа:

Пошаговая отладка программ с заходом в подпрограммы;

Пошаговая отладка программ с выполнением подпрограммы как одного оператора;

Выполнение программы до точки останова.

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

Если в программе имеются уже отлаженные подпрограммы, то подпрограмму можно рассматривать, как один оператор программы и воспользоваться вторым способом отладки программ.

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

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

30. Виды ошибок. Обнаружение ошибок.

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

СИНТАКСИЧЕСКИЕ ОШИБКИ

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

Синтаксические ошибки возникают из-за опечаток или по недосмотру. Способ исправления синтаксической ошибки чаще всего очевиден.

ЛОГИЧЕСКИЕ ОШИБКИ

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