発生の授業から自動的にユニットテスト?

StackOverflow https://stackoverflow.com/questions/91617

質問

いるツールのままでは単体テストまでのように、 

IPerson p = new Person();
p.Name = "Sklivvz";
Assert.AreEqual("Sklivvz", p.Name);

を自動的に、対応するスタブクラスおよびインタフェース

interface IPerson         // inferred from IPerson p = new Person();
{
    string Name 
    { 
        get;              // inferred from Assert.AreEqual("Sklivvz", p.Name);
        set;              // inferred from p.Name = "Sklivvz";
    }
}

class Person: IPerson     // inferred from IPerson p = new Person();
{
    private string name;  // inferred from p.Name = "Sklivvz";

    public string Name    // inferred from p.Name = "Sklivvz";
    {
        get
        {
            return name;  // inferred from Assert.AreEqual("Sklivvz", p.Name);
        }
        set
        {
            name = value; // inferred from p.Name = "Sklivvz";
        }
    }

    public Person()       // inferred from IPerson p = new Person();
    {
    }
}

知ってい簡単に、ios、androidとmac用にc#とVisual Studioいくつかのこれらは、完全なツール--コマンドラインやwhatnotが自動的に推測される。なければ、そのままツールに、あなたは何点ぐらいになると思い書い(例：延簡単に、ios、androidとmac用にc#から、ライブラリ)?

役に立ちましたか？

解決

何が必要なのは、パーサのための言語（Java）の名前と型リゾルバー.("シンボルテーブルビルダー").

後解析のソーステキスト、コンパイラの多くはリゾルバーという記録の名称の定義とその対応するタイプで、aタイプチェッカー、検証それぞれ表現の有効なタイプです。

通常、名称又は種類ゾルバの苦情ができな定義で設定します。だいたいすることができるようになりますので"未定義"のもることが、問題を引き起こして、明タイプです。

のための

 IPerson p = new Person();

のリゾルバーを知る"人"と"IPerson"な定義されています。まるで

 Foo  p =  new Bar();

ありませんかまたはインターフェースだけるFooがある種の抽象親会社のバー（例えば、クラスまたはインターフェイス）を決定しているので知ってもらいたいと考える限りのツール（"きな構築として、Fooインターフェイス...").を使用してくださヒューリスティック:IFoo、FooとIFooきインターフェースは、どこかで誰かが定義Fooとしてクラスを実現するインターフェース。一度 ツールは、この決定、更新する必要があるそのシンボル表できるよう 他の諸表の作成に

のための

 p.Name = "Sklivvz";

このpでなければなインターフェース（前回の推論、その名前でなければな分野の会員及びその型が文字列からの割りになります。

これにより算書:

 Assert.AreEqual("Sklivvz", p.Name);

名前と型を解決な問題です。

のコンテンツのIFoo、Foo及びそれらを管理するようにすなんでしょうかを取得および設定が個人の味わいです。

これは動作しませんのでどきに複数の主体の同声明

 x = p.a + p.b ;

しかし、bが分野ができない数値型の場合実際にその数値の場合、またはその文字列(この法律のための文字列をJavaでは、購C#).C++ではない"+"という意味がこのオペレーター、バークラスです。ことがたくさんあります。収集 制約, 例えば、"aは一部の不特定多数または文字列"など。そのツールを収集証拠ので、狭線化した設定が可能。(この作品のように言葉の問題:"ジョーさんと七人の息子.Jeffが背が高いのがよSam.Harryできないと表裏一体であSam....者であるジェフのツイン?"の場を集め、根拠を取り外し不可能性).ものではありませんの心配の場合、矛盾に満ちているものです。

すルール。a+p.bの場合、その場で書けなおユニットテストされている。が標準の制約ソルバーがありますされている。（A）

OKしてのアイデアは、今や、このまま実際のか。

最初の部分のことを要するパーサおよび屈曲名および型リゾルバー.必要な制約ソルバーの少なくとも、"確定値の流れを未定義の価値"（些細な制約ソルバー).

当社の DMSソフトウェア-リエンジニアリングツールキット その Java前 うん。DMSツールをビルダーのツールたい方向けのビルドツールセコンピュータlangauges任意です。（"コンピューティングとプログラム断片ではなく数字").

DMSを提供汎用の構文解析、機械を作る"ツリーも前で指定された(例えば、Java、C#のフロントです。その理由を選びましたJava、Java前はすべてその名前をタイプ分解能の機械でのソースできるように折り曲げることの出来る.場合にこだわった些細な制約ソルバーではありませんの曲は、Javaのリゾルバの種類です。DMSようとしてさまざまな樹木に対応するコード片、合体して大きいものである;としてツールを収集した事実のシンボルテーブルで構築のプリミティブ。

どこかで決まる。どのユニットテストツールを参照 れる前に知って全体のイ?(やっぱり食べてすべてのもの？).終了時には、形の断片を種々のメンバを構築するASTのためには、インタフェースDMSご利用いprettyprinterに変換するASTバのソースコードのようだ。

であることをJavaここに当社のJava前は、名前とタイプ。当社のC#のフはいません。これは"単なる"物質の志;誰かが書くものとなっており、多くの作(少なくともこのためのJavaと想像できないC#ん）異なります。

しかし、動作原則として利用DMS.

なにができることその他のインフラとしたアクセスするパーサおよび、屈曲名および型リゾルバー.ることが容易ではないというの取得のためのC#;思MSしてしまうとのパーサで、アクセス名をタイプ分解能がようになります。かモノが解決法はあるでしょうか？

