会议论文《面向故障的C++程序全局静态分析框架》发表于第三届全国软件测试会议与移动计算、栅格、智能化高级论坛。该文提出一种针对C++程序的全局静态分析方法,旨在提高软件故障检测的准确性与效率。通过构建程序的全局控制流图和数据流模型,该框架能够有效识别潜在的代码缺陷,为软件质量保障提供有力支持。
文档为pdf格式,0.34MB,总共5页。
举报