Реклама:

Планирование тестировзииЯ'Структуры программныхмоду-лей в значительной степени мржет быть автоматизировано 1301. Задача автоматизированных систем планирования .тестирования состоит в выделении маршрутов программно одному или нескольким выбранным критериям, с^рслелующйм их-.упорядо^ ■чением по заданной^стратегин (см,' § 3.5). .В результате^разра-'бЪ'тчйк программ автрматизированнр, информируется о .составе Маршрутов в ^программе.'ддя проведения упорядоченного тестирования. Кроме того, если фиксировать маршруты, по кото'-" рым уже проведено тестирование.'то их можно автоматически исключать из информирования и выдавать на регистрацию только группу маршрутов, подлежащих первоочередной проверке. Эти же данные могут использоваться для автоматичееио-. то расчета полноты проверки и для оценки достигнутой корректности программы по каждому из критериев выбора маршрутов.

Показатели корректности тестировании структуры программных модулей. Эффективность тестирования определяется полнотой проверки программного модуля или вероятностью наличии оставшихся ошибок в зависимости от затрат на создание тестов,-исполнение программ и анализ данных тестирования. Затраты в значительной степени зависят от* суммарной сложности тестов, проверяющих маршруты исполнения Программы. На каждой дуге графа программы между условными переходами производятся Вычисления и преобразования переменных, объем которых может изменяться в широких пределах.' Для упрощения анализа тестирования структуры программ,'предположим, что длительность и сложность вычислений на дугах графов программ одинакова и не велика (991. Некоторые вершины графа программы могут образовываться в результате схождения дуг без последующего ветвления. Такие вершины не влн-'йют на число маршрутов и их можно при. анализе обобщать с-ближайшей последующей вершиной, в которой происходит ветвление. При этих предположениях; сложность теста, проверяющего каждый /-й маршрут, в первом приближении пропорциональна числу дуг графа программы, входящих в этот маршрут, или числу условий |(, которые необходимо задать в тесте. Каждое условие определяет выбор /-Й дуги в графе программы к очередной вершине ьц и, следовательно, включение ■/-й дуги в 1-й маршрут, ведущий из начальной вершины в конечную:

Полная сложность тестов для проверки программы в последующем Принимается равной сумме сложностей тестов |,, используемых для проверки каждого 1-го маршрута: ;

где суммирование ведется по М% маршрутам, выделяемым по одному из приведенных выше х-х критериев. ■ Качество проведенного тестирования и достигнутая корректность модуля определяются возможностью получить прн его реальном 'функционировании искаженные результаты.

.В. маршрутах исполнения программы,, содержащих участки,

., не проверенные тестированием, наиболее возможно' искажение результатов из-за невыявленных ошибок. Предположим, что

:,.:др тестирования вероятность ошибки в /-й дуге графа программы, входящей в <-й маршрут, равна Кроме того, пусть вероятность ошибки в /-й дуге в первом приближении не зависит


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