| 一个关于程序时间性质的验证框架 |
| |
| 引用本文： | 蒋信予,郭宇,陈意云.一个关于程序时间性质的验证框架[J].计算机应用与软件,2010,27(5):6-8,82. |
| |
| 作者姓名： | 蒋信予 郭宇 陈意云 |
| |
| 作者单位： | 1. 中国科学技术大学计算机科学与技术系,安徽,合肥,230026
2. 中国科学技术大学苏州研究院软件安全实验室,江苏,苏州,215123 |
| |
| 基金项目： | 国家自然科学基金项目(60673126,90718026) |
| |
| 摘 要： | 运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。
|
| 关 键 词： | 运行时间 程序验证 高可信软件 |
A VERIFICATION FRAMEWORK FOR TIME PROPERTIES OF COMPUTER PROGRAMS |
| |
| Jiang Xinyu,Guo Yu,Chen Yiyun.A VERIFICATION FRAMEWORK FOR TIME PROPERTIES OF COMPUTER PROGRAMS[J].Computer Applications and Software,2010,27(5):6-8,82. |
| |
| Authors: | Jiang Xinyu Guo Yu Chen Yiyun |
| |
| Affiliation: | Department of Computer Science and Technology/a>;University of Science and Technology of China/a>;Hefei 230026/a>;Anhui/a>;China;Software Security Laboratory/a>;Suzhou Institute of Advanced Study/a>;Suzhou 215123/a>;Jiangsu/a>;China |
| |
| Abstract: | The execution time is an important property of computer programs.Methods of time complexity analysis are usually based on abstractive algorithms,rather than actual programs.Program verification techniques are code-oriented,but most of them are not capable of describing the property of execution time of practical programs.In this paper,we present a time verification framework to solve this problem.It is designed to adapt for real code and is also language independent,the same as time complexity analysis mean... |
| |
| Keywords: | Execution time Program verification High trustable software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
