nav[aria-label="Primary Navigation"] { padding: 0; & ul { list-style: none; width: 100%; display: flex; flex-direction: row; justify-content: start; align-items: start; gap: 30px; padding: 0; & li { margin: 0; } & ul li { list-style: none; } } }

770277_en-US

liliconcom

Satisfiability Modulo Theories (SMT)

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

Design of Experiments

Re: Satisfiability Modulo Theories (SMT)

JMP Pro provides Covering Arrays.

Re: Satisfiability Modulo Theories (SMT)

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)

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

Comments

There are no comments yet

Quick Links

All Categories
Recent Posts
Activity
Unanswered
Groups
Help
Best Of