|
测试工具产品
ATTOL Testware
ATTOL Testware
自动生成测试代码的软件测试工具,特别适用于嵌入式实时应用软件单元和通信系统测试,在法国市场居领先位置。
CodeTEST
Applied Microsystems Corp.
广泛应用的嵌入式软件在线测试工具
GammaRay
北京科银京成技术有限公司
GammaRay系列产品主要包括软件逻辑分析仪GammaProfiler、可靠性评测工具GammaRET等。
LOGISCOPE
Telelogic
工具套件,用于代码分析、软件测试、覆盖测试。
LynxInsure++
Lynx Real-Time Systems
基于LynxOS的应用代码检测与分析测试工具
MessageMaster
Elvior Ltd.
测试嵌入式软件系统工具,向环境提供基于消息的接口
MULTI* Run-Time Error Checker
Green Hills Software, Inc.
实时错误检测工具,通过向程序中插入特殊代码来实现这种错误检测
Test Expert
Silicon Valley Networks
测试管理工具,能管理整个测试过程,从测试计划、测试例程、测试执行到测试报告。
Test Vector Generation System
T-VEC Technologies, Inc.
提供自动模型分析、测试生成、测试覆盖分析和测试执行的完整工具包,具有方便的用户接口和完备文档支持。
TestQuest Pro
TestQuest,Inc.
非插入码式的自动操纵测试工具,提供一种高效的自动检测目标系统获取其输出性能的测试方法。
TestWorks
Software Research, Inc.
一整套软件测试工具,既可单独使用,也可捆绑销售使用
VectorCAST
Vector Software, Inc.
由6个集成的部件组成,自动生成测试代码来为主机和嵌入式环境构造可执行的测试架构。 |
|