抽象释义 编辑
在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息而不进行所有计算。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
Polyspace是静态程序分析的工具，利用抽象释义的方式进行大规模的分析，可以侦测C语言、C++或是Ada程式的源代码中，是否有特定类型的执行期错误，或是证明没有这类的错误。此工具也可以检查源代码是否符合特定的代码标准。