Théories du module de satisfiabilité (SMT)Bonjour,
existe-t-il une prise en charge des « théories modulo de satisfiabilité » dans JMP ou existe-t-il des solveurs disponibles pour aider les développeurs de logiciels à créer des plans de test de logiciels ?
Meilleur Olaf
Conception d'expériencesRe : Théories du module de satisfiabilité (SMT)JMP Pro fournit des tableaux de couverture .
Re : Théories du module de satisfiabilité (SMT)Merci Marc,
Les tableaux de couverture sont très utiles si toutes les variables sont indépendantes les unes des autres.
Je recherche des situations de test dans lesquelles des restrictions factorielles doivent être prises en compte.
Meilleur Olaf
Re : Théories du module de satisfiabilité (SMT)Vous pouvez définir des contraintes factorielles dans la plateforme Covering Array. Avez-vous lu le chapitre sur cette plateforme ?
