Результаты поиска по запросу "microsoft-contracts"
Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.
soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...
Контракты кода .NET 4.0 - Как они повлияют на модульное тестирование?
Например этостатья [http://odetocode.com/Blogs/scott/archive/2009/02/24/12574.aspx]знакомит их. В чем выгода? Статический анализ кажется классным, но в то же время он не позволил бы передать значение null в качестве параметра в модульном тесте. ...