Je bosse à l'INRIA sur un programme qui fait quasi-exactement ça ...
Le but c'est de générer des cas de test, et en particulier sur les cas limites, tout en pouvant choisir les types d'entrée qu'on a. On fait ça sur un ensemble restreint du C (pas d'allocation dynamique, pas de récursivité, ...).
Par contre effectivement, c'est un problème qui peut parfois partir à l'infini sur certains programmes, du fait du problème de décidabilité. On ne peut pas résoudre tous les problèmes, mais pour le domaine auquel on s'intéresse (C embarqué critique) ça marche plutôt pas mal.
Ça devrait sortir d'ici la fin de l'année (oui, c'est vague) sous une licence plutôt libre (genre GPL ou CeCiLL).
Et les mots clés pour nous (qui ne sont peut-être pas les tiens), c'est "constraint based testing".
# Tiens c'est drôle
Posté par benoar . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
Le but c'est de générer des cas de test, et en particulier sur les cas limites, tout en pouvant choisir les types d'entrée qu'on a. On fait ça sur un ensemble restreint du C (pas d'allocation dynamique, pas de récursivité, ...).
Par contre effectivement, c'est un problème qui peut parfois partir à l'infini sur certains programmes, du fait du problème de décidabilité. On ne peut pas résoudre tous les problèmes, mais pour le domaine auquel on s'intéresse (C embarqué critique) ça marche plutôt pas mal.
Ça devrait sortir d'ici la fin de l'année (oui, c'est vague) sous une licence plutôt libre (genre GPL ou CeCiLL).
Et les mots clés pour nous (qui ne sont peut-être pas les tiens), c'est "constraint based testing".