INFDA
INFDA是一款集软件项目管理、基线管理、代码版本管控和软件升级变更影响域分析于一体的综合性工具,能够对软件需求与代码逻辑关联关系进行分析,能够对代码质量缺陷、代码变更逻辑、需求与代码变更产生的影响域进行分析,是一款采用了控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种先进技术的软件变更影响域分析的综合性平台。
*姓名
*公司名称
*电话
*邮箱
*验证码
*选择试用产品
iUnit
智能单元测试平台InterruptSafe
中断缺陷检测工具InterFaceTest
接口及协议测试平台INFDA
软件变更影响域分析平台CodeSense
源代码缺陷分析平台BinSearch
二进制代码同源分析平台UniSCA Enterprise
软件供应链安全管理平台XFuzz
软件智能模糊测试平台UniSCA Search
代码成分搜索云平台CodeAnt
开发安全云平台VHawk
HDL代码缺陷检查管理平台VTurbo
芯片配套开发加速工具VShark
Verilog功能仿真工具InfinitPro
多FPGA原型验证系统INFDA是一款集软件项目管理、基线管理、代码版本管控和软件升级变更影响域分析于一体的综合性工具,能够对软件需求与代码逻辑关联关系进行分析,能够对代码质量缺陷、代码变更逻辑、需求与代码变更产生的影响域进行分析,是一款采用了控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种先进技术的软件变更影响域分析的综合性平台。
基于项目、需求、代码、版本矩阵式基线状态管控,支持各要素状态变更审批,加强型号研制的软件工程化管理,增强软件研制的规范性。
采用了控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种先进技术,实现函数调用关系图、文件与函数关系图、函数与变量关系图、控制流程图分析。
基于版本归档点和版本间代码变更影响分析,全面支持代码变更分析场景,提升软件研制质量。
打通需求与代码不同维度壁垒,实现需求层次条目与代码逻辑节点链接映射,实现双向关系追溯。
全面实现需求变更影响域分析、代码变更影响域分析、需求与代码变更影响域拓扑与分析,节省变更分析成本,提升型号研制效率。
支持Windows、Linux、银河麒麟(飞腾)等操作系统,拥有完全自主知识产权。