循环不变式开发技术研究
文献类型：期刊论文
| 作者 | 万松松 ; 薛锦云 ; 谢武平 |
| 刊名 | 计算机工程与科学
 |
| 出版日期 | 2010 |
| 卷号 | 32期号:9页码:84-88,94 |
| 关键词 | 循环不变式 PAR方法 高可靠性软件 谓词抽象 |
| ISSN号 | 1007-130X |
| 其他题名 | analysis of loop invariant development technology |
| 中文摘要 | 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。 |
| 语种 | 中文 |
| 公开日期 | 2011-05-23 |
| 源URL | [http://124.16.136.157/handle/311060/10042]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 万松松,薛锦云,谢武平. 循环不变式开发技术研究[J]. 计算机工程与科学,2010,32(9):84-88,94. |
| APA | 万松松,薛锦云,&谢武平.(2010).循环不变式开发技术研究.计算机工程与科学,32(9),84-88,94. |
| MLA | 万松松,et al."循环不变式开发技术研究".计算机工程与科学 32.9(2010):84-88,94. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。