具备专业的白盒测试技术,承包白盒测试项目,基于源代码实施测试,主要包括:词法分析与语法分析、静态错误分析、动态检测等。承接可靠性要求极高的项目:军工软件、航天航空软件、工业控制软件等等。针对不同的开发语言、代码覆盖的深度、嵌入式软件的测试、测试的可视化等选择不同的白盒测试工具,对源代码进行的测试,针对不同的开发语言,测试包括:标准CC++、C#Java等。白盒测试项目,针对内部逻辑结构、对所有逻辑路径进行测试。我们使用的白盒测试工具有:

    Jcontract Java 实时性能监控以及分析优化

 

  C++ Test C,C++ 代码分析和动态测试

 

  .test .Net 代码分析和动态测试

 

  logiscope c/c++ Verlog公司的静态、动态分析工具

 

  Rational工具集中的puricoveragepurifyquantify

 

  Compuware白盒测试工具集

 

  BoundsChecker C++,Delphi APIOLE错误检查、指针和泄露错误检查、内存错误检查

 

  TrueTime C++,Java,Visual Basic 代码运行效率检查、组件性能的分析

 

  FailSafe Visual Basic 自动错误处理和恢复系统

 

  Jcheck M$ Visual J++ 图形化的纯种和事件分析工具

 

  TrueCoverage C++,Java,Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪

 

  SmartCheck Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪

 

  CodeReview Visual Basic 自动源代码分析工具

         Xunit白盒测试工具集