design-by-contract

0зной

1ответ

Я использую структуру yii и phpunit. Я могу запустить phpunit test. Но я хочу добавить утверждения в свой контроллер, как описано here. Я думаю, что класс BankAccount не является испытанием. Поэтому

1зной

2ответ

Yii: Дизайн-By-Контракт с PHPUnit

Почему вызов PHPUnit в классе CTestCase работ: require_once('PHPUnit/Autoload.php'); .... PHPUnit_Framework_Assert::assertNotNull($object); Но если я называю это так же, как в файле каталога комп

4зной

1ответ

Различия между контрактом кода и спецификацией #

Я хочу реализовать DBC в C#. Я столкнулся с контрактом SpeC# и Code для него. В чем разница между SpeC# и Code Contract?

1зной

2ответ

Проектирование по контракту и не Fast

Сбой Fast - Fail-быстро это свойство системы или модуля относительно его ответ на неудачи. Неуправляемая система предназначена для немедленного вывода на своем интерфейсе сообщения о неисправности или

0зной

1ответ

Контракты с кросс-интерфейсом

Я рассматриваю интерфейсы не только как набор элементов, но и как «контракт», которые вынуждают реализацию удерживать ограничения, указанные в документации интерфейса. Например: interface IDevice {

1зной

1ответ

Код Контракта и исключение исключений

Мне было интересно, могу ли я использовать контракты Microsoft Code для проверки инварианта, что метод не должен вызывать никаких исключений. Прецедент выглядит следующим образом: У меня есть импортер

0зной

1ответ

Утверждение, Исключение, ошибка времени выполнения или Неопределенное поведение?

Я работаю на конечную государственную библиотеке машины, с этими общественными методами: template <typename STATE_T> void add_state(); // allocate STATE_T on heap - STATE_T must derive from state