設定ウォーターフォール

設定ウォーターフォールの概念は、ユーザーが アセンブリ、 フィクスチャ、 および探索 レベルで設定を指定できることを意味します。

• アセンブリ - PexAssemblySettings
• フィクスチャ - PexClass
• 探索 - PexExplorationAttributeBase

アセンブリ レベルで指定された設定は、 そのアセンブリ のすべてのフィクスチャと探索に影響します。 フィクスチャ レベルで指定した設定は、その フィクスチャ のすべての探索に影響します。 子設定が優先されます。 アセンブリ レベルと フィクスチャ レベルで設定が定義されている場合、 フィクスチャ 設定が使用されます。

一部の設定は 、アセンブリ レベルまたは フィクスチャ レベルに固有であることに注意してください。

例

using Microsoft.Pex.Framework;

[assembly: PexAssemblySettings(MaxBranches = 1000)] // we override the default value of maxbranches

namespace MyTests
{
    [PexClass(MaxBranches = 500)] // we override the 1000 value and set maxbranches to 500
    public partial class MyTests
    {
        [PexMethod(MaxBranches = 100)] // we override again, maxbranches = 100
        public void MyTest(...) { ... }
    }
}

フィードバックをお寄せください。

開発者コミュニティにアイデアや機能のリクエストを投稿します。