Cascade de paramètres

Le concept de cascade de paramètres signifie que l’utilisateur peut spécifier des paramètres au niveau Assembly, Attachement et Exploration :

• Assembly : PexAssemblySettings
• Attachement : PexClass
• Exploration : PexExplorationAttributeBase

Les paramètres spécifiés au niveau Assembly affectent tous les attachements et l’exploration sous cet assembly. Les paramètres spécifiés au niveau Attachement affectent toutes les explorations sous cet attachement. Les paramètres enfants l’emportent. Si un paramètre est défini aux niveaux Assembly et Attachement, les paramètre du niveau Attachement sont utilisés.

Notez que certains paramètres sont spécifiques au niveau Assembly ou au niveau Attachement.

Exemple

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

Vous avez des commentaires ?

Postez vos idées et demandes de fonctionnalités sur la Communauté des développeurs.