Hi I'm playing around with a stochastic model - which by the way is really cool that Spec Explorer supports this!
To generate tests from my stochastic model I need to specify the AllowUndeterminedCoverage = true switch. But I have a hard time figuring out why I need to do that? I can't really imagine any stochastic model where you would get deterministic coverage.
Wouldn't I always have to set the flag, and if so, then what is the point in setting it?
The switch "AllowUndeterminedCoverage" was added based on the concern that, when a traversal covers certain branches/requirements, people may take it for granted that after tests are executed, those branches/requirements are covered. This is not true
when there's non-determinism in the transition system, as SUT may have implementation non-determinism which results in never covering certain choices in the system. Setting "AllowUndeterminedCoverage" means you explicitly acknowledge that you're aware of such
issue and would like to proceed with testing that way :).
Proposed as answer byYiming CaoWednesday, May 16, 2012 2:01 AM
Wednesday, May 16, 2012 1:57 AM
Microsoft is conducting an online survey to understand your opinion of the Msdn Web site. If you choose to participate, the online survey will be presented to you when you leave the Msdn Web site.