topic Re: Satisfiability Modulo Theories (SMT) in Discussions

Satisfiability Modulo Theories (SMT)

Olaf — Thu, 04 Jul 2024 19:32:28 GMT

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

Re: Satisfiability Modulo Theories (SMT)

Mark_Bailey — Thu, 04 Jul 2024 20:10:19 GMT

JMP Pro provides Covering Arrays.

Re: Satisfiability Modulo Theories (SMT)

Olaf — Thu, 04 Jul 2024 20:26:03 GMT

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.

Best Olaf

Re: Satisfiability Modulo Theories (SMT)

Mark_Bailey — Fri, 05 Jul 2024 14:59:24 GMT

You can define factor constraints in the Covering Array platform. Did you read the chapter about this platform?