Калайда В.Т., Романенко В.В. Технология разработки программного обеспечения (2007) (1095890), страница 25
Текст из файла (страница 25)
Поэтому лучше отделить анализ граничных значений от метода функциональныхдиаграмм. Например, для спецификации команды DISPLAY могут быть определены следующие граничные условия:1. Адрес 1 длиной в одну цифру.2. Адрес 1 длиной в шесть цифр.3. Адрес 1 длиной в семь цифр.4. Адрес 1 = 0.5. Адрес 1 = 7FFF.6. Адрес 1 = 8000.7. Адрес 2 длиной в одну цифру.8.
Адрес 2 длиной в шесть цифр.9. Адрес 2 длиной в семь цифр.10. Адрес 2 = 0.11. Адрес 2 = 7FFF.12. Адрес 2 = 8000.13. Адрес 2 = адрес 1.14. Адрес 2 = адрес 1.15. Адрес 2 = адрес 1 – 1.16. Счетчик байтов длиной в одну цифру.17. Счетчик байтов длиной в шесть цифр.18. Счетчик байтов длиной в семь цифр.16319. Счетчик байтов = 1.20. Адрес 1 + счетчик байтов = 8000.21. Адрес 1 + счетчик байтов = 8001.22.
Отображение шестнадцати байт (одна строка).23. Отображение семнадцати байт (две строки).Это вовсе не означает, что следует писать 60 (37 + 23) тестов. Поскольку функциональная диаграмма дает тольконаправление в выборе определенных значений операндов, граничные условия могут входить в полученные из нее тесты. Внашем примере, переписывая некоторые из первоначальных37 тестов, можно покрыть все 23 граничных условия без дополнительных тестов.
Таким образом, мы получаем небольшой, ноубедительный набор тестов, удовлетворяющий поставленнымцелям.Заметим, что метод функциональных диаграмм согласуется с некоторыми принципами тестирования, изложенными в п.6.2. Его неотъемлемой частью является определение ожидаемого выхода каждого теста (все столбцы в таблице решенийобозначают ожидаемые следствия). Заметим также, что данныйметод помогает выявить ошибочные побочные следствия.Например, столбец (тест) 1 устанавливает, что должно присутствовать следствие 91 и что следствия 92–97 должны отсутствовать.Наиболее трудным при реализации метода являетсяпреобразование диаграммы в таблицу решений.
Это преобразование представляет собой алгоритмический процесс. Следовательно, его можно автоматизировать посредством написания соответствующей программы. Фирма IBM имеет ряд таких программ, но не поставляет их.6.4.5 Предположение об ошибкеЗамечено, что некоторые люди по своим качествам оказываются прекрасными специалистами по тестированию программ. Они обладают умением «выискивать» ошибки и без привлечения какой-либо методологии тестирования (такой, как анализ граничных значений или применение функциональных диаграмм).164Объясняется это тем, что человек, обладающий практическим опытом, часто подсознательно применяет метод проектирования тестов, называемый предположением об ошибке. Приналичии определенной программы он интуитивно предполагаетвероятные типы ошибок и затем разрабатывает тесты для их обнаружения.Процедуру для метода предположения об ошибке описатьтрудно, так как он в значительной степени является интуитивным.
Основная идея его заключается в том, чтобы перечислитьв некотором списке возможные ошибки или ситуации, в которых они могут появиться, а затем на основе этого списка написать тесты. Например, такая ситуация возникает при значении0 на входе и выходе программы. Следовательно, можно построить тесты, для которых определенные входные данные имеют нулевые значения и для которых определенные выходныеданные устанавливаются на 0. При переменном числе входовили выходов (например, число искомых входных записей припоиске в списке) ошибки возможны в ситуациях типа«никакой» и «один» (например, пустой список, список, содержащий только одну искомую запись).
Другая идея состоит втом, чтобы определить тесты, связанные с предположениями,которые программист может сделать во время чтения спецификаций (т.е. моменты, которые были опущены из спецификациилибо случайно, либо из-за того, что автор спецификации считалих очевидными).Поскольку данная процедура не может быть четко определена, лучшим способом обсуждения смысла предположенияоб ошибке представляется разбор примеров. Если в качествепримера рассмотреть тестирование подпрограммы сортировки,то нужно исследовать следующие ситуации:1. Сортируемый список пуст.2.
Сортируемый список содержит только одно значение.3. Все записи в сортируемом списке имеют одно и то жезначение.4. Список уже отсортирован.Другими словами, требуется перечислить те специальныеслучаи, которые могут быть не учтены при проектировании программы. Если пример заключается в тестировании подпрограммыдвоичного поиска, то можно проверить следующие ситуации:1651) существует только один вход в таблицу, в которой ведется поиск;2) размер таблицы есть степень двух (например, 16);3) размер таблицы меньше или больше степени двух(например, 15 или 17).Рассмотрим программу MTEST, приведенную в разделе,посвященном анализу граничных значений.
При тестированииэтой программы методом предположения об ошибке целесообразно учесть следующие дополнительные тесты:1. Допускает ли программа «пробел» в качестве ответа?2. Запись типа 2 (ответ) появляется в наборе записей типа3 (студент).3. Запись без 2 или 3 в последней колонке появляется некак начальная запись (название).4. Два студента имеют одно и то же имя или номер.5. Поскольку медиана вычисляется по-разному в зависимости от того, четно или нечетно число элементов,необходимо протестировать программу как для четного, так и для нечетного числа студентов.6.
Поле числа вопросов имеет отрицательное значение.Для команды DISPLAY из предыдущего раздела целесообразно рассмотреть следующие тесты метода предположенияоб ошибке:1. DISPLAY 100 — (неполный второй операнд).2. DISPLAY 100. (неполный второй операнд).3. DISPLAY 100 — 10А42 (слишком большое значениеоперанда).4.
DISPLAY 000 — 0000FF (нули слева).6.4.6 СтратегияМетодологии проектирования тестов, обсуждавшиеся вэтом разделе, могут быть объединены в общую стратегию. Причина объединения их теперь становится очевидной: каждый метод обеспечивает создание определенного набора используемыхтестов, но ни один из них сам по себе не может дать полный набор тестов. Приемлемая стратегия состоит в следующем:1661.
Если спецификация содержит комбинации входныхусловий, то начать рекомендуется с применения метода функциональных диаграмм.2. В любом случае необходимо использовать анализ граничных значений. Напомним, что этот метод включает анализграничных значений входных и выходных переменных. Анализграничных значений дает набор дополнительных тестовыхусловий, но многие из них (если не все) могут быть включены втесты метода функциональных диаграмм.3.
Определить правильные и неправильные классы эквивалентности для входных и выходных данных и дополнить,если это необходимо, тесты, построенные на предыдущих шагах.4. Для получения дополнительных тестов рекомендуетсяиспользовать метод предположения об ошибке.5. Проверить логику программы на полученном наборетестов.
Для этого нужно воспользоваться критерием покрытиярешений, покрытия условий, покрытия решений/условий либокомбинаторного покрытия условий (последний критерий является более полным). Если необходимость выполнения критерия покрытия приводит к построению тестов, не встречающихся среди построенных на предыдущих четырех шагах, и еслиэтот критерий не является нереализуемым (т.е.
определенныекомбинации условий невозможно создать вследствие природыпрограммы), то следует дополнить уже построенный набор тестов тестами, число которых достаточно для удовлетворениякритерия покрытия.Эта стратегия, опять-таки, не гарантирует, что все ошибки будут найдены, но, вместе с тем, ее применение обеспечивает приемлемый компромисс. Реализация подобной стратегиивесьма трудоемка, но ведь никто и никогда не утверждал, чтотестирование программы — легкое дело.Контрольные вопросы1.
Определение процесса тестирования. Определение хорошего теста. Определение хорошего прогона.2. Тестирование программы как черного и белого ящика.3. Принципы тестирования.1674. Технологии ручного тестирования. Инспекции исходного текста. Сквозные просмотры. Метод оценки программ посредством просмотра.5. Принципы проектирования теста.6. Технологии тестирования по принципу белого ящика.Покрытие операторов. Покрытие решений. Покрытиеусловий. Покрытие решений/условий.
Комбинаторноепокрытие условий.7. Технологии тестирования по принципу черного ящика.8. Эквивалентное разбиение. Способы формированияклассов эквивалентности. Правила создания тестов поклассам эквивалентности.9. Анализ граничных значений.10. Применение функциональных диаграмм. Способы задания ограничений на вход и выход. Технология построения функциональных диаграмм. Технология построения таблицы решений.
Формирование тестов потаблице решений.11. Предположение об ошибке.12. Стратегия тестирования.1687 ТЕХНОЛОГИЯ РАЗРАБОТКИ ПРОГРАММХотя разработка программ является в основном творческой деятельностью, существует множество стандартных алгоритмов, которые могут применяться для упрощения данногопроцесса. Знание этих алгоритмов часто облегчает формулирование задачи.7.1 Разбиение задачи на независимые подзадачиОсновным алгоритмом, используемым для решения задач,является алгоритм разбиения на независимые подзадачи. Длятого, чтобы решить задачу A, ее первоначально необходимо разбить на независимые подзадачи B, C, D и т.д.A: procedure;Задача B;Задача C;Задача D;end A;Решение подзадач может производиться по любому алгоритму.7.2 Разбиение задачи на одинаковыепо сложности частиЭтот метод, как и первый, наиболее часто используется впрограммировании. Данный подход означает разделение задачина подзадачи, равные примерно по сложности, для того чтобыперейти к решению значительно более простых задач, чем первоначальная.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
