承接软件开发业务
承接软件测试业务
承接系统定制业务
静态测试工具
动态测试工具
验收工具
面向软件开发、测试,承接定制任务
在中关村高新技术产业园注册公司
戈弩科技推出静态代码辅助分析工具
戈弩科技推出随机故障验证工具
戈弩科技推出软件缺陷检测平台
面向C、C++、C#、Java的静态代码分析
通过自动分析源代码,格式化代码,生成软件结构报告,复杂度报告,规则检查报告。工具支持的软件复杂度度量,提供所推荐的软件复杂度限度,支持软件质量模型建模,列出软件质量因素:函数的易测试性函数的稳定性函数的易改变性函数的易分析性函数的易维护性
软件随机故障定位
在故障首次发生时就被触发,从而记录下当时系统的整个状态,快速和有效地定位软件随机故障。系统的状态被保存在一块独立的存储区域中,之后作为一个文件传递给开发主机。工具自动分析该文件,给用户呈现系统状态的细节,详细信息覆盖了系统的任何内容,帮助开发人员定位系统故障。
软件缺陷分析,软件验收评价
在软件开发过程中与软件交付验收时利用软件缺陷检测平台对软件进行缺陷扫描分析,自动发现软件中存在的隐含缺陷,有助于及时纠正这些缺陷,可以避免软件在交付后出现故障、质量不稳定的情况发生。