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

быть целыми положительными числами, и сумма любых двух из них
должна быть больше третьего. Если определены эквивалентные разбиения,
то целесообразно определить одно разбиение, в котором это условие вы-
полняется, и другое, в котором сумма двух целых не больше третьего. Сле-
довательно, двумя возможными тестами являются 3–4–5 и 1–2–4. Тем не
менее, здесь есть вероятность пропуска ошибки. Иными словами, если вы-
ражение в программе было закодировано как А + В ≥ С вместо А + В > С,
то программа ошибочно сообщала бы нам, что числа 1–2–3 представляют
правильный равносторонний треугольник. Таким образом, существенное
различие между анализом граничных значений и эквивалентным разбие-
нием заключается в том, что анализ граничных значений исследует си-
туации, возникающие на и вблизи границ эквивалентных разбиений.
     В качестве примера применения метода анализа граничных значений
рассмотрим следующую спецификацию программы [1].
     Пусть имеется программа или модуль, которая сортирует различную
информацию об экзаменах. Входом программы является файл, названный
results.txt, который содержит 80-символьные записи. Первая запись пред-
ставляет название; ее содержание используется как заголовок каждого
выходного отчета. Следующее множество записей описывает правильные
ответы на экзамене. Каждая запись этого множества содержит «2» в ка-
честве последнего символа. В первой записи в колонках 1–3 задается
число ответов (оно принимает значения от 1 до 999). Колонки 10–59
включают сведения о правильных ответах на вопросы с номерами 1–50
(любой символ воспринимается как ответ). Последующие записи содер-
жат в колонках 10–59 сведения о правильных ответах на вопросы с номе-
рами 51–100, 101–150 и т. д. Третье множество записей описывает ответы
каждого студента; любая запись этого набора имеет число «3» в восьми-
десятой колонке. Для каждого студента первая запись в колонках 1–9 со-
держит его имя или номер (любые символы); в колонках 10–59 помещены
сведения о результатах ответов студентов на вопросы с номерами 1–50.
Если в тесте предусмотрено более чем 50 вопросов, то последующие за-
писи для студента описывают ответы 51–100, 101–150 и т. д. в колонках
10–59. Максимальное число студентов – 200. Форматы входных записей
показаны на рис. 6.
     Выходными записями являются:
1) отчет, упорядоченный в лексикографическом порядке идентификато-
    ров студентов и показывающий качество ответов каждого студента
    (процент правильных ответов) и его ранг;
2) аналогичный отчет, но упорядоченный по качеству;
3) отчет, показывающий среднее значение, математическое ожидание
    (медиану) и дисперсию (среднеквадратическое отклонение) качества
    ответов;
                                  54