|
美国T-VEC技术公司(T-VEC
Technologies，Inc.)成立于1996年，是美国系统与软件协会(System
and Software Consortium)成员，专业从事高可靠性、高安全性系统测试与验证技术的研究与产品开发，其基于需求的测试与验证工具已广泛应用于航空、航天、汽车及核电等领域。
T-VEC公司核心技术，即基于需求的测试与验证技术，源于二十世纪八十年代大型航空航天项目，此技术旨在降低复杂系统测试与验证费用，并提高测试与验证的有效性。T-VEC工具集所采用的技术提供了超越其它自动化测试工具的功能和能力，T-VEC通过十几年的时间来发展和完善这些工具使其满足复杂的、使命苛刻型飞行器软件系统的需求。虽然该技术最初是用来满足对质量有极端要求的系统，但同时T-VEC的工具也被用在包括医疗器械，通信系统，信息系统等在内的工业领域用来提高软件质量。二十世纪九十年代初期T-VEC成功地用于航空项目按美国DO-178B进行系统测试与验证，自此在航空、航天及其它高可靠性应用领域得到广泛应用。
T-VEC公司的创始人从1984年DO-178A发布时就专注并参与到
FAA(联邦航空局)的DO-178(Software
Considerations In Airborne Systems and Equipment
Certification)标准的相关工作中。1992年DO-178B发布，同年T-VEC在某项目的认证过程中获得FAA的认可。通过T-VEC的形式化需求建模可支持基于需求的验证，并将基于代码的测试(DO-178A
的要求)转换为基于需求的测试(DO-178B的要求)
。目前T-VEC公司正在参与DO-178C标准的制定，预计该标准将于2008年发布，DO-178C主要增加了面向对象、基于模型的开发和形式化方法的内容
。
T-VEC技术公司除了提供基于需求的测试与验证工具外，还为您提供优秀的培训、咨询、协助开发等各项技术支持，使您在最短的时间内获得必要的测试与验证知识，并掌握T-VEC基于需求的测试与验证工具。
|
