Hello,
is there any support for "satisfiability modulo theories" in JMP or are there any Solvers available to help Software developers create software testing plans?
Best Olaf
Go to Solution
JMP Pro provides Covering Arrays.
View solution in original post
Thank you Mark,
Covering array are quite useful if all variables are independent of each other.
I am looking for testing situations where factor restrictions have to be considered.
You can define factor constraints in the Covering Array platform. Did you read the chapter about this platform?
