Cтраница 1
Маршруты исполнения k - ro программного модуля можно условно разделить на два вида: маршруты исполнения преимущественно вычислительной части программы и преобразования квазинепрерывных переменных и маршруты принятия логических решений и преобразования логических переменных. Маршруты первого вида обычно логически проще и короче второго. При оценке таких маршрутов необходим учет количества операндов, участвующих в вычислении. Кроме того, исходные и результирующие данные при отладке должны принимать несколько значений. Во всем диапазоне исходных переменных следует выбрать несколько характерных точек ( предельные значения и несколько промежуточных), при которых проверяется программа. В особых точках значений и сочетаний переменных и в точках разрыва функции необходимо планировать дополнительные проверки. [1]
В маршрутах исполнения программы, содержащих участки, не проверенные тестированием, наиболее возможно искажение результатов вследствие невыявленных ошибок. Предположим, что до тестирования вероятность ошибки в / - и дуге графа программы, входящей в / - и маршрут, равна цц. Пусть, кроме того, вероятность ошибки в / - и дуге в первом приближении не зависит от ошибок в остальных дугах графа программы. [2]
За эталон принимается маршрут исполнения программы и проверяются входные и выходные данные этого маршрута. Кроме того, могут быть выделены переменные или области их изменения, не влияющие на результаты при исполнении программы по этим маршрутам. При таком методе тесты генерируются на базе маршрутов исполнения и логической структуры программы. [3]
Осуществлен контроль полноты проверки всех запланированных для контроля маршрутов исполнения программы. Контроль тестирования программы обеспечивает возможность оценить результаты проверки программы в соответствии с критериями, определяющими степень отлаженности программы. Оценка производится по данным об абсолютном и относительном количестве непроверявшихся и частично проверявшихся элементов структуры программ при детерминдароваином тестировании программы. [4]
Маршруты исполнения k - ro программного модуля можно условно разделить на два вида: маршруты исполнения преимущественно вычислительной части программы и преобразования квазинепрерывных переменных и маршруты принятия логических решений и преобразования логических переменных. Маршруты первого вида обычно логически проще и короче второго. При оценке таких маршрутов необходим учет количества операндов, участвующих в вычислении. Кроме того, исходные и результирующие данные при отладке должны принимать несколько значений. Во всем диапазоне исходных переменных следует выбрать несколько характерных точек ( предельные значения и несколько промежуточных), при которых проверяется программа. В особых точках значений и сочетаний переменных и в точках разрыва функции необходимо планировать дополнительные проверки. [5]
При планировании тестирования, в принципе, возможен подход с критерием проверки абсолютно всех маршрутов исполнения программы при всех значениях исходных переменных. Такой подход практически реализуем только для структурно очень простых программ небольшого объема при малых диапазонах изменения исходных данных. Значительные трудности встречаются при его применении для реальных программ объемом более 500 операторов, и его невозможно использовать для КП объемом в десятки тысяч команд. Поэтому для планирования структурной проверки программ применяются менее жесткие критерии, которые не гарантируют ее полной проверки, однако позволяют планировать тестирование для эффективного выполнения необходимого минимума проверок. [6]
Средства подготовки данных для планирования тестирования обеспечивают выделение типовых структур в модуле ( циклов, альтернатив, маршрутов исполнения) и их упорядочение по некоторым параметрам. Выделение маршрутов исполнения программы и условий их формирования позволяет определить границы областей изменения переменных, влияющие на формирование тестовых наборов и их объем. [7]
Определение всех возможных маршрутов исполнения и вероятностей их реализации, что обеспечивает возможность планировать процесс отладки программ и КП в целом, а также оценивать степень их отлаженное, В сочетании с информационной схемой маршруты исполнения программ в КП позволяют уточнять и контролировать последовательность формирования и использования глобальных переменных в программах. Так, для КП в 100 тыс. команд ручной поиск по документации программы, неверно формирующей некоторую переменную, может потребовать до 40 - 50 чел. [8]
Средства подготовки данных для планирования тестирования обеспечивают выделение типовых структур в модуле ( циклов, альтернатив, маршрутов исполнения) и их упорядочение по некоторым параметрам. Выделение маршрутов исполнения программы и условий их формирования позволяет определить границы областей изменения переменных, влияющие на формирование тестовых наборов и их объем. [9]
Обработке второго вида соответствуют исходные данные в критических точках на границах областей изменения переменных. При таких критических значениях может изменяться маршрут исполнения программы, вследствие чего возможно наибольшее изменение результатов. Поэтому обычно тестирование обработки данных прежде всего направлено на проверку исполнения программ при значениях переменных, влияющих на выбор маршрутов и логику функционирования программы. Число таких критических значений каждой переменной может быть на несколько порядков меньше, чем число значений во всей области изменений этой величины. В этой части тестирование обработки данных по содержанию близко к тестированию структуры программы. [10]
Пересечение потоков управления и данных осуществляется в вершинах - операторах ветвления в цикле и при проверке условия. Совместный анализ потоков управления и данных позволяет проверять корректность областей определения переменных на маршрутах исполнения программы. [11]
Присваиваемые значения контролируются по описаниям данных в процедурах или пакетах данных. Результаты отладки ( значения данных в точках программы, заданных отладочным заданием, схема дерева программы, маршруты исполнения, времена прохождения маршрутов) выдаются с помощью операторов базового языка в удобной форме. [12]
Однако это может привести к получению продолжительного цикла, на каждом шаге которого неверный вход приводит к неверному выходу. Для преодоления данного препятствия при анализе обратного хода исполнения следует рассматривать не отдельные операции программы, а последовательности их - маршруты исполнения программы. По мере исследования контрольных маршрутов выбираются подозрительные участки, для которых проводится уже подробный анализ, обеспечивающий нахождение ошибочной операции. При выборе путей, которые должны быть исследованы, может быть принято предположение, что существу -, ет большая вероятность нахождения ошибки на пересечении двух путей с нарушениями нормальной работы. Поэтому процедура локализации ошибки может быть спланирована следующим образом. [13]
Однако правильность задания очередности операторов ( и частей) программы и всех предусмотренных в ней ветвей может быть проверена при исполнении рабочей программы. При этом наиболее часто ошибки появляются в результате неверной последовательности вычисления значений, диапазона изменения и правильности вычисления значений переменных, управляющих очередностью и выбором маршрута исполнения программы. [14]
Критические значения - предикаты, влияющие на маршруты, - во многих случаях не являются фиксированными, а формируются при сопоставлении нескольких переменных. При этом образование предикатов может происходить во всей области изменения каждой из переменных, например когда они оказываются равными или отличаются на некоторую величину. Формирование предикатов, определяющих выбор маршрутов исполнения программы, происходит в результате вычислений на линейных участках программы. Как уже отмечалось, эти участки в среднем невелики и содержат порядка 10 команд. [15]