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

1.  Назначение каждому классу эквивалентности уникального номера.
2.  Проектирование новых тестов, каждый из которых покрывает как
    можно большее число непокрытых правильных классов эквивалент-
    ности, до тех пор пока все правильные классы эквивалентности не
    будут покрыты (только не общими) тестами.
3. Запись тестов, каждый из которых покрывает один и только один из
    непокрытых неправильных классов эквивалентности, до тех пор, пока
    все неправильные классы эквивалентности не будут покрыты тестами.
    Причина покрытия неправильных классов эквивалентности индиви-
дуальными тестами состоит в том, что определенные проверки с оши-
бочными входами скрывают или заменяют другие проверки с ошибоч-
ными входами. Например, спецификация устанавливает «тип книги при
поиске (ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА, ПРОГРАММИРОВАНИЕ или
ОБЩИЙ) и количество (1-999)». Тогда тест
                                  XYZ 0
отображает два ошибочных условия (неправильный тип книги и количе-
ство) и, вероятно, не будет осуществлять проверку количества, так как
программа может ответить: «XYZ – несуществующий тип книги» и не
проверять остальную часть входных данных.
     3.2.1.3. Пример
     Предположим, что при разработке интерпретатора для подмножест-
ва языка Бейсик требуется протестировать синтаксическую проверку
оператора DIM [1]. Спецификация приведена ниже. (Этот оператор не
является полным оператором DIM Бейсика; спецификация была значи-
тельно сокращена, что позволило сделать ее «учебным примером». Не
следует думать, что тестирование реальных программ так же легко, как в
этом примере.) В спецификации элементы, написанные латинскими бук-
вами, обозначают синтаксические единицы, которые в реальных операто-
рах должны быть заменены соответствующими значениями, в квадрат-
ные скобки заключены необязательные элементы, многоточие показыва-
ет, что предшествующий ему элемент может быть повторен подряд не-
сколько раз.
     Оператор DIM используется для определения массивов, форма опе-
ратора DIM:
                               DIM ad[,ad]…,
где ad есть описатель массива в форме
                                  n(d[,d]...),
п – символическое имя массива, а d – индекс массива. Символические
имена могут содержать от одного до шести символов – букв или цифр,
причем первой должна быть буква. Допускается от одного до семи ин-
дексов. Форма индекса
                                  [lb : ] иb,
                                 50