MathWorks automates test generation for model-based designs
Report from the 2007 Design Automation Conference, June 4-8, San Diego, CA.
-- Test & Measurement World, 6/6/2007 9:06:00 AM
The MathWorks has introduced its Simulink Design Verifier, a software tool that generates tests and proves the design properties of model-based designs. Models can be implemented in Simulink or Stateflow using the Prover plug-in from Prover Technology (www.prover.com).
The Simulink Design Verifier helps to capture design requirements so that the verifier can mathematically prove whether or not those requirements have been satisfied, augmenting traditional simulation methods. The Prover plug-in automatically generates test cases and counterexamples for unsatisfied requirements. www.mathworks.com
