Better requirements result in better products at lower cost. Our
requirements tools support creating precise and consistent requirements
and using these as a basis for:
- Requirement Management
- Automated requirements defect detection
- Automated test case creation and execution
- Requirements-to-test traceability
Integration, XML storage, and HTML reports allow easy process integration.
Video: T-VEC's Tool Suite
Automatically verify and test Simulink and Stateflow
models against their implementations.
The T-VEC Tester for Simulink and Stateflow analyzes the target models and generates
test vectors for every logic path.
- Unit, integration and system level tests (MC/DC)
- Model defect identification
- Test harnesses for simulation and execution on target
- Tests traceable to model and requirements
- Integration with code coverage tools such as LDRA
We are experts at verification and tool automation, as well as tool builders.
We can help verify your products in a fraction of the typical time and cost
by applying our tools. Or we can help accelerate your existing process through
- Verification and testing services
- Conformance test suite creation and execution
- Tool automation consulting
- Custom tool development
We know how to get it right the first time. We can help you get there quickly.
View Case Studies