This website uses Cookies. Click Accept to agree to our website's cookie use as described in our Privacy Policy. Click Preferences to customize your cookie settings.
Accept
Reject
Preferences
cancel
Turn on suggestions
Auto-suggest helps you quickly narrow down your search results by suggesting possible matches as you type.
Showing results for 
Show  only  | Search instead for 
Did you mean: 
Choose Language Hide Translation Bar
Olaf
Olaf
Level I

Satisfiability Modulo Theories (SMT)

3 weeks ago (236 views)

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

0 Kudos
1 ACCEPTED SOLUTION

Accepted Solutions
Mark_Bailey
Staff Mark_Bailey
Staff
Solution

Re: Satisfiability Modulo Theories (SMT)

2 weeks ago (227 views)  |  Posted in reply to message from Olaf 07-04-2024

JMP Pro provides Covering Arrays.

View solution in original post

0 Kudos
3 REPLIES 3
Mark_Bailey
Staff Mark_Bailey
Staff
Solution

Re: Satisfiability Modulo Theories (SMT)

2 weeks ago (228 views)  |  Posted in reply to message from Olaf 07-04-2024

JMP Pro provides Covering Arrays.

0 Kudos
Olaf
Olaf
Level I

Re: Satisfiability Modulo Theories (SMT)

2 weeks ago (213 views)  |  Posted in reply to message from Mark_Bailey 07-04-2024

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

0 Kudos
Mark_Bailey
Staff Mark_Bailey
Staff

Re: Satisfiability Modulo Theories (SMT)

2 weeks ago (148 views)  |  Posted in reply to message from Olaf 07-04-2024

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

0 Kudos