serfasdfqwe 240 127 117 144 130 192 300 269 62 281 167 217 185 6 66 247 63 211 78 298 5148 511 4383 6061 2557 5040 3432 2005 5402 6097 5524 383 3678 4883 72 498 2369 3415 5601 3061 prom dress evening dresses bridesmaid dresses party dresses prom dress evening gowns cocktail dresses bridesmaid dresses prom dress party dresses 伟晨豪嘉
GESTE
C++Test
Insure ++
SRET1.O
TCS
SWAT
WEBKing
Parasoft Jtest
Parasoft SOAtest
系统测试工具——半实物仿真测试环境GESTE    [2007-6-19]

GESTE――目前世界先进的嵌入式软件通用仿真测试环境。
GESTE是由我国科技工作者自主研发,拥有独立知识产权的嵌入式软件仿真测试系统,它的研制成功打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏仿真测试环境的空白。GESTE具有国际领先的技术、完善的功能,有助于提高实时嵌入式软件的可靠性和安全性,特别是在航空、航天、船舶以及兵器等重要领域,能有效地发现软件缺陷,避免由于软件缺陷引发的事故,缩短实时嵌入式软件研发周期
[详细信息]
自动化静态测试和单元测试工具——C++Test    [2007-11-15]

自动化静态测试和单元测试工具
[详细信息]
运行中的内存分析和错误检测工具——Insure++    [2007-11-15]

运行中的内存分析和错误检测工具
[详细信息]
SRET 1.0    [2007-6-17]

软件可靠性评估工具,软件可靠性评估工具(SRET 1.0版)包括两大功能模块:软件可靠性增长测试评估和软件可靠性验证测试评估,它将为软件可靠性增长测试中的软件可靠性评估,及验证测试中方案的确定和可靠性参数估计提供计算机辅助工具。
[详细信息]
软件可靠性测试数据自动生成工具——TCS    [2007-6-18]

TCS是一个软件可靠性测试数据自动生成工具,英文名称:Test Case Studio,缩写TCS.TCS为软件可靠性测试提供了一个从软件使用分析,测试输入建模,到测试数据生成的全过程解决方案。能够以图形方式辅助用户完成前期的分析工作,并在此基础上自动生成大量的软件可靠性测试数据,极大减少了可靠性测试费用。TCS生成的测试数据以测试序列的方式组织,能够覆盖被测软件的多个功能或操作,显著的提高了测试效率。
[详细信息]
代码审查辅助工具——SWAT    [2008-5-5]


[详细信息]
网站功能和性能测试工具——WEbking    [2008-5-5]

Parasoft公司之自动化错误预防机制让您在程序发生异常状况前就可有效预防,降低研发及维护成本。
[详细信息]
Parasoft Jtest    [2008-6-4]

Parasoft  Jtest是为Java  EE,  SOA, Web以及其他Java应用程序的开发团队量身定做的一款全面测试Java程序的工具。
[详细信息]
Parasoft SOATest    [2008-9-5]

SOAP 是Web Service的一种通讯协定,可让各种环境的物件,顺利沟通,SOAPtest则是检测此SOAP协定最佳之工具
[详细信息]
联系我们 | 网站地图
版权所有©中国航空工业第一集团公司计算机软件可靠性管理与测评中心市场部
Copyright 2007 http://www.antares-testing.com All Right Reserved.