設定ウォーターフォール

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

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

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

一部の設定はアセンブリ レベルまたはフィクスチャ レベルに固有となります。

例

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(...) { ... }
    }
}

フィードバックが欲しい場合

ご意見や機能に関するご要望を開発者コミュニティで投稿してください。