您的位置:白盒测试
白盒测试
作者:上海浦东软件平台有限公司 时间:2015-3-4 来源: 
 

1.服务内容

 

1)静态数据流分析:

利用工具对CC++代码进行静态扫描,分析软件中全局变量、局域变量及过程参数的使用状况,检查软件系统中函数间的调用关系以及函数的控制流程图,对照系统的设计文档,证实代码功能的实现是否符合设计的要求,分析测试结果,根据测试的结果,在系统中快速查找出错的业务模块,达到快速定位有缺陷模块的目的,便于客户解决相关缺陷。

 

2)代码规格检查:

检测使用CC++语言编写的代码是否符合MISRA C/MISRA C++、国军标GJB-5369等代码规则集,利用自动化测试工具进行代码扫描分析,测试结果报告具有HTML格式和ASCLL多种格式,点击错误链接可以直接准确、高效定位到错误代码,方便修改,还可以生成代码注释报告,工具分析每一句代码,然后对不符合规则的代码作以注释,使得开发人员可以方便自查错误和具有设计缺陷的代码。

 

3)单元测试:

通过设计测试用例,利用工具对CC++语言编写的代码进行单元测试,通过各种分支、逻辑、语句等覆盖方式,找到函数级代码存在的输入输出流问题,将代码问题精确定位至某一个函数,便于客户将输入输出流中出现的问题定位至对应函数。

 

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-mailsts@pd-sts.com

地址:上海市张江高科技园区郭守敬路498号浦东软件园6幢14301-14314座