Сборка: ctesk-1.0.20030331 от 31 марта 2003
Практикум: CTesK 1.00a07 от 6 мая 2003
| Практическое занятие №1. "Тестирование функций, не зависящих от состояния" | ||
| Задание | Статус | Комментарий |
| Задание №1. "Определение ограничений доступа к параметрам" | Компилируется | |
| Задание №2. "Определение ограничений доступа к параметрам спецификационных типов" | Компилируется | |
| Задание №3. "Выделение предусловия" | Компилируется | |
| Задание №4. "Выделение ветвей функциональности" | Компилируется | |
| Задание №5. "Выделение постусловия" | Компилируется | |
| Задание №6. "Использование презначений параметров" | Компилируется | |
| Задание №7. "Использование презначений параметров спецификационных типов" | Компилируется | |
| Задание №8. "Выделение инвариантов типов" | Компилируется | |
| Задание №9. "Выделение инвариантов спецификационных типов" | Компилируется | |
| Задание №10. "Разработка медиатора" | Компилируется | |
| Задание №11. "Разработка спецификации" | Компилируется | |
| Задание №12. "Разработка итератора параметров" | Работает | |
| Задание №13. "Разработка теста в целом" | Работает | |
| Практическое занятие №2. "Тестирование функций, зависящих от состояния" | ||
| Задание | Статус | Комментарий |
| Задание №1. "Определение ограничений доступа к переменным состояния" | Компилируется | |
| Задание №2. "Определение ограничений доступа спецификации" | Компилируется | |
| Задание №3. "Определение ограничений на переменные состояния в предусловии" | Компилируется | |
| Задание №4. "Выделение предусловия" | Компилируется | |
| Задание №5. "Выделение ветвей функциональности по переменным состояния" | Компилируется | |
| Задание №6. "Выделение ветвей функциональности" | Компилируется | |
| Задание №7. "Определение ограничений на переменные состояния в постусловии" | Компилируется | |
| Задание №8. "Использование презначений переменных состояния" | Компилируется | |
| Задание №9. "Выделение постусловия функций" | Компилируется | |
| Задание №10. "Выделение инвариантов переменных состояния" | Компилируется | |
| Задание №11. "Разработка спецификаций для группы функций" | Компилируется | |
| Задание №12. "Построение белого медиатора" | Компилируется | |
| Задание №13. "Построение черного медиатора" | Компилируется | |
| Задание №14. "Разработка медиатора" | Компилируется | |
| Задание №15. "Определение состояния сценария" | Компилируется | |
| Задание №16. "Разработка итератора параметров, зависящего от состояния" | Работает | |
| Задание №17. "Разработка теста в целом" | Работает | |
| Практическое занятие №3. "Тестирование функций, зависящих от состояния, с обобщением состояния" | ||
| Задание | Статус | Комментарий |
| Задание №1. "Определение обобщенного состояния" | Работает | |
| Задание №2. "Разработка итератора параметров, зависящего от состояния" | Работает | |
| Задание №3. "Разработка сценария с обобщенным состоянием" | Работает | |
| Задание №4. "Разработка теста в целом" | Работает | |
| Практическое занятие №4. "Разработка тестов для реальной системы" | ||
| Задание | Статус | Комментарий |
| Задание №1. "Система управления памятью" | Работает | |
Проверку выполнял: Егор Рогов
7 мая 2003 года