T-VEC Tester for Simulink

Automated model defect analysis and test vector generation

Highlights

  • Systematic, comprehensive test generation from Simulink models
  • Model checking that identifies model defects
  • Unit, integration, and system-level test generation with Path, Decision and Condition test coverage
  • Test sequences for verifying dynamic systems over multiple sample times
  • Automated test execution within MATLAB simulation environment and against auto-generated code
  • Suitable for software certification under the DO-178B guidelines

Description

T-VEC Tester for Simulink provides an integrated solution for model analysis, automatic test generation, test execution, and results analysis. It analyzes every path throughout the model hierarchy and generates test vectors that exercise the path boundaries. The test selection process produces unit, integration, and system-level test vectors most effective in revealing both decision and computational errors in logical, integer, and floating-point domains. Unreachable paths and other model errors are identified with hyperlinks to the Simulink model elements involved. Test sequence vectors support testing multiple sample times to verify dynamic system response. 

T-VEC Tester for Simulink is used by engineers who develop and test embedded applications with Simulink. It analyzes the compiled version of the Simulink model generated by the Simulink Coder to identify defects in the model and generate comprehensive test suites. Test drivers are automatically generated for executing the tests against the C source code generated by the Simulink Coder or for driving simulations within MATLAB. Testing activities from test design to test result analysis are fully automated. Qualification materials are available for software certification of safety critical applications based on the DO-178B guidelines.

T-VEC Technologies, Inc

3701 FAU Blvd Ste 210
Boca Raton, FL 33431
UNITED STATES
Fax: 800-921-1571
info@t-vec.com

Required Products

Platforms

  • Windows

Support

  • Consulting
  • E-mail
  • On-site assistance
  • Telephone
  • Training

Product Type

  • Verification and Validation Tools

Tasks

  • Control Systems
  • Real-Time Systems
  • Medical devices

Industries

  • Aerospace and Defense
  • Automotive
  • Consumer Electronics