Реклама:

При тестировании транслированной программы прежде всего проверяется корректность использования в программе каждой переменной при конкретных значениях в соответствии с ее именем и описанием. Первоначальные проверки проводятся при отдельных наиболее типовых значениях. После этого следует упорядоченный перебор значений переменных для установления корректности во всем диапазоне их изменений.

. Квазинепрерывные переменные, являющиеся квантованными результатами измерения непрерывных физических величин с ограниченными производными, имеют интервальные области определения и могут выбираться для тестирования при нескольких наиболее характерных значениях. Наличие гладкой связи между последовательными значениями таких переменных исключает необходимость полного перебора их значений и огромного объема тестирования. После установления корректности программ при некоторых значениях квазинёпре-рывных переменных можно считать с высокой достоверностью, что корректность программы гарантируется в некоторой окрестности использованных значений.

Далее для'каждой из переменных выявляются особые точки (переход через нуль, сравнение по значению с другой переменной и т. д.) и для оценки корректности тестирования обработки данных в качестве частных используются критерии, характеризующие степень покрытия тестами особых точек изменения переменных и сочетаний значений переменных, имеющих особые свойства. В результате в план тестирования? включаются не менее трех (обычно 5— 10) значений каждой простой переменной, начиная с наиболее типовых, средних или чаще встречающихся значений, и все особые точки. Критерием качества тестирования может служить отношение числа проверенных значений переменных к числу выбранных значений. Последнее обычно составляет менее 1 % от полного возможного, числа значений каждой простой квазинепрерывной . переменной.

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

Для кодовых,булевских и символьных переменных, имеющих области определения в виде дискретных точек, тестирование обычно предусматривает практически полный перебор всех возможных значений. В качестве первоначальных принимаются наиболее типичные или чаще всего используемые значения величин. Упорядочение значений переменных позволяет построить тестирование с одновременным контролем достигнутой степени корректности проверяемой программы. Частным критерием качества тестирования может служить относительное число выполненных тестов ко всему числу возможных комбинаций значений каждой переменной.

Некоторая переменная может быть функционально связана с другой переменной.иа входе программы. Возникает необходимость установить корректность обработки совокупности коррелированных переменных. В' этом случае тесты должны.охватывать совокупность коррелированных значений в краевых и ряде промежуточных точек их областей определения. Это может приводить к резкому возрастанию объема тестирования. Для сохранения тестирования обработки данных в допустимых пределах выделяется минимум наиболее характерных коррелированных значений данных. Кроме -того, для проверки защищенности программ целесообразно тестирование на значениях переменных, при которых функциональная связь между Ними искажена.


⇐ Предыдущая страница| |Следующая страница ⇒