紫英软件

支持敏捷，拥抱变化：全部的工作集中在模型上，以源头上的模型为中心，承载测试需要的细化分析、修改同步，最终使用的用例和自动化脚本都随着模型的变化而变化，没有不同步的问题，这样能够更好地拥抱变化。.....

QMetry测试管理工具套件：是一个集成的测试管理工具,您可以使用它来创建需求, 可以在多种平台和缺陷运行的测试用例(测试用例集)。它完整的质量测试管理工具，覆盖从测试案例的创建、计划和执行、到缺陷提交和问题解决的全过程，从而大幅降低系统风险并缩短测试工作周期。 .....

是一款功能强大、使用便捷的测试代码覆盖分析工具套件，提供了一种度量手段，帮助您更好地平衡编写代码和测试代码的工作量。它可以帮助工程师准确的判断哪些源代码经过了测试，是否还需要补充测试代码，从而在产品的开发、测试阶段帮助工程师及时发现潜在问题，更好的提升产品质量。.....

开发安全相关的软件（例如：飞机、汽车、火车或医疗设备的相关软件）需要倍加谨慎，还需要付出额外的努力，因为此类软件一旦发生故障，就有可能导致人身伤亡。 .....

工具能够发现的软件缺陷检测，安全漏洞检测、软件度量分析、多线程代码检查、多核代码检查、数据流静态分析、运行时错误检测等，还提供客户可定制的代码分析；同时能与多种主流IDE开发环境的集成，工具面向工程人员采用可视化结构直观展现。 .....

使用Imagix 4D，软件开发者有一个工具可以用来理解、记录和提高复杂度、第三方或者遗留的源代码。自动分析控制流和依赖性。检测数据使用和任务交互中的问题。提高生产率、提高质量和降低风险。适用于C，C++和Java开发者。让相关人员能够加速你的开发速度、提升、再利用和测试，消除误解和BUG。 .....

Testwell CTA++ C++是针对 C++类、库和子系统的单元测试工具。工具套件测试单元可以是一个方法、一个类、一个包、 或者一个子系统。主要是对代码中的很小的单元的测试行为，以确保它们能够按预期工作。 .....

Elvior TTCN-3集成开发环境，是 TTCN-3完成测试脚步+C完成下层模块的架构，集成开发环境能对TTCN-3进行语法检查，再将TTCN-3脚步转成C语言代码，再对整个项目进行编译生成可执行文件。 .....