Исчерпывающее тестирование
Cтраница 1
 |
Методы тестирования. [1] |
Исчерпывающее тестирование и соответствующий способ генерации тестов заключается в том, что на входы схемы подаются все возможные воздействия. [2]
 |
Схема детерминированного компактного тестирования с использованием функций счета. [3] |
Недостатком исчерпывающего тестирования является то, что при большом числе входов время на перебор становится слишком большим. [4]
Для программиста на Прологе дисциплина исчерпывающего тестирования работы каждой процедуры имеет очень важное значение. Никакая процедура, за исключением, конечно, встроенных предикатов, действия которых меняют базу данных Пролога, не должна вызывать побочных эффектов, действующих на другие процедуры. Мы должны быть абсолютно уверены в том, что при тестировании некоторой процедуры, которую при этом мы рассматриваем как независимый компонент, ее взаимодействие с другими компонентами - частями большой программы - не приведет к ошибкам. [5]
При тестировании другой продукции, например автомобиля, мы не будем применять ни исчерпывающего тестирования, которое должно, по-видимому, выражаться в полной обкатке автомобиля по всем дорогам страны, ни случайного тестирования. [6]
Наконец, последний принцип, который необходимо отметить, заключается в том, что для проверки каждой функциональной неисправности мы использовали исчерпывающее тестирование. Это означает, что при тестировании каждой конкретной ситуации был использован полный перебор соответствующих условий. [7]
Уровни абстракции минимизировали число внутренних состояний системы, благодаря чему оказалось возможным неформально проверить правильность каждого уровня после его проектирования и провести исчерпывающее тестирование окончательного результата. [8]
В работах по теории программирования делается акцент на то, что получить корректную программу легче и целесообразнее через стадию проектирования, чем через исчерпывающее тестирование. При этом утверждается, что тестирование может использоваться для показа существования ошибок, а не их отсутствия. [9]
Поэтому исчерпывающее тестирование для всех входных данных любой разумной программы неосуществимо. [10]
Эти рассуждения приводят ко второму фундаментальному принципу тестирования: тестирование - проблема в значительной степени экономическая. Поскольку исчерпывающее тестирование невозможно, мы должны ограничиться чем-то меньшим. Каждый тест должен давать максимальную отдачу по сравнению с нашими затратами. Эта отдача измеряется вероятностью того, что тест выявит не обнаруженную прежде ошибку. Затраты измеряются временем и стоимостью подготовки, выполнения и проверки результатов теста. Считая, что затраты ограничены бюджетом и графиком, можно утверждать, что искусство тестирования, по существу, представляет собой искусство отбора тестов с максимальной отдачей. Более того, каждый тест должен быть представителем некоторого класса входных значений, так чтобы его правильное выполнение создавало у нас некоторую убежденность в том, что для определенного класса входных данных программа будет выполняться правильно. Это обычно требует некоторого знания алгоритма и структуры программы, и мы, таким образом, смещаемся к правому концу спектра. [11]
Ранее рассмотренные проблемы в значительной мере усложняются, когда ведется разработка так называемых больших программ, характеризующихся сложной структурой и большим числом команд. В таких программах имеется значительное количество возможных путей прохождения данных, поэтому их исчерпывающее тестирование практически невозможно. [12]
Набор испытательных тестов полностью определяется функциональными задачами и сложностью КП. Эти тесты должны обеспечивать проверку и демонстрацию заказчику или пользователю качества решения функциональных задач, сформулированных в техническом задании и конкретизированных в документации. Поскольку исчерпывающее тестирование для сложных КП невозможно, большое значение имеют уточнение областей варьирования тестовых данных и выделение областей их изменения, наиболее важных для последующего использования программ. [13]
Страницы: 1