Actions
Feature #74
openОпределение пост-покрытий
Start date:
12/17/2009
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
В настоящее время в CTESK cуществует два типа покрытий:
- Глобальные покрытия: информацию о покрытии сбрасывает пользователь, в отчетах отображаются в списке глобальных покрытий.
- Локальные для спецификационных функций покрытия: информация о покрытии сбрасывается автоматически, в отчетах отображаются привязанными к спецификационным функциям.
Необходимо реализовать третий вариант, когда информацию о покрытии сбрасывает пользователь, но в отчетах они отображаются привязанными к спецификационным функциям.
Проект синтаксиса: если к локальному покрытию добавлен модификатор post, такое покрытие автоматически трассироваться не должно. Область видимости его имени и элементов такая же, как и для обычных локальных покрытий: постусловие функции.
specification double sqrt_spec(double x) { pre { ... } coverage C { ... } post coverage D { ... } post { ... } }
Updated by Alexey Demakov about 14 years ago
- Target version changed from 2.8 to 2.9
Actions