欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。
英文摘要：
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 meanwhile.In time-critical applications,we can achieve more software reliability by using the presented framework.
同期刊论文项目
同项目期刊论文
期刊信息
位置：