Результаты поиска по запросу "microsoft-contracts"

1 ответ

Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.

soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...

4 ответа

Контракты кода .NET 4.0 - Как они повлияют на модульное тестирование?

4 ответа

Контракты кода .NET 4.0 - Как они повлияют на модульное тестирование?

Например этостатья [http://odetocode.com/Blogs/scott/archive/2009/02/24/12574.aspx]знакомит их. В чем выгода? Статический анализ кажется классным, но в то же время он не позволил бы передать значение null в качестве параметра в модульном тесте. ...

ТОП публикаций