文本框: 网站首页     联系我们     资料下载

软件缺陷无法容忍

 
logo.JPG

 

公司介绍

北京双子测试服务公司Beijing Geminis Technology Co,Ltd)是由一流的软件测试人员于2009年成立的,最初帮助LinuxFreeBSD等开源项目检测大量关键缺陷。公司人员具有多年规则检查,功能测试,单元测试,集成测试,自动化测试经验。

北京双子测试服务公司(Geminis)提供最先进的,可配置的应用于检测软件缺陷和安全隐患的静态源代码分析解决方案。测试基于布尔可满足性验证技术,应用源代码分析引擎,综合分析源代码、编译构建系统和操作系统等可能使软件产生的缺陷。能够准确分析大规模高复杂度代码。

软件测试服务

北京双子测试服务公司Geminis)主要专注解决CC++C#Java源代码中最严重的缺陷。通过对您的构建环境、源代码和开发过程给出一个完整的分析。

静态源代码分析允许我们在软件开发生命周期的早期阶段发现和修复缺陷,节省数以百万计的相关成本。测试代码满足航空DO-178B准则。

测试原理

引擎

功能

路径流程引擎

通过构建一个表示经过每一个函数的所有的路径的图表分析您代码中的每个函数的控制流

数据追踪引擎

用于分析从程序中每个路径中的声明收集的所有的整型和布尔型等数据

统计引擎

用于分析您的代码作为一个整体的行为特征

过程间调用总结引擎

一个主要的创新,可以执行整个程序的分析,分析文件间和模块间的任何层次的复杂的调用链

类型流程引擎

用于提高C++分析中依赖于类层次关系的报告的结果的精度

虚假路径引擎

用于分析每个分支条件,以确定在当前路径它将是真、假或不确定

加速引擎

保存横越每个路径时的每个缺陷分析所收集的信息;消除冗余路径,不需要横越任何不必要的路径来找到最多的缺陷

数据传播引擎

把过程间调用总结引擎产生的所有总结和数据追踪引擎记录的所有数据汇总起来,上下文敏感的过程间分析能力的关键

增量分析引擎

通过缓存分析数据来提高性能,以便后续的分析仅需要包含变化的数据

 

测试服务包含缺陷

down

 

成功客户

 

IBM MicrosoftHPNOKIAMOTOROLANECOracleCiscoSUNNECSONYPanasonic、华为、方正、联想、宝信

 


logo.JPG
© 2009
北京双子测试服务有限公司 保留所有权利