详见附件3：动态测试工具需求（word版）
* 、技术指标
     动态测试工具，用于主机软件、嵌入式软件C/C++程序的自动化测试软件，自动生成测试用例来为主机和嵌入式环 (略) 的测试结构。主要功能包括：自动化单元测试、集成测试、覆盖率分析、回归测试。具体如下：
1) 对高复杂度的C/C++代码能自动生成完整的测试环境，无需编写测试代码，自动生成测试环境和测试用例；
2) 支持测试动态链接库/静态库文件接口（无.C/.CPP代码）测试，针对没有C/C++代码只有库文件的情况，可直接针对库接口生成测 (略) (略) 结果；
3) 支持自动生成测试用例，并根据不同策略自动生成测试用例，支持自动生成基本路径测试用例，支持自动生成满足MC/DC覆盖率的测试用例，支持自动根据参数列的全组合和配对生成测试用例，支持自动生成最大值、最小值、中间值的测试用例；
4) 自动分析如何达到被测程序的MC/DC覆盖率的逻辑，并显示分析结果，给出满足MC/DC覆盖率 * %的真值表用例表格；
5) 支持通过GUI窗口添加测试用例输入和期望值时，并自动根据参数的类型 (略) 填入的值的有效性，如无效，则可提示错误；
6) 自动生成桩函数，提供GUI窗口支持设定桩函数返回值，支持复杂类型的返回值；
7) 测试用例构建，不需要编写测试代码，测 (略) 数据的值都可以在GUI中定义，对于复杂结构体支持良好，无需编写代码即可完成复杂参数类型的支持；
8) (略) ，能够在主机平台或者目标 (略) ，也可以直接在嵌入式 (略) 。执行的目标环境可以通 (略) 设定；
9) 统计代码覆盖率，对代码 (略) 显示，至少支持以下 * 种覆盖率：Statement Coverage(语句覆盖率)、Branch Coverage(分支覆盖率)、MC/DC Coverage、Function Coverage(函数覆盖率)、Call Coverage（调用覆盖率）；
* ) 可以通过自动动画单步回放测试覆盖的过程，支持动画回放方式 (略) 情况；
* ) 提供GUI菜单支持直 (略) 业 (略) 测试，比如支持DO- * B的A~C， ISO * 2,IEC * 8, EN5 (略) 业认证选择覆盖率统计标准；
* ) 支持多种嵌入式环境;
* ) 对于无参/无返回值的函数通过控制 (略) 逻辑；
* ) 支持Compound Test Case（复合测试用例）通过自由组合多个Simple Test Case（简单测试用例）实施集成测试；
* ) 支持针对Ada语言的单元测试环境自动生成， (略) ，编辑，测试结果报告生成；

* 、技术对接要求
    有意向的单位请于 * 日 * 时前， (略) 提交/ (略) 资质信息材料（邮寄地址： (略) 市 * 环路西 * 段 * 号 徐先生（收） 点击查看>> ），并将公司名称、联系人、拟来对接需求的项目名称以短信形式发送至 点击查看>> ：
（ * ） 公司营业执照、税务登记证、组织机构代码证。若具备软件研发方面的资质（如软件企业证书、CMMI认证等）或产品著作权证书等亦可附上。上述材料均提供复印件。
（ * ）投标人近 * 年内在经营活动中没有重大违法记录、无重大质量及安全事故发生的书面承诺书（格式自拟）。
（ * ）投标人未被列 (略) 人名单、重大税收违法案件当事人名单等。
通过资格预审，且参与本次项目需求对接且完全满足指标要求的单位，后续 (略) 邀请竞争性采购。
我单位资质材料审查及需求对接结束后，将向通过的单位发放竞争性采购邀请文件。
（ * ）联系方式
联系人：徐先生
联系电话： 点击查看>> 点击查看>>    邮编： 点击查看>>

详见附件3：动态测试工具需求（word版）
* 、技术指标
     动态测试工具，用于主机软件、嵌入式软件C/C++程序的自动化测试软件，自动生成测试用例来为主机和嵌入式环 (略) 的测试结构。主要功能包括：自动化单元测试、集成测试、覆盖率分析、回归测试。具体如下：
1) 对高复杂度的C/C++代码能自动生成完整的测试环境，无需编写测试代码，自动生成测试环境和测试用例；
2) 支持测试动态链接库/静态库文件接口（无.C/.CPP代码）测试，针对没有C/C++代码只有库文件的情况，可直接针对库接口生成测 (略) (略) 结果；
3) 支持自动生成测试用例，并根据不同策略自动生成测试用例，支持自动生成基本路径测试用例，支持自动生成满足MC/DC覆盖率的测试用例，支持自动根据参数列的全组合和配对生成测试用例，支持自动生成最大值、最小值、中间值的测试用例；
4) 自动分析如何达到被测程序的MC/DC覆盖率的逻辑，并显示分析结果，给出满足MC/DC覆盖率 * %的真值表用例表格；
5) 支持通过GUI窗口添加测试用例输入和期望值时，并自动根据参数的类型 (略) 填入的值的有效性，如无效，则可提示错误；
6) 自动生成桩函数，提供GUI窗口支持设定桩函数返回值，支持复杂类型的返回值；
7) 测试用例构建，不需要编写测试代码，测 (略) 数据的值都可以在GUI中定义，对于复杂结构体支持良好，无需编写代码即可完成复杂参数类型的支持；
8) (略) ，能够在主机平台或者目标 (略) ，也可以直接在嵌入式 (略) 。执行的目标环境可以通 (略) 设定；
9) 统计代码覆盖率，对代码 (略) 显示，至少支持以下 * 种覆盖率：Statement Coverage(语句覆盖率)、Branch Coverage(分支覆盖率)、MC/DC Coverage、Function Coverage(函数覆盖率)、Call Coverage（调用覆盖率）；
* ) 可以通过自动动画单步回放测试覆盖的过程，支持动画回放方式 (略) 情况；
* ) 提供GUI菜单支持直 (略) 业 (略) 测试，比如支持DO- * B的A~C， ISO * 2,IEC * 8, EN5 (略) 业认证选择覆盖率统计标准；
* ) 支持多种嵌入式环境;
* ) 对于无参/无返回值的函数通过控制 (略) 逻辑；
* ) 支持Compound Test Case（复合测试用例）通过自由组合多个Simple Test Case（简单测试用例）实施集成测试；
* ) 支持针对Ada语言的单元测试环境自动生成， (略) ，编辑，测试结果报告生成；

* 、技术对接要求
    有意向的单位请于 * 日 * 时前， (略) 提交/ (略) 资质信息材料（邮寄地址： (略) 市 * 环路西 * 段 * 号 徐先生（收） 点击查看>> ），并将公司名称、联系人、拟来对接需求的项目名称以短信形式发送至 点击查看>> ：
（ * ） 公司营业执照、税务登记证、组织机构代码证。若具备软件研发方面的资质（如软件企业证书、CMMI认证等）或产品著作权证书等亦可附上。上述材料均提供复印件。
（ * ）投标人近 * 年内在经营活动中没有重大违法记录、无重大质量及安全事故发生的书面承诺书（格式自拟）。
（ * ）投标人未被列 (略) 人名单、重大税收违法案件当事人名单等。
通过资格预审，且参与本次项目需求对接且完全满足指标要求的单位，后续 (略) 邀请竞争性采购。
我单位资质材料审查及需求对接结束后，将向通过的单位发放竞争性采购邀请文件。
（ * ）联系方式
联系人：徐先生
联系电话： 点击查看>> 点击查看>>    邮编： 点击查看>>