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

Сложность тестирования программных компонентов (функцио­нальных групп программ) определяется суммарной сложностью модулей и межмодульных связей по управлению и по информации. Каждый мо­дуль должен тестироваться автономно до включения в группу программ и частично в составе группы. Затраты на тестирование модулей в составе

• 
  группы программ должны учитывать относительные суммарные затраты на тестирование всех входящих модулей с коэффициентом d_k < 1, завися­щим от степени предшествующей проверки модуля. Если модули автономно не тестировались (например, при нисходящем тестировании), то d_k = 1 и затраты на тестирование каждого модуля войдут в затраты при тестирова­нии группы программ в полном объеме. При тщательном автономном тестировании модулей можно полагать d_k = 0,1—0,01, т.е. в составе ПС затраты на тестирование каждого из модулей составляют несколько про­центов.
  

4. 
   Примеры оценок сложности тестирования
   программ
   

• 
  Приведенные выше выражения можно использовать для априорной оценки числа маршрутов и сложности тестирования (необходимого числа тестов для охвата всех выделенных маршрутов) программных модулей. Для планирования тестирования необходимо выявить зависимости этих характеристик от числа операторов в программе, ее структуры и кри­териев выделения маршрутов. Эту задачу можно решать экспериментально, путем подсчета соответствующих характеристик в реальных программ­ных модулях, используемых в различных классах ПС. Для выявления об­щих зависимостей сложности тестирования программ целесообразно вы­делить типовые программные структуры, а также такие, которые позволя­ют получить предельные (сверху и снизу) значения этих характеристик.
  
• 
  На рис. 13.7 представлен пример исходного графа модуля програм­мы, содержащего 14 вершин, 20 дуг и 3 цикла. Такая программа сравни­тельно невысокой сложности содержит около 30—50 операторов на языке высокого уровня и может рассматриваться как достаточно типичная. Для полной проверки модуля по первому критерию достаточно четырех марш­рутов. По этому критерию гарантируется проверка всех передач управле­ния между операторами программы и каждого оператора не менее одного раза. Самый длинный по числу вершин маршрут не охватывает только 3 вершины из 14 и только 6 дуг из 20.
  
• 
  После проверки еще двух маршрутов вне контроля остаются одна вершина и две дуги. Однако при этом критерии не учитывается комбина­торика сочетания условий на разных участках маршрутов, например, при сочетаниях направлений ветвлений в вершинах 3 и 12. Сложность про­граммы при выделении маршрутов по этому критерию характеризуется числом маршрутов равным четырем и сложностью тестирования равной 20. Эта величина характеризует суммарное число условий, которое необ­ходимо задать в тестах для полной проверки всех маршрутов, выделен­ных по первому критерию. Условия в вершинах каждого маршрута могут использоваться для автоматизированного формирования предикатов в со­ответствующих тестах.
  
• 
  
  
• 
  Рис. 13.7
  
•