对标德国Tessy、英国Testbed的好的工具有哪些？

上海控安自主研发的SmartRocket TestGrid不错。是一款嵌入式智能化测试工具，对标Tessy、Testbed等国外工具的静态分析、单元测试功能，实现国外工具的国产化替代。该工具利用软件代码分析中的动态符号执行技术实现，分析程序路径，产生满足覆盖率的测试用例并在后台自动执行，对于C代码可以自动生成覆盖率高达100%的测试用例。已为探月工程三期、嫦娥五号等航空航天重大任务提供支撑，并为上海地铁10号线、17号线等多条国内外轨道交通线路提供安全保障。

在以V模型为例的开发模式中，Tessy主要处理右半部分验证和确认中单元/模块测试，集成/组件测试以及系统测试的内容。在V模型的开发模式中，单元测试是第一个测试活动。它阻止了每一类错误，比如算法错误，在V模式的右边向上蔓延，这样可以尽可能早得发现Bug，防止直到后面的测试过程或者直到最终用户那里才被发现，单元测试有经济效益，越早发现bug越好 。

---