Сайт фан клуба ИГХТУ

 

Методичка 706 ИГХТУ

1)     проходил бы цикл без возврата.

ВЕРТИФИКАЦИЯ ПРОГРАММ:

- это доказательство их правильности при помощи математических методов доказательства теорем. Для этого программа представляется в виде последовательности ряда более или менее простых утверждений, доказательство которых не представляет труда.

СИМВОЛИЧЕСКОЕ ТЕСТИРОВАНИЕ

 В отличие от верификации, тестирование заключается в проверке правильности числовых результатов работы. Программы при специально подобранных значениях входных переменных (тестовых наборов).

В некоторых случаях тестирование может производится символически: выполнение процедур, которые основаны на символических входах (обозначение входных переменных, позволяющих выразить выходы программы также в символическом виде).

Для различных путей существуют различные входы и выходы.

«+» (символического тестирования предоставления числовым): если числовой текст позволяет проверить работу программы на отдельных числовых значениях входных наборов, то символическое тестирование оперирует множеством исходных данных, которые определены ограниченными.

Символическое выражение путей программы м.б. получены либо прямой подстановкой, либо обратной.

Прямая соответствует действиям, проделываемым при реализации определенного пути в структуре программы. При этом, символическое исполнение осуществляется для каждого исполняемого оператора, с запаздыванием промежуточных символических выражений.

В случае обратной: ограничения на входные переменные строятся снизу вверх при прохождении пути на графе программы в обратном направлении. В результате получаются такие же ограничения как и при прямой подстановке.

«+» обратной: не требуется память для запоминания символических записей переменных.

«+» прямой: имеется возможность раннего обнаружения несуществующих путей с противоречивыми ограничениями на входных данных.

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

Наиболее часто проблема м.б. преодолена подстановкой некоторого заранее оцененного числа итераций. При этом полученные ограничения могут оказаться неточными.

Второе затруднение связано с наличием в программе модулей. Данная проблема преодолевается символическим исполнением модулей.

Третья проблема: работа с массивами.

Генерирование структурных тестов.

Названных выше недостатков лишено структурное тестирование. Генерирование тестов заключается в выборе множества путей, полностью перекрывающих граф программы и в определении тестовых данных, на которых эти пути выполняются.

 



страницы:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
 
 
 
 
 
 

Warning: in_array() expects parameter 2 to be array, null given in /home/p198609/www/bestlogistics.ru/2f41c03c6df35aa46f8d897a4eed7d02/sape.php on line 192