Методологические основы

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

Множество тестовых значений для проверки вычислений при про­стых числовых переменных целесообразно строить упорядоченно с уче­том следующих правил '.

• 
  входные тестовые данные в области гладкого изменения, зависящих от них результатов, должны принимать, по крайней мере, значения, близ­кие к наибольшим и наименьшим, а также одно-два промежуточных зна­чения;
  
• 
  тестирование должно проводиться при всех особых значениях вход­ных переменных — в точках резкого возрастания или разрыва производ­ных, при нулевых, единичных и предельно малых численных значениях;
  

• 
  входные тестовые значения должны обеспечивать проверку про­граммы при выходных результатах, имеющих особые точки резкого изме­нения или разрыва производных;
  
• 
  если значения некоторой переменной зависят от значений другой переменной, то их необходимо тестировать при особых значениях сочета­ний переменных (равенство обеих переменных, малое и предельно боль­шое их различие, нулевые и единичные значения).
  

• 
  Таким образом, для каждой простой числовой переменной, кроме трех точек вблизи и на границе области определения, обычно необходимо тестирование программы в 3—4 промежуточных и в 2—5 особых точках значений входных данных. При 10 входных переменных и сложных вы­числениях в программном модуле для тестирования вычислений может потребоваться до 50 тестовых значений. Группируя и упорядочивая тесто­вые значения разных переменных, их общее количество можно сократить до 5—10 тестовых наборов.
  
• 
  ЛЕКЦИЯ 14
  
•