公�介�

市场

方案概述

T-VEC Technologies®�供了最先进的测试��生�系统，支��自T-VEC表�建模工具(TTM)和Simulink Tester的模型转�，模型检查，以�测试��生�。TTM�供了需求管�，并支�需求建模，模型转�到T-VEC测试��生�系统。Simulink Tester�供了�自MathWorks的Simulink/Stateflow到T-VEC测试��生�系统的模型转�。

LDRA工具套件与T-VEC 工具套件集�使得T-VEC 用户能完全实现代�，设计和质�评审，以�符�DO-178B认�的代�覆盖率分�。 T-VEC用户通过采纳��和动�分�技术�从早期的错误检测和标准（如MISRA C/MISRA-C:2004, DO-178B, IEC 61508）验�中获利。该方案对C/C++和Ada 83/95�代�是有效的。

在嵌入�市场，LDRA是供应自动化软件测试和分�工具的领导者。LDRA�供了统一的测试平�，有助于团队快速的测试嵌入�系统并�时�布安全的任务苛刻性的软件。 自动化的�元测试，代�覆盖率分�，代�评审，质�评审，设计评审和测试需求跟踪对开�人员/测试人员�说是�常关键的解决方案，这样能解决测试嵌入�软件和管�测试需求跟踪带�的挑战。LDRA工具套件支�C/C++, Ada 83/95 和汇编。

公�概述

T-VEC科技公�通过需求驱动和设计驱动的基于模型的开�工具自动生�测试��，是一个全�方案的主��供者。T-VEC 方案使组织能够��产��系统和软件开�生命周期与商业目标一致，而且当严�的�少上市时间和全部花费的时候，客户�惊人的改善系统的质�和�预测性。

T-VEC的总部在Herndon, 用户验�的产�主�有航天, 航空, 汽车, 医疗, 国防, 和别的嵌入�产�。