T-VEC成功案例：通过T-VEC发现火星着陆器的缺陷

通过T-VEC发现火星着陆器的缺陷 (洛克希德.马丁公司)

火星极地登陆器1999年1月3日发射并且在 飞行了3千5百万英里后于1999年12月3日坠毁，总耗资约一亿六千五百万美元 ;在着陆前大约40 米的伪着陆指示应当被降落监控器 (TDM) 忽略，但是由于设计缺陷，事件指示被 “锁存,” 导致引擎被过早关机。

T-VEC的工程师将Lockheed Martin的提供的着陆部分的文本模式的需求用了大概一天的时间使用T-VEC进行形式化的描述，就发现了导致着陆系统失效的问题所在。

Lockheed Martin使用T-VEC结论如下：

• 发现火星极登陆器的缺陷

• 早期发现需求缺陷减少返工

• 可测试的需求帮助排除返工

• 测试计划时间减少50%以上

• 自动测试生成减少90%以上的手工工作

• 对测试用例开发和执行的优化避免了测试冗余

• 可以实行对需求覆盖的计划和度量

• 显著节省费用

关于创景

上海创景计算机系统有限公司创建于2000年2月22日，是首批入住国家软件产业基地—上海浦东软件园的高新技术企业，总部和研发中心设在上海，同时在北京、成都、西安、香港等地设有办事处。公司致力于研究、设计、应用和代理国内外先进的实时系统与软件的开发和测试技术，协助客户快速开发高性能、高可靠的实时系统与软件。通过建立创景独有的优秀企业文化，以高技术、高品质的产品和规范完善的服务体系全面满足客户的需求。

公司产品包括软件测试工具、基于需求与设计的测试和验证工具、实时系统结构化分析与设计工具、嵌入式操作系统、基于UML的实时面向对象可视化建模工具、编译器验证、故障注入工具、虚拟系统开发平台、分布式实时系统网络中间件、DO-178和254认证等相关产品，同时还提供基于这些产品的技术支持和咨询服务。公司客户遍及航天、航空、兵器、船舶、海军、核工业、总参、信息产业、电子、通讯等各个行业。