Oui Java serait mieux, mais à la base la cible c'était l'embarqué, et comme ça fait un bout de temps que le chercheur est dessus (moi je ne suis pas chercheur en fait, hein) il n'a pas changé d'objectif en route : c'est toujours le C embarqué critique, et c'est toujours comme ça que ça marche d'ailleurs dans ce domaine.
Par contre, il y a une thésarde qui bosse pas loin de moi sur Java et la modélisation par contrainte du bytecode, pour la génération de test. Elle arrive même à gérer l'allocation dynamique, elle. Je pense que si elle développe son truc, ça peut effectivement devenir énorme.
Par contre, un petit bémol à tout ça : normalement, le programme va générer des entrées pour atteindre certains objectifs, mais normalement les sorties doivent être données par un oracle. Il peut les calculer, mais à ce moment c'est faire le boulot du programme à se place, et ce n'est pas le but. Bref, on peut prendre une bonne part du boulot des mecs qui font de la valid', mais il y aura toujours de la place pour ceux qui jouent les oracles.
[^] # Re: Tiens c'est drôle
Posté par benoar . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
Par contre, il y a une thésarde qui bosse pas loin de moi sur Java et la modélisation par contrainte du bytecode, pour la génération de test. Elle arrive même à gérer l'allocation dynamique, elle. Je pense que si elle développe son truc, ça peut effectivement devenir énorme.
Par contre, un petit bémol à tout ça : normalement, le programme va générer des entrées pour atteindre certains objectifs, mais normalement les sorties doivent être données par un oracle. Il peut les calculer, mais à ce moment c'est faire le boulot du programme à se place, et ce n'est pas le but. Bref, on peut prendre une bonne part du boulot des mecs qui font de la valid', mais il y aura toujours de la place pour ceux qui jouent les oracles.