| 循环不变式开发技术研究 |
| 其他题名 | analysis of loop invariant development technology
|
| 万松松; 薛锦云; 谢武平
|
| 2010
|
| 发表期刊 | 计算机工程与科学
 |
| ISSN | 1007-130X
|
| 卷号 | 32期号:9页码:84-88,94 |
| 摘要 | 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。 |
| 关键词 | 循环不变式
Par方法
高可靠性软件
谓词抽象
|
| 部门归属 | 江西师范大学省高性能计算重点实验室;江西科技师范学院;中国科学院软件研究所计算机科学重点实验室;
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论