だが必要なため、コード断片を組み立てます。がいこの文字列のハッキング;私は長く経験を接着ビットプログラムとはだい文字列を使って混乱します。喫piecesを代表するコード片のタイプ、しかできない組み合わせ方法の文法を可能に;DMSはこのような散らかっていたとします。

他のヒント

その驚くべきかになったものへと向かったと思います。

あまりないと思いますか解らない心身ともに切り替えます。

ただしようとするのもこのように自分自身のように見つ簡単に、ios、androidとmac用にc#の引き出しおよび設定ができますその理由を言うことができ、簡単に、ios、androidとmac用にc#できないのですが。ようなのでもった線による線応用を適切に簡単に、ios、androidとmac用にc#の作成方法で連鎖されます。

現在といってもいいと思築いため簡単に、ios、androidとmac用にc#ではかろうとしています。で論理的になったという意味ですということになります。

とだけ書いコードしてください、またその練をとることができると生成する全ての骨格にもう一歩。非常に便利です。

される場合はお書き独自の実装いを探すことを示唆しての NVelocity （C#） 速度 (Javaのテンプレートエンジンです。

またこれらのコード発生前になっているという仕事にかります。

で可-少なくとも理論。んで使う csparser 構文解析の単体テスト（コンパイルはできませんので、残念ながら）、そしてそこからそれを取ることです。唯一の問題ではこれには大きな誤りがあることが規格であまり発生試験ユニットから主体の授業(実際、Visual Studioは正確にはこのようにしました。

と思い、実際の問題が非常に専門のパーサです。ですから簡単にいかないのでいいですね。残念ながらいにできるようになることをお書き試験類の作成のオブジェクト):

dynamic p = someFactory.Create("MyNamespace.Person");
p.Name = "Sklivvz";
Assert.AreEqual("Sklivvz", p.Name);

工場オブジェクトを使うことにします。できる場合には、指定されたオブジェクトで作成して返します通常の試験実行時).っていることを確認してくださいこれを記録プロキシ（ DynamicObject という）を無断で複写-複製して使用する通話後もに壊が発クラスファイルもあるテンプレート)を反映したか"って呼び出されます。

一部のデメリット。:

  • を実行する必要があるコード"に"モードでは、迷惑なレベルまでさまざまです。
  • するためにプロキシを"見る"と話録なければならな実行でコード catch ブロック例えば、めます。
  • きにできるようになることをオブジェクトなければなりません。
  • ただし、使用 dynamic;とんでしまいますコンパイル時の安全性その後の走行での性能。

いずみさの、とんでも 安価になっ をより専門のパーサです。

いCodeRushからDevExpress.そして巨大なカスタマイズ可能孔のエンジンです。最高めてくれたりなダイアログボックスです。また機能の作成方法およびインタフェースおよびクラスからのインタフェースが存在しません。

久しぶりに会う幼なじみや同級生にPexは、microsoftプロジェクトユニット検査は、まだ研究

research.microsoft.com/en-us/projects/Pex/

だと思いまはファジングツールキット（https://en.wikipedia.org/wiki/Fuzz_testing).

Al厳しいったものを使用すがRandoop.NET チャンスを生成しユニット試験 http://randoop.codeplex.com/

Visual Studioの船舶ができるようにするのにお役に立。

生成方法スタブ.書くときに呼び出する方法は存在しないから少しスマートタグの名前のメソッドで生成する方法スタブのパラメータだけを生み出していきます。

きない場合はキーボードの人(私)、その後すぐにタイピングに括弧を表す:

  • Ctrl-. (プのスマートタグ）
  • 入 (発生にはスタブ)
  • F12 （定義し、また新しい方法)

スマートタグのみが表示された場合には、IDEを考えるというものはありませんする方法。組み込まれていません。がスマートタグがないので、できる Edit->頭に付けた->の生成方法スタブ.

スニペット.小さなコードテンプレートで発生しやすいビットの共通コードです。あのシーンにしてみれば"[タブ][タブ]").一部複合体のスイッチを生成する場合のための列挙型).で書くこともできます。お場合、"授業"、"プロップ".

参照"変更方法"を生成方法スタブ"をスロー NotImplementedExceptionに対?"情報の断片のGMS.

autoprops.覚えていることが簡単になり:

public string Name { get; set; }

の作成クラス.るソリューションエクスプローラ,RClickのプロジェクト名またはサブフォルダを選択し、 追加時->クラス.型の名前を新しいクラスです。ヒット 入.多くのクラス宣言の名前空間など。

実施ス.している場合、クラスの実施はインターフェースのインタフェース名、一部のスマートタグを選択した場合は、アプリケーションをスタブインタフェースと会員とする。

これらのなかの100%自動化ソリューション探しているので、思い低減についても議論されました。

見ることが必要なとコード生成ツールこのように思うコードを書きした、食器の散乱、けがを防ぐも汎用的でのみ記入する必要があります。おいてsetterか、セッターそうにないから追加のコードであり、事実なんですが...だと主張するのgetter/setter機構にC#です。

から書面していなくても()を使用しなツールが何なのかを理解する前にその動機を書き込みこれらの種類の試験です。

ちなみにするためにしてい NBehave?

使うサイ疑似ために、もっとも必要な単純なスタブ.

http://www.ayende.com/wiki/Rhino+Mocks+-+Stubs.ashx

ライセンス： CC-BY-SA と 帰属
所属していません StackOverflow
scroll top