客 户

Seaweed Systems是军用和航空工业安全苛刻性应用的高性能OpenGL图形驱动及设备的供应商，例如，飞行甲板装置。

使用他们的产品进行产品开发的这个市场关注的是安全苛刻性应用，因此从一开始他们就是是按照DO-178B A级标准来开发OpnGL的驱动程序。

工程需求

针对闪电Ⅱ的项目，Seaweed Systems需要一种能够获取全面的OpenGL驱动覆盖率的方法，该驱动运行于Integrity-178操作系。Integrity-178操作系统是一种高限制的环境，它使用ARINC-653标准来将用户区域隔离开，以防止任何一个隔离区域的失效对其它用户区域的影响。

Seaweed Systems公司的质量官Martin Beeby指出：“在整个Seaweed Systems软件中使用我们自己的自动测试套件能够获得DO-178B A级的结构覆盖率数据是一个挑战。”

由于图形应用有较高的实时性要求，这就要求LDRA工具套件进行插桩要满足：
■ 对系统产生最小影响的同时产生全面、正确的结果。
■ 同时获得3个独立部件的覆盖率信息
- 用户区域/应用空间
- 操作系统内核
- 操作系统中断服务程序(ISR)

Martin继续指出：“以前尝试使用别的工具在将结构覆盖率工具、操作系统和测试套件集成方面取得显著成效。”

“在使用LDRA工具套的过程中，一旦插桩模版和获取覆盖率数据的配置设计好后，它就会自动快速的对Seaweed系统的源代码进行插桩，并作为标准编译过程的一部分；3个部件编译后集成到目标系统。”

“LDRA可以完全支持Seawee使用的任何操作系统”

“基于完整测试用例的运行，测试执行历史数据被LDRA工具套件处理后，生成Seaweed Systems整个系统的覆盖率数据。LDRA工具套件支持全面的灵活的命令行调用方式，可以和Seaweed Systems自动测试套件无缝集成。”

益处

Seaweed Systems应用与使用LDRA 工具套件的主要好处是实现了一套自动结构覆盖并与目标操作系统无关的解决方案。

它使Seaweed Systems有一个很大的优势：用户可以在任何操作系统上使用。

Seaweed Systems与LDRA工具套件的组合在不需要任何额外工作的情况下支持所有Seaweed Systems的操作系统的配置。另外，LDRA工具套件具备DO-178B工具验证资质，它可以到达Seaweed Systems的苛刻性验证目标。

“拥有一个全面的可移植解决方案可以显著的减少工程风险”

未来

过去，Seewead Systems要为他们的客户选择不同的结构覆盖率工具，这导致了Seewead Systems要做更多的努力和承担更多的风险。现在，Seaweed Systems可以使用LDRA工具套件在没有任何风险的情况下，满足不同客户的需求。Seaweed Systems要求今后的所有工程都使用LDRA工具套间进行结构覆盖的测试。

结构覆盖的成功建立在对LDRA工具套件的使用上，Seaweed Systems现在使用TBrun做单元测试，代码评审和功能确认。