Sumpraxis forms an alliance with T-VEC as their exclusive partners in India
4th March, 2009
Sumpraxis helps small and medium size companies target global market with global IP strategy, engineering, manufacturing and distribution channels to the largest and fastest growing economies of the world.
Sumpraxis is an active partner for T-VEC in India who handles not only sales & marketing, but also provides after-sales technical support, custom development support. Sumpraxis will provide personalized support to prospects and customers by arranging WebEx sessions / trainings / trial evaluation-license setups.
For more information, please go to www.sumpraxis.com
T-VEC develops some of the world\'s most advanced model-based verification and testing tools. They detect problems early when they are least expensive to correct and prevent them from impacting downstream development activities.
The T-VEC tool suite is composed of three applications:
1) T-VEC Tabular Modeler (TTM)
2) T-VEC Tester for SimulinkÂ®
3) T-VEC Vector Generation System (VGS)
TTM provides an easy to use graphical interface for creating precise and consistent requirements and using these as a basis for: requirement management, automated requirements defect detection, automated test case creation and execution, and requirements-to-test traceability. TTM integrates also with TelelogicÂ® DOORSÂ®.
The T-VEC Tester for SimulinkÂ® and StateflowÂ® performs model checking, test vector generation, test driver and harness generation for The MathWorksÂ® Real Time WorkshopÂ® and MATLABÂ® simulator, test results analysis, and report generation. The T-VEC Tester provides fully automated execution through a GUI integrated within MATLABÂ®, or through command interface for batch processing.
T-VEC VGS is the core engine used by both TTM and the T-VEC Tester to support model analysis, proving system properties, test vector generation, and test drivers for virtually any language supporting test execution in simulation, host, or target test environments, with comprehensive report generation supporting fully hyperlinked documentation, model error analysis, status, and metrics. For more details see www.t-vec.com.
The T-VEC product family has been proven to scale to large systems while fully integrating requirement modeling, model checking, and test generation tools with requirement management, design modeling, and test code coverage tools to provide full life cycle support and tool integration (e.g., DOORSÂ® to LDRA TbrunÂ®). T-VEC test vector generator systematically selects test values at the boundaries (linear and non-linear equalities/inequalities, discrete and floating point computations) associated with the constraints for every thread of a system to provide the most effective test points for exposing defects, while exceeding the MC/DC test coverage criteria required to comply with DO-178B.
In addition, the T-VEC tools provide test vector sequence generation to support verification of dynamic systems with feedback, model checking for both requirement and design models to assist with model validation, and a customizable test driver generation facility allowing generated tests to be targeted to virtually any environment.