云彩店邀请码|半壳|优胜
跟着计划机本领的连接兴盛和计划机体例的普遍运用,软硬件安定性也获得了越来越多的关心。在实际的软硬件开拓进程中,洪量的功夫用来创造和取消软硬件中的缺点。怎样灵验的检验和测定软硬件中大概生存的安定缺点已变成体例安定关心的中心。个中,静态领会因其不须要运转被检验和测定步调的特殊的上风,在软硬件尝试本领中被洪量运用。静态领会经过对步调代码举行领会,赢得步调构造的关系消息,进而实行对软硬件缺点的检验和测定。本舆论鉴于有限状况机表面,贯串静态领会中的准则查看和模子查看本领,安排并实行了一种面向静态领会的规约谈话——SPECL。本舆论精细阐明了SPECL安排思维,提出了一种独力于步调谈话的半领会形式配合办法,对SPECL的语法举行了精致刻画,精细的领会了SPECL的语义,并给出了简直的SPECL刻画的安定本质的范例。正文鉴于ANTLR谈话领会东西,实行了对SPECL刻画的步调准则文献举行领会的SPECL谈话领会器,安排并实行了鉴于笼统语法树的形式配合算法,以及扶助路途敏锐的有限状况机的保护算法。正文以C步调为检验和测定东西,实行了静态领会东西AXEC中的SPECL谈话领会器和准则查看器,实行了对Linux内核代码的安定缺点检验和测定。同声,正文还实行了一个可视化的准则处置体例,用来编纂、机动天生准则形式,并创造了准则形式库。
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/265106.html
本站部分内容来源网络如有侵权请联系删除