CombinationStrategy Enumeration

Specifies a strategy for generating parameter combinations.


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

'Usage

Member nameDescription
CoverageExpand parameters based on interaction and path coverage. If no interactions are provided, expand parameters based only on path coverage, seeds, and isolations.
NoneDo not expand parameters, and keep values symbolic.
PairwiseExpand parameters based on pairwise combinations over all parameters. For only one or two parameters, this method is equivalent to Product.
ProductExpand based on their Cartesian product any parameters for which no interactions are declared.

For more information about controlling how Spec Explorer performs parameter expansion during exploration and about declaring interactions, seeds, isolations, and combinations, see the Combination class.


Development Platforms

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

 



Community Additions

ADD
Show: