design-by-contract

9熱

3答えて

Rの関数の前提条件と事後条件をチェックして文書化するための慣用的な方法は何ですか？Eiffelはrequireとensureのコンストラクト、またはというブロックで構成されていると考えていますが、ほとんどの言語ではこれらのベークが行われていないため、それらを近似するベストプラクティスが開発されています。前提条件を確認することによって、関数の前提条件を満たさないデータが渡された場合に実行時例外が発

1熱

1答えて

契約による前提条件の設定

このインタフェースに基づいてJavaで電卓を作成する必要があります。 public interface CalculatorIF { int add(int x, int y); int sub(int x, int y); int mult(int x, int y); //double div(int x, int y); //int sqrt

3熱

1答えて

ACSL事後条件での\ oldの意味

私はFrama-Cの初心者ユーザーであり、アサーションに関するいくつかの質問がポインタを超えてです。を含む以下C断片検討：二つの関連データ構造データと、S。T.ハンドルHandleはDataへのポインタを持ちます。仮説的な操作が完了したかどうかを示す「状態」フィールド init（）、start_operation（）およびwait（）の3つの関数。 main（）関数上を使用して、6つのアサ

2熱

1答えて

null以外のnull可否アノテーションの意味を作る

nullable、つまりNonNullとNullableに関するアノテーションを正しく使用する方法については明確ではありません。私は、次のようなもので、本当に快適ではないです： public void foo(@NonNull ArrayList<CustomObject> list) { CustomObject o = list.get(0); //etc } 1）は、非感守

15熱

1答えて

引数チェックやその他のパラノイアの一般的なLispイディオムはありますか？

この質問は、プロダクションミッションクリティカルなCommon-Lispコードのコーディング規約、ベストプラクティス、スタイルについてです。私はGoogleのCommon-Lispスタイルガイド（http://tinyurl.com/qfvnqcx）を読んだが、私が具体的な懸念事項に明確に触れているものは見つからなかった.C/C++やJavaなどとは対照的に、 LispコードはGithubをベース

1熱

1答えて

XMLこの要求/応答構造の概念と技術的な欠点は何

： A）OrderAttributes要素は、以下のXML内の文字列が含まれています <xs:element name="OrderRequest"> <xs:complexType> <xs:sequence> <xs:element name="OrderID" type="xs:integer"/> <xs:element name=

1熱

3答えて

"機能が終了する前に満足する必要がある要件"です。 postconditionの正しい定義は、Pythonで？、著者は定義として事後条件：で

は、「コンピュータ・サイエンティストのように考える方法Pythonは考える」：、それが終了する前に機能が満たすべき要件。また、彼は述べている：は逆に、関数の最後の条件は、事後条件です。事後条件には、意図した機能の影響（描画線セグメントなど）とその他の副作用（他の変更を行うタートルまたはの移動など）が含まれます。だから、我々は肯定を返す（つまりは、それがために必要とされる）しなければな

0熱

1答えて

例外は有効な事後条件ですか？は、すべての有効な入力され <pre><code>public interface AISPI { public Path getPath(Entity entity, Entity target, World world) throws NoPathException; } </code></pre> 確かそのエンティティ、ターゲット、および世界：

は、次のインタフェースを考えてみましょう。しかし、パスを見つけるために使用されたアルゴリズム（この場合はAstarです）は、パスを見つけることができません。ターゲットの位置はコンクリートの壁で囲まれています。は、事後条件がエンティティにターゲット（目標に開始）または（パスが見つからなかったことを考えると）NoPathExceptionからパスのいずれかであることの状態には有効ですか？ - は、

2熱

1答えて

クラスの初期化リストの前にアサーションを配置するにはどうすればよいですか？

初期化リストが呼び出される前に、クラスコンストラクタのパラメータについて何かをアサートすることはできますか？ class Foo { int m_lower; int m_upper; unsigned int m_delta; public: Foo(int t_lower, int t_upper) : assert(t_low