执行路径与设计蓝图逻辑对齐的软件质量验证系统及方法

本发明涉及软件质量验证，具体涉及执行路径与设计蓝图逻辑对齐的软件质量验证系统及方法，设计逻辑图谱构建模块，将提取的蓝图逻辑元素转化为有向图形式的设计逻辑图谱，为逻辑对齐提供标准化的设计基准；执行路径图谱构建模块，将收集的关键程序执行轨迹数据转化为与设计逻辑图谱结构一致的执行路径图谱；逻辑对齐算法模块，基于图编辑距离计算图谱相似度，量化评估设计逻辑图谱与执行路径图谱之间的逻辑一致性，输出逻辑对齐评分；差异分析引擎，对未能成功逻辑对齐的部分进行深度分析，识别逻辑差异类型，并进行风险等级评估；本发明提供的技术方案能够有效克服现有技术所存在的难以对程序执行逻辑与原始设计意图进行逻辑一致性验证的缺陷。