Teorie del Modulo di Soddisfabilità (SMT)Ciao,
esiste un supporto per le "teorie del modulo di soddisfacibilità" in JMP o sono disponibili risolutori per aiutare gli sviluppatori di software a creare piani di test del software?
Il miglior Olaf
Progettazione di esperimentiRi: Teorie del Modulo di Soddisfabilità (SMT)JMP Pro fornisce array di copertura .
Ri: Teorie del Modulo di Soddisfazione (SMT)Grazie Marco,
Gli array di copertura sono molto utili se tutte le variabili sono indipendenti l'una dall'altra.
Sto cercando situazioni di test in cui devono essere considerate le restrizioni dei fattori.
Il miglior Olaf
Ri: Teorie del Modulo di Soddisfabilità (SMT)È possibile definire i vincoli dei fattori nella piattaforma Covering Array. Hai letto il capitolo su questa piattaforma?
