9

.NET 4.0 コード コントラクトで使用する静的アナライザーは、Visual Studio の Team Suite エディションでのみ利用できるようです。これは、私のチームの予算をはるかに超えています。

コントラクト スタイル コード (必ずしも .net コード コントラクトを使用する必要はありません) による設計の同様の静的分析を提供する代替手段 (オープン ソース、無料、または手頃な価格) はありますか。完全な価値はBCL自体が契約を結んだときにのみ発生するため、答えはノーになると思いますが、途中で進むものはありますか?

4

2 に答える 2

2

それがあなたが探しているものかどうかはわかりませんが、 Frama-C とそのC 用のACSL注釈言語を見ているかもしれません。

.NET コントラクトと比較して、ACSL コントラクトは実行可能ではありませんが (ランタイム アサーションでチェックすることは不可能です)、静的分析により適しています (より表現力があり、完全な仕様を記述して静的にチェックすることができます)。少なくとも理論的には)

于 2009-10-31T19:51:35.803 に答える
0

VS2010 Premium で静的解析を使用しています。

于 2011-04-12T18:22:09.240 に答える