Функции средств отладки

Обнаружение ошибки и диагностика неисправности

Ошибки, неисправности, дефекты

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

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

Неисправности внесенные (субъективные) -- конкректные проявления недостатков программного/аппаратного обеспечения и неправльных действий оператора.

Субъективные неисправности отличаются от физических тем, что первые после обнаружения, локализации и коррекции больше не возникают.

Ошибка -- проявление неисправности, физической или субъективной.

В зависимости от уровня рассмотрения термин "ошибка" может иметь различный смысл.

Например, для дискретного устройства этот термин означает появление неверных двоичных сигналов ("1"->"0" или "0"->"1"), а для программы ошибка означает отклонение ее поведения от заданного, приводящее к выдаче неверных результатов.

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

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

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

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

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

Иногда под отладкой понимают обнаружение, локализацию и устранение неисправностей.

Эти средства должны:

управлять поведением системы или(и) ее модели на различных уровнях абстрактного представления;

собирать информацию о поведением системы или(и) ее модели, обрабатывать и представлять эту информацию на различных уровнях абстракции;

преобразовывать системы, придавать им свойства контроля пригодности (управляемости, наблюдаемости, предсказуемости);

моделировать поведение внешней среды проектируемой системы и ее составных частей.

Под управлением поведением системы (ее модели) понимается определение и подача входных воздействий для запуска или останова системы/модели, для их перевода в конкретное состояние.

Дата добавления: 2014-12-16