search

EvoSuite / evosuite

EvoSuite - automated generation of JUnit test suites for Java classes
http://www.evosuite.org
GNU Lesser General Public License v3.0
841 stars 342 forks source link

DSE functionality #460

Open claudeyj opened 1 year ago

claudeyj commented 1 year ago

Dear EvoSuite authors,

I've been using EvoSuite for some time and it's really amazing. Recently I noticed EvoSuite even contains a DSE module which means it may do what klee can do for llvm. That's thrilling! But later I found when I configure EvoSuite with DSE strategy for a target class and it generated 0 tests. Then I figured out that it seems the DSE functionality is limited to static methods, and I found one comment mentioning this: https://github.com/EvoSuite/evosuite/issues/366#issuecomment-878086824. I also looked into the source code and found the potentially corresponding code here: https://github.com/EvoSuite/evosuite/blob/c82d3b18218e117b4d59622ca62fca675d1ceef2/client/src/main/java/org/evosuite/symbolic/dse/algorithm/ExplorationAlgorithm.java#L198. So here I just wish to confirm with you: is EvoSuite currently partly supporting DSE (only for static methods)? If so, do you have any plans to extend this module?

jose commented 1 year ago

@ilebrero, @jgaleotti, any chance you could answer @claudeyj's question?

claudeyj commented 1 year ago

Sorry for bringing this up again, I wonder whether there's some updated information regarding this question? Thank you so much for your time.