Реклама:

Тестирование при значениях данных, определяющих марщ-. руты исполнения программы (стратегия областей). Обработку данных в процессе „исполнения программ можно разделить на два вида. Первый вид обработки сводится" к преобразованиям данных, результаты которых не влияют на выбор маршрутов исполнения программы. В вычислениях участвуют преимущественно, вещественные и целые величины во всей области их определения. Кроме того, возможны логические преобразования символьных или булевских.величин, в результате которых получаются величины аналогичных типов. При обработке второго вида подготавливаются и реализуются логические решения, определяющие последующий маршрут .обработки данных. Оснорой такой обработки является анализ соотношений .между обрабатьшаемыми, .величинами, которые Влияют на направления исполнения программы.

Первомувиду обработки соответствуют данные в ограничен-.ной или неограниченной ,облаети ^определения, которая может делиться на некоторое .множество сопрягающихся областей. Изменение данных внутри такой области не влияет на маршрут исполнения программы. Поэтому для проверки функционирр-вання программы из всего множества значений достаточно использовать при тестирований только несколько значений внутри и вблизи границ, области. Количество Величин, используемых для тестирования при обработке этого вида, Может быть на, два-три порядка меньше полного" числа^ значений каждой переменной в области. \ При обработке данных, изменяющихся в пределах области, преобразования переменных могут иметь, вычислительный или логический характер. Такая обработка данных в процессе тестирования Проверяется на точность осуществляемых вычислений, на правильность масштабирования и размерности обрабатываемых величин, на корректность формирования логических величин.и т. д. При этом тестирование должно охватывать всю область изменения каждой обрабатываемой переменной и каждой результирующей величины. Учитывая корреляцию значений каждой переменной и взаимную корреляцию переменных, можно существенно сокращать объем тестирования. ■

Обработке второго вида соответствуют исходные данные в критических точках' на границах областей изменения переменных. При таких критических значениях может изменяться маршрут исполнения программ^ "вследствие чего возможно наибольшее изменение результатов. Поэтому тестирование обработки данных прежде всего направлено иа проверку исполнения программ при значениях Переменных, влияющих на выбор маршрутов и логику функционирований программы (стратегия областей). Граничные условияэто ситуации, возникающие в непосредственной близости к границам областей изменения обрабатываемых переменных. Число таких' критических значений каждой переменной может быть на несколько порядков меньше, чем число значений во всей области изменений этой величины. В этой части тестирование обработки данных по содержанию близко К тестированию структуры программы (см. § 3.3):

Маршруты пск^довательности обработки данных Могут зависеть от любых типов величин. При выборе направления ветвления участвуют переменные и константы, отражающие вещественные, целые, булевские; символьные, векторные и другие величины. Области определения таких величии зависят от ,их типов и содержания я представляют как отдельные точки и несвязанные области, так и неограниченную непрерывную пс<У1едовательность значений. Одной из задач тестирования является Проверка сопоставимости' сравниваемых типоВ; величин и идентичности условий их кодирования (разрядности, масштабов и -т.дОг, Критические значения предикаты, ;влй-якнциёи.амаршруты, во многихслучаях не являются фикСиро-ванньци, д выделяются при сопоставлении нескольких переменных. При этом предикаты образуются во осей области из-;.ме1«}ння каждой из переменных, например, когда они оказы-р^Хпсй равными или отЛичдются н? некотйру личину. " /-. '' '; .' '■■■■■№


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