Hello.

Any Matlab users in this group ?

I have been using one tool that automatically generates test vectors
from a Matlab model. The tool even generates test vectors to achieve
the MCDC level of coverage. The one feature of the tool beyond the
test vectors that is pretty cool, is the graphical model coverage
tool that highlights the parts of the model that have been tested,
not tested, and that are unreachable.

Currently, to test procedural code such as C, you need to convert the
code to a Matlab model. This is mostly a lot of cut and pasting, so
the time to do this, and the introduction of translation errors is
not huge. In the future the company is planning to add a C front end
that will directly read the C code and then produce the test vectors
from this.

Let me know if you are interested in finding out more about this tool
or other Matlab related testing tools or formal methods tools or
autocode tools ...

Thanks,

Scott Ranville
Model-Based Software Tools Consultant
www.softwareberet.com