Conformiq Qtronic is our tool for automatically designing and creating test cases. The tool uses a high-level system model as its input. It calculates a high-quality set of test cases mathematically from the system model and exports the test cases in user-definable formats, for example TCL, TTCN-3, Visual Basic, HTML, XML, or Python.

Based on the Eclipse environment, Conformiq Qtronic is available cross-platform for Windows as well as for Linux and other UNIX variants. Available both as a stand-alone application and as an Eclipse plug-in, the tool can be easily installed and deployed without prior knowledge about Eclipse, but it also fits seamlessly into an existing Eclipse-based workflow.

http://www.conformiq.com/qtronic.php