Code Contracts
Download as PPTX, PDF2 likes372 views
Документ посвящен возможности использования Code Contracts в .NET Framework, основанных на концепции Design by Contract, разработанной в языке Eiffel. Он описывает ключевые элементы контрактного программирования, такие как предусловия, постусловия и инварианты класса, а также представление инструмента Spec#. Документ также подчеркивает важность статической и динамической проверки, что делает код более надежным и улучшает его качество.
![По горячим следамContract.Requires(d > 0);Contract.Ensures(Contract.Result<decimal> > 0);[ContractInvariantMethod]private void ObjectInvariant(){Contract.Invariant(d> 0);}[ContractClass(typeof(IFooContract))]interface IFoo[ContractClassFor(typeof(IFoo))]class IFooContract : IFoo](https://image.slidesharecdn.com/codecontracts-100212005347-phpapp01/85/Code-Contracts-11-320.jpg)
Code Contracts
- 1. Первый слайд
- 3. СодержаниеИстория(Eiffel, Design By Contract, Spec#)Возможности Code ContractsИспользование Code ContractsПримерыВопросыПродолжительность ~ 30-40минут
- 4. EiffelБыл создан в 1985 Бернардом МейеромТам появилась концепция Design by Contract
- 5. Design by contract (DbC) Контрактное программирование – это метод проектирования программ, предполагающий четкое специфицирование интерфейсов и описание обязанностей компонентов системы при взаимодействии друг с другом.
- 6. Design by contract (DbC)предусловия – обязательства, которые должны быть выполнены вызывающей стороной перед вызовом методапостусловия – обязательства, гарантирующиеся вызываемым методоминварианты класса – обязательства, что свойства класса будут удовлетворять определенным требованиям. Например, инвариантом для класса PositiveNumber, может быть утверждение, что хранимое число всегда больше или равно 0.
- 7. Spec#Разработка Microsoft ResearchСпециализированный язык на базе C#
- 8. Использование Code Contracts.NET Framework 3.5Необходимо подключить к проекту Microsoft.Contracts.dll.NET framework 4.0Часть Base Class LibraryНе надо дополнительных referenceКонтракты находятся в System.Diagnostics.Contracts
- 9. ВозможностиДинамическая проверкаСтатическая проверкаПоддержка абстрактных классов и интерфейсовГенерация документации
- 10. Демонстрация
- 11. По горячим следамContract.Requires(d > 0);Contract.Ensures(Contract.Result<decimal> > 0);[ContractInvariantMethod]private void ObjectInvariant(){Contract.Invariant(d> 0);}[ContractClass(typeof(IFooContract))]interface IFoo[ContractClassFor(typeof(IFoo))]class IFooContract : IFoo
- 12. ВыводыCode Contracts привносят Design By Contract в .NET мирСтатическая и динамическая проверкаПредусловияПостусловияИнварианты классаИ это просто хорошая практика, которая позволяет сделать код лучше
- 13. СсылкиCode Contracts Projecthttp://research.microsoft.com/en-us/projects/contracts/MSDN Forumhttp://social.msdn.microsoft.com/Forums/en-US/codecontracts/threadsSpec# Projecthttp://research.microsoft.com/en-us/projects/specsharp
- 14. Вопросы?