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

Планирование тестирования — процесс творческий, и средства авто­матизации предназначены в основном для подготовки исходных данных, используемых при планировании. Эту информацию можно разделить на три группы данных'.

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

• 
  Для подготовки этих данных используются текст программы на язы­ке программирования и взвешенная графовая модель программы. Эта мо­дель может подготавливаться специально средствами автоматизации пла­нирования тестирования или средствами контроля структуры и определе­ния длительности исполнения программы. Основная часть данных для планирования тестирования может быть получена автоматическим расче­том по тексту программы с использованием указаний разработчика о кри­терии выделения и стратегии упорядочения маршрутов. Диалог разработ­чика со средствами автоматизации целесообразен для уточнения критерия и стратегии образования маршрутов в зависимости от сложности тестиро­вания, а также для исключения циклов и ациклических маршрутов, кото­рые не реализуются по сочетаниям условий в предикатах. Диалог может также быть полезным при подготовке взвешенной графовой модели про­граммы, когда необходимо ввести оценки значений вероятностей ветвле­ния в вершинах графа и характеристики итераций циклов.
  
• 
  В программе, прежде всего, автоматически должны выделяться цик­лы, подлежащие тестированию. Для этого используются указания разра­ботчика о стратегии выделения маршрутов при тестировании циклов. Кроме того, следует вводить указания о количестве итераций циклов и их связях с маршрутами исполнения циклов. В результате разработчику отобража­ются данные о маршрутах в циклах, которые подлежат тестированию по выбранной стратегии. По данным о циклах, выделенных для автономного тестирования, рассчитываются суммарное число тестов в плане и сум- мирная сложность тестирования циклов. Выделение циклов и маршрутов в них позволяет преобразовать программу к ациклическому виду.
  
• 
  Для выделения тестируемых маршрутов в такой ациклической про­грамме разработчик должен указать критерий, по которому следует фор­мировать маршруты. Кроме того, разработчик указывает стратегию для составления упорядоченного списка маршрутов, по которому надлежит планировать последовательность тестирования. Упорядочение маршрутов производится по длительности их исполнения или по вероятности реали­зации при случайных данных на входе программы. Если ряд маршрутов может быть нереализуемым по сочетаниям условий в вершинах графа программы, то такие маршруты следует исключать из последующего ана­лиза.
  
• 
  В результате составляется список маршрутов, упорядоченных по вы­бранной стратегии. По этим маршрутам рассчитываются полное число тестов и суммарная сложность тестирования структуры программы в со­ответствии с выбранным критерием выделения маршрутов. Корректиров­ка планов возможна за счет изменения критерия выделения маршрутов и за счет ограничения числа выделенных для тестирования маршрутов из общего упорядоченного множества. Выделенные для тестирования марш­руты могут дополняться данными о значениях переменных в предикатах условий на каждом маршруте. Для этого используются текст программы на языке программирования и описание переменных. По полученным со­отношениям между переменными в предикатах условий могут быть пост­роены границы областей изменения переменных для каждого из маршру­тов и для программы в целом (см. п. 13.5). По числу границ областей изменения переменных осуществляется оценка числа тестов, необходимых для проверки процессов обработки данных в анализируемой программе.
  
• 
  Характеристики сложности тестирования областей в совокупности с характеристиками сложности тестирования структуры программы и цик­лов позволяют оценить реализуемость плана тестирования конкретно­го программного модуля или компонента. Кроме того, рассматриваемые средства представляют разработчику достаточно полные сведения о цик­лах, маршрутах и переменных, которые необходимо учитывать при плани­ровании тестирования. Автоматический расчет и упорядочение инфор­мации о характеристиках программы, а также отображение этих сведений
  

• 
  в компактной и наглядной форме позволяют сделать процесс тестирова­ния эффективным и экономичным.
  
•