计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2010年
5期
6-8,82
,共4页
运行时间%程序验证%高可信软件
運行時間%程序驗證%高可信軟件
운행시간%정서험증%고가신연건
运行时间是计算机程序的重要性质之一.对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序.而对于实际程序,大多数程序验证技术则不适合验证运行时间.提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性.在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性.
運行時間是計算機程序的重要性質之一.對于運行時間而言,常用的時間複雜度分析技術基于的是抽象的算法,併非實際程序.而對于實際程序,大多數程序驗證技術則不適閤驗證運行時間.提齣一箇運行時間的驗證框架以解決這箇問題,該框架適用于實際代碼,而同時和複雜度分析一樣,具有編程語言無關性.在對運行時間的性質要求較高的場閤下,可以用于提高軟件的可靠性.
운행시간시계산궤정서적중요성질지일.대우운행시간이언,상용적시간복잡도분석기술기우적시추상적산법,병비실제정서.이대우실제정서,대다수정서험증기술칙불괄합험증운행시간.제출일개운행시간적험증광가이해결저개문제,해광가괄용우실제대마,이동시화복잡도분석일양,구유편정어언무관성.재대운행시간적성질요구교고적장합하,가이용우제고연건적가고성.