微计算机应用
微計算機應用
미계산궤응용
MICROCOMPUTER APPLICATIONS
2010年
11期
39-46
,共8页
模型检测%软件验证%程序分析技术%SAT方法
模型檢測%軟件驗證%程序分析技術%SAT方法
모형검측%연건험증%정서분석기술%SAT방법
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点.提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技术在软件质量保证领域方面的应用,结合中间代码转换、程序分析技术和基于SAT方法的模型检测技术,能够进行软件特别是并行程序的验证.
模型檢測是一種重要的自動化驗證技術,使用該技術來保證軟件安全性和可靠性已成為近年來的一箇研究熱點.提齣的軟件模型檢測方法及實現的原型繫統,在模型檢測技術理論和方法的基礎上,重點介紹該繫統的基本思路和框架,併通過模型檢測技術在軟件質量保證領域方麵的應用,結閤中間代碼轉換、程序分析技術和基于SAT方法的模型檢測技術,能夠進行軟件特彆是併行程序的驗證.
모형검측시일충중요적자동화험증기술,사용해기술래보증연건안전성화가고성이성위근년래적일개연구열점.제출적연건모형검측방법급실현적원형계통,재모형검측기술이론화방법적기출상,중점개소해계통적기본사로화광가,병통과모형검측기술재연건질량보증영역방면적응용,결합중간대마전환、정서분석기술화기우SAT방법적모형검측기술,능구진행연건특별시병행정서적험증.
