«code-contracts» 태그된 질문

최근에 코드 계약에 대한 Microsoft의 프레임 워크를 우연히 발견했습니다. 나는 약간의 문서를 읽었으며 "정적 분석을 수행하지 않거나 종종 수행 할 수 없기 때문에 왜 이것을하고 싶습니까?" 이제는 다음과 같은 예외를 제외하고는 일종의 방어 적 프로그래밍 스타일을 가지고 있습니다. if(var == null) { throw new NullArgumentException(); } 또한 NullObject Pattern을 많이 …

26 code-contracts 

.NET의 코드 계약에 대해 배우고 있으며 순수한 생성자의 아이디어를 이해하려고합니다. 코드 계약의 문서 상태 : 계약 내에서 호출되는 모든 메소드는 순수해야합니다. 즉, 기존 상태를 업데이트해서는 안됩니다. 순수한 메소드는 순수한 메소드에 입력 한 후 작성된 오브젝트를 수정할 수 있습니다. 그리고 PureAttribute설명서는 다음 과 같이 말합니다. 유형 또는 메소드가 순수함을 나타냅니다. 즉, …

19 c#  .net  code-contracts  pure-function 

나는 다소 방어적인 프로그래머이자 Microsoft의 Code Contracts의 열렬한 팬입니다. 이제는 항상 C #을 사용할 수 없으며 대부분의 언어에서 내가 가진 유일한 도구는 어설 션입니다. 그래서 나는 보통 다음과 같은 코드로 끝납니다. class { function() { checkInvariants(); assert(/* requirement */); try { /* implementation */ } catch(...) { assert(/* exceptional ensures …

13 testing  code-contracts 

나는 사용하는 언어로 주장, 계약 또는 수표를 작성하는 것을 좋아하는 팬입니다. 나를 조금 귀찮게하는 한 가지는 중복 검사를 처리하기위한 일반적인 관행이 무엇인지 확실하지 않다는 것입니다. 상황 예 : 먼저 다음 함수를 작성합니다 void DoSomething( object obj ) { Contract.Requires<ArgumentNullException>( obj != null ); //code using obj } 몇 시간 후에 …

10 assertions  code-contracts 

이벤트 중심 마이크로 서비스 아키텍처의 변경 사항을 처리 할 수있는 옵션을 연구하는 리서치 프로젝트를 진행하고 있습니다. 우리가 4 가지 다른 서비스를받는 애플리케이션을 가지고 있다고 가정 해 봅시다. 이러한 각 서비스에는 로컬 데이터를 저장하기위한 자체 데이터베이스가 있습니다. 이 설정에서 4 개의 서비스는 이벤트 버스를 사용하여 서로 통신합니다. 따라서 서비스에서 어떤 일이 …

9 communication  versioning  microservices  message-queue  code-contracts