samedi 2 mars 2019

Test input generation for string type

I am having difficulty understanding how I could go about generating test inputs with String fields using Korat. I am able to add domains with primitive types and other non java lang objects. But I would not think that it does not have a way to do this for strings. I used a dummy string wrapper class to get around the restriction of excluding java.lang classes from instrumentation. But this seems clunky.

What am I missing ?

Aucun commentaire:

Enregistrer un commentaire