Методы тестирования программного обеспечения. Степанченко И.В. - 36 стр.

     является приемлемым для Java (т. е. компилятор заканчивает про-
     верку, как только одно из выражений в операции И окажется лож-
     ным), но это выражение может привести к делению на ноль при ис-
     пользовании компиляторов других языков.
                  2.4.5. Ошибки в передачах управления
      Сводный список вопросов таков:
1.   Может ли значение индекса в переключателе превысить число пере-
     ходов? Например, значение переключателя для оператора select case.
2.   Будет ли завершен каждый цикл?
         Будет ли каждый цикл, в конце концов, завершен? Придумайте
     неформальное доказательство или аргументы, подтверждающие их
     завершение. Хотя иногда бесконечные циклы не являются ошибкой,
     но лучше их избегать.
3.   Будет ли завершена программа? Будет ли программа, метод, модуль
     или подпрограмма в конечном счете завершена?
4.   Существует ли какой-нибудь цикл, который не выполняется из-за
     входных условий?
         Возможно ли, что из-за входных условий цикл никогда не смо-
     жет выполняться? Если это так, то является ли это оплошностью?
5.   Есть ли ошибки отклонения числа итераций от нормы?
         Существуют ли какие-нибудь ошибки «отклонения от нормы»
     (например, слишком большое или слишком малое число итераций)?
                        2.4.6. Ошибки интерфейса
     Сводный список вопросов таков:
1.   Равно ли число входных параметров числу аргументов?
          Равно ли число параметров, получаемых рассматриваемым ме-
     тодом, числу аргументов, ему передаваемых каждым вызывающим
     методом? Правилен ли порядок их следования? Первый тип ошибок
     может обнаруживаться компилятором (но не для каждого языка), а
     вот правильность следования (особенно, если параметры одинаково-
     го типа) является важным моментом.
2.   Соответствуют ли единицы измерения параметров и аргументов?
         Например, нет ли случаев, когда значение параметра выражено в
     градусах, а аргумента – в радианах? Или ошибки связанные с раз-
     мерностью параметра/аргумента (например, вместо тонн передаются
     килограммы).
3.   Не изменяет ли метод аргументы, являющиеся только входными?
4.   Согласуются ли определения глобальных переменных во всех ис-
     пользующих их методах?


                                  38