PexRandomExplorableStrategyAttribute 类
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
在边界内生成赋值函数的随机序列。
public ref class PexRandomExplorableStrategyAttribute sealed : Microsoft::Pex::Framework::Explorable::PexExplorableStrategyAttributeBase[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)]
public sealed class PexRandomExplorableStrategyAttribute : Microsoft.Pex.Framework.Explorable.PexExplorableStrategyAttributeBase[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)>]
type PexRandomExplorableStrategyAttribute = class
inherit PexExplorableStrategyAttributeBasePublic NotInheritable Class PexRandomExplorableStrategyAttribute
Inherits PexExplorableStrategyAttributeBase- 继承
-
PexRandomExplorableStrategyAttribute
- 属性
构造函数
| PexRandomExplorableStrategyAttribute() |
创建适用于所有类型的随机可探索对象策略。 |
| PexRandomExplorableStrategyAttribute(Type, String[]) |
创建适用于一组（可能为泛型）类型的随机可探索对象策略。 |
| PexRandomExplorableStrategyAttribute(Type[]) |
创建适用于一组（可能为泛型）类型的随机可探索对象策略。 |
属性
| Count |
获取或设置最大序列长度。 |
| MaxLength |
获取或设置最大序列长度。 |
| Name |
获取此包的名称。 (继承自 PexExplorationPackageAttributeBase) |
方法
| AfterExploration(IPexExplorationComponent, Object) |
在探索结束之后执行的回调。 (继承自 PexExplorationPackageAttributeBase) |
| BeforeExploration(IPexExplorationComponent) |
在探索开始之前执行的回调。 (继承自 PexExplorableStrategyAttributeBase) |
| CanCreateSession(TypeEx) |
确定此实例是否可以创建指定类型的会话。 |
| CreateSession(IPexExplorationComponent, TypeEx) |
创建新会话。 |
| Decorate(Name, IPexDecoratedComponentElement) |
此方法可以向 IntelliTest 公告筛选器、焦点和包。 (继承自 PexExplorationPackageAttributeBase) |
| Initialize(IPexExplorationEngine) |
初始化指定的探索包。 可以与服务进行交互。 (继承自 PexExplorationPackageAttributeBase) |
| Load(IContainer) |
此方法提供安装或替代服务的机会。 (继承自 PexExplorationPackageAttributeBase) |
| Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext) |
在特定可见性上下文中验证属性。 (继承自 PexComponentElementDecoratorAttributeBase) |