Combination.Seeded Method

Indicates that a set of conditions defines a seeded condition.

Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static void Seeded (
    params bool[] conditions
)

Parameters

• conditions
  The set of conditions that defines the seeded condition.

Example

The following Cord script example indicates that for the KCombination action, Spec Explorer should seed the parameter generation process with three distinct combinations: one in which k is greater than n, one in which n is zero, and one in which k is zero.

action abstract static int Adapter.KCombination(int n, int k)
    where
    {.
        Combination.Seeded(k > n);
        Combination.Seeded(n == 0);
        Combination.Seeded(k == 0);
    .};

Remarks

Use this method to declare conditions that should seed the parameter generation process.

For each seeded condition, Spec Explorer produces at least one combination, independent of interaction coverage goals. If the parameter expansion point for the enclosing rule is set to ParameterExpansionPoint.OnExit, Spec Explorer automatically generates seeds for each path condition.

Spec Explorer does count seeded combinations towards interaction coverage.

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

Change History

See Also

Reference

Combination Class
Combination Members
Microsoft.Modeling Namespace