配资风险 中国电信获得发明专利授权：“基于符号执行的路径搜索方法、装置以及存储介质”

本站消息，根据天眼查APP数据显示中国电信（601728）新获得一项发明专利授权，专利名为“基于符号执行的路径搜索方法、装置以及存储介质”，专利申请号为CN202011306026.0，授权日为2024年12月10日。

专利摘要：本公开提供了一种基于符号执行的路径搜索方法、装置以及存储介质，涉及计算机技术领域，其中的方法包括：采用基于代的路径遍历算法对被测试程序进行路径搜索，基于预设的路径优化函数以及路径选择规则在可执行路径中确定可供选择路径；对各个代的可供选择路径进行分束处理，生成捆绑束；基于与可供选择路径相对应的束内系数和束外系数，对捆绑束以及捆绑束内的可供选择路径进行排序处理；将捆绑束内的可供选择路径以及对应的路径约束输出至求解器，生成新的输入。本公开的方法、装置以及存储介质，对基于代的路径策略算法进行优化，可以增加测试的指向性；在高测试覆盖率的基础上，能够节省计算资源，并提高测试的效率。

今年以来中国电信新获得专利授权1334个，较去年同期减少了61.45%。结合公司2024年中报财务数据，今年上半年公司在研发方面投入了46.59亿元，同比增12.53%。

    

数据来源：天眼查APP

以上内容为本站据公开信息整理配资风险，由智能算法生成，不构成投资建议。

• 中国
• 获得
• 发明
• 电信
• 配资风险