Institutional Repository
| 循环不变式开发技术研究 | |
| Alternative Title | analysis of loop invariant development technology |
| 万松松; 薛锦云; 谢武平 | |
| 2010 | |
| Source | 计算机工程与科学
 |
| ISSN | 1007-130X |
| Volume | 32Issue:9Pages:84-88,94 |
| English Abstract | 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。 |
| Keyword | 循环不变式 Par方法 高可靠性软件 谓词抽象 |
| Department | 江西师范大学省高性能计算重点实验室;江西科技师范学院;中国科学院软件研究所计算机科学重点实验室; |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10042 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 循环不变式开发技术研究.pdf（584KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment