|
125 Предложенные критерии тестирования являются универсальными в смысле применимости к функциям управления произвольного типа в отличие от существующих критериев выборочного тестирования отдельных операторов компьютерной программы, зависящих от типа тестируемого оператора. Так при тестировании условного оператора обычно требуется проверка каждой из двух порождаемых им ветвей, при тестировании оператора цикла типа пересчета рекомендуется проверять выполнение цикла при начальном значении управляющей переменной, конечном значении управляющей переменной и хотя бы одном из ее промежуточных значений. Оценим число маршрутов, выбираемых в соответствии с требованиями критериев 1-3 при тестировании операции (р, имеющей К аргументов Х1,Х2,...,ХК. Пусть в функции управления имеется ni определений каждого z -го аргумента (1 < i < К). Тогда: 1. Число возможных маршрутов Р1, выбранных в соответствии с требованиями критерия 1, оценивается по формуле [1, 48]: P\<\dM\-Zm, (4.5) /=i где \dM\ мощность множества dM. С учетом определений маски в функции управления имеется не более чем щ-\^М\ определений каждого z-ro аргумента операции ср. Тогда общее число определений всех аргументов операции ср удовлетворяет неравенству Q < \dM\ Мощность среды данных, в свою очередь, удовлетворяет неi~\ равенству со<е по определению. Поскольку некоторые из маршрутов тестирования элементов среды данных одновременно могут проверять несколько таких элементов, то будет справедливо и неравенство Р1 < С£). 2. Число возможных маршрутов Р2, выбранных в соответствии с требованиями критерия 2, оценивается по следующей формуле [1, 48]: |
Критерий 1 требует, чтобы каждый элемент среды данных тестируемой бизнес-операции был проверен по крайней мере однажды. Критерий 2 требует, чтобы каждый элемент контекста данных тестируемой бизнес-операции был проверен по крайней мере однажды. Критерий 3 требует, чтобы каждый элемент упорядоченного контекста данных тестируемой бизнес-операции был проверен по крайней мере однажды. Отметим, что обычно нельзя выбрать единственное множество маршрутов, определяемых данными критериями, без некоторого дополнительного условия, например, требования самого короткого маршрута. Предложенные критерии тестирования являются универсальными в смысле применимости к бизнес-операции произвольного типа в отличие от существующих критериев выборочного тестирования отдельных операторов компьютерной программы, зависящих от типа тестируемого оператора [3]. Так при тестировании условного оператора обычно требуется проверка каждой из двух порождаемых им ветвей, при тестировании оператора цикла типа пересчета рекомендуется проверять выполнение цикла при начальном значении управляющей переменной, конечном значении управляющей переменной и хотя бы одном из ее промежуточных значений. Оценим число маршрутов, выбираемых в соответствии с требованиями критериев 1-3, при тестировании операции <р, имеющей К аргументов Х1, Х2, ..., ХК. Пусть во всем бизнес-процессе имеется п, определений каждого i-ro аргумента (1 < i < К). Утверждение 3.1. Число возможных маршрутов Р1, выбранных в соответствии с требованиями критерия 1, оценивается по следующей формуле: Р1 С учетом определений маски во всем бизнеспроцессе имеется не более чем П * dM определений каждого i-ro аргумента операции ср. Тогда общее число определений всех аргументов 122 операции ср удовлетворяет неравенству Q < dM * X i=iK п,. Мощность среды данных, в свою очередь, удовлетворяет неравенству СД < Q по определению. Поскольку некоторые из маршрутов тестирования элементов среды данных одновременно могут проверять несколько таких элементов, то справедливо Р1 < СД , что и требовалось доказать. Утверждение 3.2. Число возможных маршрутов Р2, выбранных в соответствии с требованиями критерия 2, оценивается по следующей формуле: Р2 < dM к * П=1КП (3.2) Доказательство. Общее число элементарных контекстов удовлетворяет соотношению: КД <(щ * dM ) * (п2 * dM ) *... * (п к * dM ) = dM к * Пi=iKп. Очевидно, что Р2 < КД , что и требовалось доказать. Утверждение 3.3. Число возможных маршрутов РЗ, выбранных в соответствии с требованиями критерия 3, оценивается по следующей формуле: РЗ < К! * dM к * П=1Кп, (3.3) Доказательство. Каждому отдельному элементарному контексту соответствует не более К! упорядоченных элементарных контекстов в соответствии со свойством перестановки порядка К [61]. Тогда общее количество упорядоченных элементарных контекстов удовлетворяет неравенству: УКД < К! * dM к * П j=iK nj. Очевидно, что РЗ < УКД , что и требовалось доказать. Отметим, что неравенства (3.1)-(3.3) оценивают число возможных маршрутов достаточно грубо. В таблице 3.1 приводится сравнение фактического и оцененного числа маршрутов для примера, приведенного на рис. 3.1. Для данного примера К=2, dM=2, ni=2, n2=2. Различия в столбцах “Мощность модели” (число элементов среды, контекста и упорядоченного контекста данных) и “Фактическое число маршрутов” обуславливаются тем, что некоторые маршруты проверяют одновременно несколько элементов модели. Например, для проверки элементарного контекста данных (х2 1, у2 1) требуется выполнение маршрута 123 |