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


         

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



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





Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий