design-by-contract

3熱度

3回答

這實際上是一個設計問題。我想知道是否Spring3.0 REST Web服務攜帶JSON有效載荷提供了類似於遵循合同優先設計的傳統Web服務的某種數據合同。我知道JSON的架構類似於XSD，但它在春天適合哪裏？背景：我認爲使用json作爲客戶端服務器體系結構項目的有效負載，其中客戶端是基於.NET的應用程序，數據協定應該提供處理多個客戶端版本的方法。客戶端應該能夠將數據結構發佈到服務器。

8熱度

2回答

什麼時候在客戶端和普通GWT代碼中使用斷言

在StackOverflow中有幾個問題討論了何時應該使用assert語句與拋出一些異常的問題。（例如here，here，here，here和here。不過，我已經開始懷疑，斷言與擲的傳統智慧是基於你是一個JVM內運行的假設。在GWT宇宙，你的Java被音譯爲JavaScript並在瀏覽器的上下文中運行，這組折衷感覺不同：斷言在瀏覽器中運行時總是被編譯掉，並且任何能夠縮小JavaScript的

4熱度

3回答

DDD：存儲庫合同

我已經在不同的地方看，在DDD一個重要的要求是具有存儲庫的合同有界： findByName(string name) findByEmail(string email) etc. 而不是提供一個通用查詢接口： findBySpecification(Specification spec) 我明白爲什麼這很重要：能夠模擬Repository進行測試或更改基礎持久性框架。雖然這個規則在整

1熱度

1回答

合同設計：我們可以用合同來表達Stack FILO的財產嗎？

看來，合同的設計對錶達規格有限制。例如，我試圖用合同來表達Stack FILO的財產，但沒有想到。任何人都可以幫忙？我認爲，根本原因是前提條件/後置/不變的是沒有副作用assertations。它導致檢查FILO屬性，這是一種副作用，即使可能也不容易。

3熱度

1回答

爲什麼代碼合同選項卡不出現在VS 2010中？

那天我看到了代碼合同的演示，並決定在一個小測試項目中給它一個鏡頭。在爲類添加'使用System.Diagnostics.Contracts'語句後，我可以適當地設置我的代碼合同代碼，但合同似乎沒有執行。是否有原因導致我在項目屬性屏幕上看不到「代碼合同」選項卡？

1熱度

1回答

如何掃描使用COFOJA編寫的合同中使用的註釋？

我正在開發一個項目，在那裏我必須爲使用COFOJA的方法編寫合同，並且我必須使用啓發式方法從契約生成代碼。 1）我將如何掃描COFOJA中使用的註釋，例如@ requires，@ensures等？ 2）如果我生成抽象語法樹，AST是否也會包含註釋/合同語言？爲前：考慮下面輸入到我的項目 class Test{ @requires({ a> 0}) @ensures({a==0 implie

5熱度

2回答

爲什麼我仍然得到代碼合同：確保未經證實的警告？

下面是一個非常簡單的例子。當我打開靜態分析警告，我仍然得到警告CodeContracts：確保未經證實！Contract.Result（）=的String.Empty 上線回報的String.Format（」 {0}，{1}「， movie.Title，movie.Description）; 請參閱我下面的代碼 namespace CodeContractsSamples { pu

1熱度

3回答

通過與斷言的合同的部分設計

我想對合同的部分實現設計的想法得到一些意見。目標是添加不提供輕量版合同（不變式和僅限後期條件）而不需要外部庫的語言。我的例子是用Java編寫的，但我想這個想法對於很多OO語言來說都是好的。我們有一類這樣的： class myClass{ type1 field1; type2 field2; public myClass(type1 param1){

1熱度

2回答

契約式設計在C＃3.0

我知道，C＃4.0具有Code Contract功能，可以被用來實現後置條件和先決條件。但我想僅使用C＃3.0來實現它。我正在嘗試在我的工作中使用此功能。是否可以使用attributes來實現後置條件和前置條件？任何建議？謝謝。

2熱度

3回答

通過合同工具設計的動作

AS-3是否有工具，如iContract for Java，哪些可以幫助合同設計（DBC）？（靈感來自Pragmattic程序員）。