Cтраница 4
Однако стратегия поиска, которая предоставлена программисту, является источником ограничений. Мы установили, что она не определяла то поведение программы, которое было необходимо. Этот пример показывает, что стратегия поиска является и помощью, и препятствием в разработке программы. [46]
Исходные данные для обоих типов отладки следует готовить весьма тщательно, стремясь составить их так, чтобы возможные ошибки могли быть четко выявлены. Иногда полезно вводить намеренно искаженные данные для проверки поведения программы в подобных случаях. [47]
Проверка программы, осуществляемая в ходе рабочего прогона с целью убедиться, работает ли программа так, как требуется. Программа выполняется с испытательными данными, а затем анализируется поведение программы в ответ на эти испытательные данные. [48]
Фельдман рассматривает три возможных подхода к таким случаям. Первый основан на простом подсчете различий между протоколом поведения субъекта и поведением программы. [49]
Если при копировании файлов на целевом диске не хватит места, то поведение программы зависит от того, съемный этот диск или нет. [50]