Методы и средства инженерии программного обеспечения



         

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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




Содержание  Назад  Вперед