政府采购公告
  
        

上海市政府采购第593号信息--有关软件测试工具

   

一、项目概况：
上海市政府采购中心受使用单位上海市软件技术开发中心委托，采购部分软件测试工具。
二、软件测试工具需求：
第一包：
（1）具体内容：自动检测嵌入式软件运行错误的软件测试工具包：PolySpace 10 developers pack C包括：

  • C Verifier 1――C程序验证器

  • Viewer 10――图形化显示界面

(2) PolySpace 10 developers pack C 应具备如下功能与性能：
1) 支持平台: Linux RedHat 7.3, VALinux 6.2, or Solaris 2.6, 2.7, Windows 98/NT；支持语言: C 。
2) 可以自动和彻底地检查下面的错误：

  • 企图读未初始的变量 

  • 多线程应用中未保护数据的访问冲突

  • 对空指针和越界指针的引用 

  • 对超界数组的访问 

  • 非法类型转换(long to short, float to integer) 

  • 非法的算数运算 (例，除零错误，负数开方) 

  • 整数和浮点数的上溢出/下溢出，

  • 不可达到的代码，死代码

3) 测试过程要求：
Exhaustiveness: 在编译阶段测出所有的（100%）的运行错误。 

  • 检查代码对编译规则的兼容性

  • 可以做单元、集成测试

  • 目标平台支持多种CPU（x86, sparc, m68k, c-167, ppc）

Productivity: 高效率的代码检测过程

  • 不需要人工设计，编写测试用例

  • 不需要人工软件调试

  • 自动生成测试结果报告文档

Ease of use: 简单易用。

  • 非侵入性，无须代码插装（instrumentation），不影响代码执行效率

  • 测试结果清晰，便于定位，分析错误和潜在的危险

  • 培训过程简单，上手快

4) 测试结果要求

  • 用明显标记标出运行错误和死代码，并且源代码敏感

  • 函数调用关系图，多种过滤机制，源代码敏感

  • 多任务环境下共享数据列表，访问关系图，源代码敏感

  • 详细的测试结果报告和代码中错误的统计信息


第二包：
(1) 具体内容：面向中间件应用服务器和面向WEB应用的软件测试工具包：Segue's Silk，包括：

  • Silk Test with Silk Plan Pro and Silk Radar ――面向WEB应用的功能测试和衰竭测试工具包。

  • Silk Pilot――面向中间件应用服务器的功能测试和衰竭测试工具。


(2) Segue's Silk 应具备如下功能与性能：
1) Silk Test with Silk Plan Pro and Silk Radar 应具备：

  • 分布式测试环境，集中控制门户（浏览器方式）可以控制测试代理；

  • 提供自动测试流程的流程化定义功能；

  • 提供对IBM Mainframe和AS/400应用的测试；

  • 具有"端到端"的组件测试能力；

  • 具有测试用例的管理、自动测试，以及SCRIPT测试脚本的跨平台能力；

  • 基于AOL 7标准，全面支持WEB应用的测试能力；

  • 可以通过提供大量的数据，提供工作流类应用的模拟运行功能；

  • 全面支持UNICODE编码标准；

  • 支持各种WEB技术构件，包括 JAVA SERVLET、APPLET等。


2) Silk Pilot 应具备：

  • 面向目标的调试和测试功能：在任一抽象层测试目标组件，各种不同的CORBA应用服务器和J2EE应用服务器，包括 IONA Orbix and OrbixWeb, Inprise VisiBroker for Java and C++, ORBacus and BEA WebLogic Enterprise等。

  • 全面支持对EJB、CORBA、IIOP、RMI、JAVA组件的测试；支持多种应用服务器、ORBs和语言；支持JAVA接口描述及CORBA IDL；测试用例采用XML格式存储。

  • 用户可以大量使用"拖拉"的方式操作；自动发现应用组件（包括EJB、CORBA）的"方法"；无须人工生成测试用例。

  • JAVA代码的自动生成功能，用于服务器衰竭测试，或作为生成实际应用组件的起点。

  • 具有回放记录功能。

  • 能支持各种复杂的任意组合的数据类型。


本项目将进行招标前技术预审。对上述采购信息感兴趣的供应商，请于2003年1月17日前与上海市政府采购中心联系。
请各响应单位提供相关产品的注册证明、系统详细配置、技术性能介绍、同型号市场销售状况（上海地区、近三年）、软件标准报价单；响应单位资格文件（营业执照、税务登记证、产品销售代理证明、法人授权证明等说明文件的复印件）。
所有文件一式二份，并盖单位公章方为有效。

联系地址：上海市陆家浜路1060号1号楼4楼404室（200011）
单位部门：上海市政府采购中心采购部
联系电话： 63781056 /63187493 
传真电话： 63186094 
联系人： 解继涛/秦志龙

上海市政府采购中心
2003年1月10日

  

机构简介|采购目录|采购记事|联系我们

　

建议以IE 4.0以上，800*600或1024*768分辨率，16位增强色浏览

(C)1999-2002 上海市政府采购中心 版权所有  

地址：上海市陆家浜路1060号，东方苑1号楼4楼 邮编：200011  电话：(+86)021-63185500, 63187492  传真：(+86)021-63187494