     1
Можно ли гарантировать остановку программы на любом тесте?
|
|
|
в общем случае нет
|
|
|
возможно в частных случаях
|
|
|
задача в общей постановке алгоритмически неразрешима
|
Сколько тестов потребуется для проверки программы, реализующей задержку на неопределенное количество тактов?
|
|
|
один
|
|
|
неопределенное количество
|
|
|
зависит от критерия достаточности проверок
|
Какие существуют способы получения эталонных значений теста?
|
|
|
предсказание ожидаемого результата
|
|
|
независимое вычисление результата
|
|
|
подстановка в тест результата вычисления тестируемой программы
|
Что такое путь в УГП?
|
|
|
последовательность вершин и дуг УГП с фиксированными начальной и конечной вершиной
|
|
|
последовательность ветвей УГП с фиксированными начальной вершиной первой ветви и конечной вершиной последней ветви пути
|
|
|
множество связанных дуг УГП
|
Какие существуют методы анализа и локализации ошибки?
|
|
|
выполнение программы в уме
|
|
|
пошаговое выполнение
|
|
|
метод контрольных точек и анализа трасс
|
Какие подходы используются для обоснования истинности программ?
|
|
|
доказательство программы 234
|
|
|
эксперимент над программой 3
|
|
|
формальный и интерпретационный 1234
|
|
|
использование аналогий 34
|
Является ли программа аналогом математической формулы?
|
|
|
да
|
|
|
нет
|
|
|
математические формулы и программы не сводятся друг к другу
|
Каковы особенности разработки тестового набора?
|
|
|
определение областей эквивалентности входных параметров
|
|
|
анализ покрытия тестами всех возможных случаев поведения
|
|
|
проверка граничных значений
|
Скачать 0.63 Mb.