Контрольные вопросы и задания

1. Назовите формальные методы проверки правильности программ.

2. Какие процессы проверки зафиксированы в стандарте?

3. Какие объекты входят в доказательство правильности программ?

4. Назовите основные методы доказательства корректности программ и базис этих методов.

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

6. В чем состоит отличие техники формального доказательства от символьного выполнения программ?

7. Сформулируйте основные задачи верификации и валидации программ.

8. В чем отличие верификации и валидации?

9. Определите процесс тестирования.

10. Назовите методы тестирования.

11. Объясните значения терминов «черный ящик», «белый ящик».

12. Назовите объекты тестирования и подходы к их тестированию.

13. Какая существует классификация типов ошибок в программах?

14. Определите основные этапы ЖЦ тестирования ПО.

15. Наведите классификацию тестов для проверки ПО.

16. Какие задачи выполняет группа тестировщиков?

17. Какая организация работ проводится для проведения тестирования.