计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
28期
1-6,105
,共7页
终止性%命令式程序%秩函数%尺寸变化终止(SCT)分析%模型检验
終止性%命令式程序%秩函數%呎吋變化終止(SCT)分析%模型檢驗
종지성%명령식정서%질함수%척촌변화종지(SCT)분석%모형검험
作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注.旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助.给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比.总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架.
作為軟件完全正確性的重要組成部分,程序終止性受到越來越多的關註.旨在跟蹤國內外針對命令式程序的終止性驗證方法,調研該領域的最新研究成果,同時提齣解決該問題的建議性方法框架,對命令式程序終止性研究提供有意義的幫助.給齣瞭程序終止性問題的定義,介紹瞭已有的數值程序、堆操作程序終止性驗證方法,併分彆進行瞭分析與對比.總結瞭噹前研究中存在的難點與熱點問題,給齣瞭一種基于模型檢驗的C程序終止性驗證框架,該框架可以作為研究命令式程序終止性的基本框架.
작위연건완전정학성적중요조성부분,정서종지성수도월래월다적관주.지재근종국내외침대명령식정서적종지성험증방법,조연해영역적최신연구성과,동시제출해결해문제적건의성방법광가,대명령식정서종지성연구제공유의의적방조.급출료정서종지성문제적정의,개소료이유적수치정서、퇴조작정서종지성험증방법,병분별진행료분석여대비.총결료당전연구중존재적난점여열점문제,급출료일충기우모형검험적C정서종지성험증광가,해광가가이작위연구명령식정서종지성적기본광가.
