Как Петя Бейсиков Тоню Соображалкину программировать учил

ПРОВЕРКА ПРАВИЛЬНОСТИ ПРОГРАММЫ

Вот что еще надо сказать об этой программе. Когда она была написана, нужно было ее тестировать — убедиться, что она действительно работает со всеми входными данными. Скажи — какие имена мне надо ввести, чтобы убедиться, что пол определяется, как было задумано.

— Во-первых, надо пройти весь список имен, конкретно указанных в программе, — Валера, Сережа, Слава и другие. Потом… Имя, не входящее в этот список, — оканчивающееся на «а», но не на «ша». Например, Антонина. Потом, конечно, и оканчивающееся на «ша» — Саша. И еще имя, оканчивающееся на «я», — Тоня. Вроде, ничего не забыла.

— Забыла. Имя, оканчивающееся не на «а». Например, Петр. Сколько всего вариантов получится?

— Восемь плюс четыре. Двенадцать. Значит, для тестирования пришлось бы пропустить программу 12 раз.

— Это для тестирования определения пола поздравляемого. Но еще до ввода его имени нужно четыре раза вводить единицу или двойку. Тестируя сложную программу, пришлось бы проверить любую комбинацию из этих четырех чисел — единиц или двоек и двенадцать имен. Так что всего надо было бы пропустить 12.2.2.2.2=192 варианта.

— Ужас!

— Не волнуйся. На сей раз этого не придется делать, так как наша программа очень проста и каждый оператор ветвления достаточно проверить один раз.

— Ты, видимо, хочешь сказать, что достаточно проверить комбинации «ученик» — «Антонина» и «взрослый» — «Антонина», чтобы все считать в порядке, и не проверять варианты «ученик» — «Петр» и «взрослый» — «Петр»?

— Хочу сказать больше: достаточно проверить варианты «ученик» — «Петр» и «взрослый» — «Антонина», то есть можно объединить проверку определения пола и проверку обработки ввода «ученик» — «взрослый», — другими словами, обработки значения переменной U¤. Это значение мало на что в программе влияет — оно участвует только в одном операторе ветвления в строке 520. Если же это значение и введенное имя участвовали бы в разнообразных вычислениях, то нужно было бы пропустить все возможные варианты — два варианта ввода переменной U¤ и двенадцать вариантов ввода имени.

— По-моему, о значении переменной СД можно сказать то же самое. Эта переменная отвечает за то, дорог ли нам поздравляемый или просто уважаем. И эта переменная тоже используется только один раз — там, где из массива выбираются слова «дорогой» или «уважаемый» в нужном грамматическом роде. Если программа правильно выберет слово для Антонины, то и для Тони тоже.

— И опять, если бы это значение участвовало в каких-нибудь сложных расчетах, то пришлось бы проверить все возможные варианты.

— Очевидно, и о переменной ТД, которая содержит нужное обращение, можно сказать то же самое. И в еще большей степени это можно сказать о переменной F¤, отвечающей за вывод на экран или бумагу. Если один раз запрашивали вывод на бумагу и программа действительно на бумагу вывела, то, запрашивая то же самое в следующий раз, также получим вывод на бумагу.

— Можно надеяться.

— Я запуталась. Сколько всего вариантов получилось?

— Всего двенадцать. Мы должны проверить обработку всех имен и дополнительных переменных. Так как проверка обработки этих дополнительных переменных весьма проста — нужно только ввести два набора чисел: 1,1,1,1 и 2,2,2,2, то ее можно объединить с проверкой имен. Ведь чтобы ввести любое имя, нам придется сначала ввести и значения дополнительных переменных.

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

— Да ну тебя! Какая же тут халтура! Мы обстоятельно рассудили, что взаимного влияния нет: если один раз программа слово «уважаемый» выбрала правильно, то и в следующий раз тоже выберет правильно. Все логично.