Cтраница 1
Стратегия тестирования обычно создается на основе одного или двух методов: либо традиционного - снизу вверх, либо более современного - тестирование сверху вниз. [1]
Стратегия тестирования, в отличие от метода, определенного в базовой постановке задачи идентификации, не обеспечивает однозначной оценки успеха. Поэтому в формулировке теоремы о доказательности стратегии в [1] присутствует еще один квантор - по разным вариантам применения стратегии. [2]
Эти стратегии тестирования позволяют сосредоточить внимание разработчиков на анализе наиболее важных компонент программ. При стратегии 1 первоочередному тестированию подлежат маршруты, наиболее длинные по числу команд и по времени исполнения. Им соответствуют обычно маршруты с наибольшим объемом вычислений и преобразований переменных. Эта стратегия целесообразна при планировании тестирования программ, имеющих вычислительный характер обработки данных при небольшом числе логических условий и маршрутов исполнения программ. При стратегии 2 приоритет отдается маршрутам, наиболее сложным по числу анализируемых условий. Такая стратегия предпочтительна при тестировании логических программ с небольшим количеством вычислений. При обеих стратегиях на завершающие этапы тестирования остаются простые по вычислениям или по логике маршруты, для которых необходимы относительно короткие тесты. [3]
Из практики известно, что выбор стратегии тестирования для конкретной программы обусловлен не только требованием достоверности, но и ресурсными ограничениями. Значимым оказывается вопрос о том, как оценивать и сравнивать стратегии для конкретного тестирования. [4]
Метод функциональных диаграмм [2, 3], относящийся к левому краю спектра стратегий тестирования, предлагает способ перевода спецификаций, написанных на естественном языке, на язык формальный. Это способствует проектированию высокорезультативных тестов, не страдающих избыточностью, и, кроме этого, как отмечалось в гл. [5]
С целью оценки степени достоверности диагноза, получаемого при применении недоказательных стратегий, в [1] предложен метод сведения стратегий тестирования к условно-доказательным. Он состоит в том, чтобы представить стратегию тестирования как условно доказательную путем введения в теорему ( 2) множества гипотез относительно объектов класса А Ма ( а) ( которые не являются легко проверяемыми свойствами), так что при их выполнении тестирование оказывается доказательным. [6]
Отношение идентификации в этом случае представляется критерием правильности программы - предикатом, истинность которого означает, что программа правильна. Стратегия тестирования S определяет критерий успеха тестирования - предикат, истинность которого означает, что тестирование успешно. [7]
С целью оценки степени достоверности диагноза, получаемого при применении недоказательных стратегий, в [1] предложен метод сведения стратегий тестирования к условно-доказательным. Он состоит в том, чтобы представить стратегию тестирования как условно доказательную путем введения в теорему ( 2) множества гипотез относительно объектов класса А Ма ( а) ( которые не являются легко проверяемыми свойствами), так что при их выполнении тестирование оказывается доказательным. [8]
Подводя итог, можно сказать, что большое влияние на разработку методологии опытов in vitro оказали различные факторы, появившиеся в последние 20 лет. Пока трудно утверждать, мог ли каждый фактор в отдельности оказать такое влияние на разработку стратегий тестирования токсичности. [9]
Модель программы используется также для планирования отладки в процессе детерминированного тестирования. Путем упорядочения маршрутов в программе по длительности их исполнения, вероятности реализации или количеству проверяемых условий подготавливаются данные для выбора стратегии тестирования и проверки конкретной программы. На основе анализа и обобщения данных о непроверенных маршрутах автоматизированно оценивается отлажен-ность модуля или группы программ. [10]
Может показаться, что эта цель сама собой разумеется. Но часто это оказывается не так, особенно в случае тестирования прототипов для определения их соответствия с требованиями ЧФ, которые обычно явно не задаются. Однако следует разбивать эти задачи на несколько более конкретных, поскольку, будучи поставлены абстрактно, они мало что дают для выбора подходящих методов или стратегии тестирования. Цели тестирования эффективности систем, перечисленные в предыдущем разделе, являются весьма общими. Необходимость детального описания целей тестирования объясняется тем, что с ними непосредственно связаны его методы. Только разбив общую цель на ряд конкретных целей, можнй решить, как проводит измерения. Конкретными целями проверки могут быть, например, компетентность персонала и адекватность процесса обучения и технической документации. Конкретная цель оценки деятельности персонала может быть сформулирована как установление эффективности его работы с точки зрения ЧФ. [11]
Может показаться, что эта цель сама собой разумеется. Но часто это оказывается не так, особенно в случае тестирования прототипов для определения их соответствия с требованиями ЧФ, которые обычно явно не задаются. Однако следует разбивать эти задачи на несколько более конкретных, поскольку, будучи поставлены абстрактно, они мало что дают для выбора подходящих методов или стратегии тестирования. Цели тестирования эффективности систем, перечисленные в предыдущем разделе, являются весьма общими. Необходимость детального описания целей тестирования объясняется тем, что с ними непосредственно связаны его методы. [12]
Прежде всего автоматически выделяются циклы, в которых определяются маршруты, подлежащие тестированию. Для этого используются указания разработчика о стратегии выделения маршрутов при тестировании циклов. Кроме того, вводятся указания о количестве итераций циклов и их связях с маршрутами исполнения циклов. В результате разработчику отображаются данные о маршрутах в циклах, которые подлежат тестированию по выбранной стратегии. По данным о выделенных циклах производится расчет суммарного числа тестов и суммарной сложности тестирования циклов. Если сложность тестирования превышает реальные ресурсы, которые могут быть выделены для выполнения этих работ, то необходимо упростить стратегию тестирования циклов и повторить расчеты. [13]