国家知识产权局信息显示，北京康吉森自动化技术股份有限公司申请一项名为“一种高圈复杂度的嵌入式软件单元测试用例自动生成方法、系统、电子设备及存储介质”的专利，公开号CN122925239A，申请日期为2026年8月。

专利摘要显示，本发明提出一种高圈复杂度的嵌入式软件单元测试用例自动生成方法、系统、电子设备及存储介质，属于嵌入式软件测试技术领域。获取待测代码，构建控制流图，将判定节点的条件表达式绑定到出口边；计算圈复杂度，确定是否启用自动路径分析及路径数量上限；遍历控制流图，构造由途经判定节点标识与所选边标签组成的判定向量，通过判定向量等价去重保留代表路径、对其余逻辑等效路径剪枝，输出代表路径集合；按判定向量中边标签走向生成约束项，得该路径的约束列表；对各变量做区间交集收敛得到合法取值区间，并选取代表取值，生成输入参数；输出包含输入参数的测试用例集合。本发明通过路径聚类裁剪与轻量级区间收敛相结合，有效避免了路径爆炸和重型求解开销，提升了测试效率。

天眼查资料显示，北京康吉森自动化技术股份有限公司，成立于1999年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本45287.4247万人民币。通过天眼查大数据分析，北京康吉森自动化技术股份有限公司共对外投资了8家企业，参与招投标项目674次，财产线索方面有商标信息196条，专利信息126条，此外企业还拥有行政许可8个。

声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。

本文源自：市场资讯

作者：情报员