首页 > 华企学院 > 网站基础 > 形式化静态分析中用到的实现技术

形式化静态分析中用到的实现技术

作者:华企商城小编  浏览量:78   发布时间:2014-11-10 11:44:56

   形式化静态分析中用到的实现技术

  模型检查假设系统是有限状态的、或者可以通过抽象归结为有限状态。

  抽象解释将每条语句的影响模型化为一个抽象机器的状态。相比实际系统,抽象机器更简单更容易分析,但其代价是丧失了分析的完备性(并不是原始系统中的每种性质在抽象机器中都是保留的)。抽象解释当且仅当抽象机器中的每一个性质都能与原始系统中的性质正确映射时,才被称作可靠(sound)的。

  断言在霍恩逻辑中首次被提出。目前存在一些针对特定程序设计语言的工具,例如ESC/JAVA和ESC/JAVA2中分别使用的SPARK语言和JML语言。文章由,企业建站程序http://www.netshop168.com/,整理发布。

华企商城更多商品介绍:在线订餐系统    微信营销实现精准信息推送  企业QQ内部管理

文章转载请注明出处:http://www.netshop168.com/article-273.html


精品推荐
下一篇:什么是网站代码?
上一篇:常用的程序静态分析技术
相关文章

华人企业网
关注微信公众号
享受更多优惠

 

消费者最喜爱的网站TOP100 | | 网络社会征信网 | 北京工商 | 法律顾问 | 京ICP备07504386号-6 | 网站地图