How does TestWeaver compare to tools doing static code analysis, such as PolySpace, Coverity and others?
As with model-checking and other formal methods: the methods have differing strengths, weaknesses and application scope. No method can completely replace the others. In complex projects TestWeaver can find further bugs, even when previously the code analysis was performed. Moreover, TestWeaver can help find bugs that cannot be found at all with static code analysis. Read more…
