I am looking for a tool that would go through a piece of code and would generate a list of all aspects that could / should be tested:
- the interesting values of a variable: especially the values where decisions are based upon
- all the possible combination at logic brenches: the combinations that lead the execution of the code to a specific path
That are two kinds of code that are actual at the moment:
- C code
- model-based development
Thanks for your ideas and support!