2011年11月3日凌晨,伴随着神舟八号飞船和天宫一号目标飞行器完美对接,载人航天二期工程中的软件质量和软件工程再次受到行业关注。其中,bob半岛·体育的嵌入式软件测试工具——Systemverify嵌入式目标码测试工具成功应用于天宫一号和神舟八号。
Systemverify嵌入式目标码测试工具是目前国内唯一一款不利用插装技术进行目标码测试的工具,对被测软件没有任何干扰,结果真实可信。Systemverify是bob半岛·体育公司拥有自主知识产权的目标码测试工具,完全符合DO-178B的要求,以不插装、无侵扰的技术优势适用于航空航天等安全关键软件的目标码测试阶段。
目标码测试工具能够很好的支持载人航天飞行器中各种处理器和编译环境,在神舟八号和天宫一号研制和验收阶段的测试过程中,目标码测试工具成为测量目标码覆盖率的专用工具。载人航天工程软件专家组给予bob半岛·体育公司该款产品以高度评价。
未来,bob半岛·体育公司凭借十多年的嵌入式软件测试经验,将继续为客户提供更加优质的产品和服务。