PCCDriver (Model)

Ancestors

• Driver
• PCCDriver

	Attribute name	Description
	PCC_SA_Methods	{None;Sobol method (SA_SOBOL)-SA_SOBOL;Morris methhod (SA_MORRIS)-SA_MORRIS;FAST method (SA_FAST)-SA_FAST;EFAST method (SA_EFAST)-SA_EFAST;}

Probabilistic Certificate of Correctness Driver. Uses probabilistic distribution functions to generate inputs. Generates probabilistic distribution function for each output.

• TestBenchCompositionAspect: Driver, ParametricExploration, TestBenchSuite

• Children: PCCOutput, PCCParameter, PCCParameterBeta, PCCParameterLNormal, PCCParameterNormal, PCCParameterUniform
• Parents: ParametricExploration

• Structural Semantics: CyPhyML.4ml