基本信息
文件名称：程序切片的条件编译安全性验证.pdf
文件大小：4.84 MB
总页数：22 页
更新时间：2025-11-06
总字数：约1.38万字
文档摘要
程序切片的条件编译安全性验证
I目录
■CONTENTS
第一部分程序切片的编译机制概述2
第二部分有条件编译对程序切片安全性影响3
第三部分启发式算法对条件编译理策略6
第四部分约束求解理论对条件编译建模8
第五部分程序切片安全性脸证方法论II
第六部分约束属性归约和模型检测13
第七部分切片结果准确性评判指标16
第八部分实验评估和验证实践19
第