Logiscope技术支持（给某省软件评测中心）

测试工具厂商的命运一般都多劫。经过数年的精心研发，多年的市场培养，终于占领了一定的市场份额，掌握了一定的话语权，但此时“危险”往往已经在眼前，其距被收（并）购的命运也就不远了。
以Logiscope为例，作为进入中国的第一个真正意义上的商业测试工具，被广大测试人员所熟悉，但很少人知道其厂商的几次易手。最初是一家法国公司Verilog，在其经营蒸蒸日上的时候，突然被一家瑞典公司Telelogic收购，用于构建其ALM的完整产品线（作为测试线的产品）。被收购的五年间，其版本更新明显放缓（v5.0-v6.x），几乎是停滞不前，因为Telelogic的重心在其需求管理、软件建模方面，而不在测试。在此期间，其他曾经落后的厂商已经赶上并超过它了。而今Telelogic又被IBM并购，个人认为Logiscope已经没有明天了。

另一个典型的是CodeTest，最初是AMC的一款非常有特色的产品，2002年却被Metrowerks（摩托罗拉旗下的一家子公司）收购，后又被FreeScale收购。到现在为止，市场上已经不能独立的买到CodeTest了，因为其被FreeScale改造的只能支持自家的芯片，最初AMC曾广泛支持的其他厂商的芯片已经不再支持了。CodeTest已经接近于“死亡”了。

还有我的PolySpace，伤心呀！

闲话不多说了，言归正传，本来以为Logiscope已是昨日黄花，没想到某省软件评测中心竟然还在咨询这个产品，还提了几个技术问题，凭着记忆回答一下吧。

1、动态覆盖率测试能否支持目标机的测试，如：ARM,Linux的，是否需要其他模块进行支持。

   Logiscope的TestChecker模块支持基于目标机的嵌入式软件覆盖率测试，支持的嵌入式操作系统为Vxworks和pSOS，和具体的硬件平台无关。

2、代码规则检查支持多少条规则？是否支持MISRA C-2004标准？

  Logiscope的Review模块支持代码规则的检查，其中支持C语言93条标准规则，C++语言89条规则，MISRA模块支持MISRA C-2004标准（需要单独购买）。

3、最终测试报告是中文还是英文，什么格式的？是形成整体报告还是每部分测试一个报告？

  最终报告是英文，HTML格式和Word格式。不同的测试形成不同的报告，相互独立。

4、对于复杂度分析、数据流、信息流是否支持？我没有看到相关内容？

  Logiscope的Reviewer模块支持复杂度的度量，支持数据流和信息流的分析。

5、覆盖率测试都包括哪些？

  Logiscope的TestChecker支持的覆盖率类型为判定覆盖（ decision coverage），如果需要，也支持修正条件判定覆盖（ modified conditions/decisions coverage (MC/DC) ）（DO-178B要求的最严格的覆盖率，需要单独购买）。