单元测试

在多种模拟调试环境，支持有linux下Gcc、ARM调试环境ADS1.2、C51单片机和VxWorks下Tornado等，利用自动化测试工具快速、高效进行黑盒和白盒动态单元测试。黑盒测试主要通过自动化工具通过打桩的方法验证程序单元的功能是否实现，是否与设计文档一致；白盒单元测试主要利用自动化测试工具通过插装的方法，快速、准确地对代码进行覆盖率分析，包括分支覆盖率、LCSAJ覆盖率、函数调用覆盖率、多条件覆盖率、分支条件组合覆盖率、修正条件/判定覆盖率(MC/DC)等，通过覆盖率分析，辅助调整测试用例，按照修改的用例执行测试和覆盖率分析，查找到程序在运行过程中存在的，如编码忽略、设计遗漏、指针链表设计错误等问题，最后生成覆盖率报告，包括有源代码的HTML或ASCII格式的报告、动态调用关系图、动态控制流图和柱状图。单元测试还可以可以进行精确语义分析测试，即工具在程序运行时验证断言的一致性，这包括对变量值的比较判断，工具会根据断言对源代码进行插装处理，加入相应程序，判断断言的内容是否满足，并给出相应结果。

测试流程

提交材料

1、需求分析文档

2、概要设计文档

3、详细设计文档

4、接口设计文档

联系方式

电话：0756-3391848

传真：0756-3396980

电子邮箱：zhsstc@zhuhai.gov.cn

地址：珠海市唐家湾软件园路一号南方软件园D3二层

联系人：罗庆霞