|
1.服务内容
1）静态数据流分析：
利用工具对
C、C++代码进行静态扫描，分析软件中全局变量、局域变量及过程参数的使用状况，检查软件系统中函数间的调用关系以及函数的控制流程图，对照系统的设计文档，证实代码功能的实现是否符合设计的要求，分析测试结果，根据测试的结果，在系统中快速查找出错的业务模块，达到快速定位有缺陷模块的目的，便于客户解决相关缺陷。
2）代码规格检查：
检测使用
C、C++语言编写的代码是否符合MISRA C/MISRA C++、国军标GJB-5369等代码规则集，利用自动化测试工具进行代码扫描分析，测试结果报告具有HTML格式和ASCLL多种格式，点击错误链接可以直接准确、高效定位到错误代码，方便修改，还可以生成代码注释报告，工具分析每一句代码，然后对不符合规则的代码作以注释，使得开发人员可以方便自查错误和具有设计缺陷的代码。
3）单元测试：
通过设计测试用例，利用工具对
C、C++语言编写的代码进行单元测试，通过各种分支、逻辑、语句等覆盖方式，找到函数级代码存在的输入输出流问题，将代码问题精确定位至某一个函数，便于客户将输入输出流中出现的问题定位至对应函数。
2. 测试工具
1）LDRA Testbed
LDRA Testbed有如下
9种组件，可应用到白盒测试各个阶段。
◆ LDRA
Testbed C 基本套件
◆ LDRA
TBsafe for C选件
◆ LDRA
Multi-language C & C++
选件
◆ LDRA
Tbmisra
◆ LDRA
TBrun for C/C++
◆ LDRA
TPG-DSP
◆ LDRA
TPG-Vxworks
◆ LDRA
Tbaudit
◆ RTInsight Pro 通用型
3. 测试流程
4. 测试结果
1）《测试问题报告》
2）《测试报告》
5. 测试费用
收费标准：按软件规模、测试工作量及测试中所需用的资源进行收费。
6. 业务联系方式
电话：（021）61636300
传真：86-21-51314181
E-mail：sts@pd-sts.com
地址：
上海市张江高科技园区郭守敬路498号浦东软件园6幢14301-14314座
|
