《软件分析》专辑前言

作者：梅宏 王戟软件分析计算机科学与技术专辑自动分析程序分析程序行为编译过程高级语言

摘要：软件分析（Software Analysis）是以软件为对象通过静态或动态的方法进行人工或自动分析，以验证、确认、监控或发现软件性质（或者规约、约束）的过程或活动．软件分析是计算机科学与技术领域的经典和核心内容，源于人们试图认识程序行为和性质的努力．早期的软件分析主要还是程序分析，是高级语言编译过程的第一步工作，

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社