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_de-DE

liliconcom

Erfüllbarkeits-Modulo-Theorien (SMT)

Hallo,

Gibt es in JMP Unterstützung für „Erfüllbarkeitsmodulo-Theorien“ oder sind Solver verfügbar, die Softwareentwicklern bei der Erstellung von Softwaretestplänen helfen?

Best Olaf

Versuchsplanung

Betreff: Erfüllbarkeits-Modulo-Theorien (SMT)

JMP Pro bietet Covering-Arrays .

Betreff: Erfüllbarkeits-Modulo-Theorien (SMT)

Danke Mark,

Überdeckende Arrays sind sehr nützlich, wenn alle Variablen voneinander unabhängig sind.

Ich suche nach Testsituationen, bei denen Faktorbeschränkungen berücksichtigt werden müssen.

Best Olaf

Betreff: Erfüllbarkeits-Modulo-Theorien (SMT)

Sie können Faktorbeschränkungen in der Covering Array-Plattform definieren. Haben Sie das Kapitel über diese Plattform gelesen?

Comments

There are no comments yet