一种快速程序最坏执行时间分析方法研究

• 作者: 吴国伟 姚琳 岳峰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 最坏情况执行时间 冲突检测 实时软件
• 年，卷（期）: 2010,（21）
• 页码范围: 69-71,96
• 分类号: TP391
• 字数: 4014字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.21.019

摘要

给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径,最终在可行执行路径集中选择具有最大执行时间的执行路径.与以往的方法相比,在保持估计精度的前提下,本文的方法避免了穷举所有执行路径带来的复杂度,提高了搜索的效率.实验结果表明本文方法对于语句间语义依赖关系比较强的实时程序能够快速且有效地给出估计结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴国伟	大连理工大学软件学院	18	137	7.0	11.0
2	姚琳	大连理工大学软件学院	17	96	6.0	9.0
3	岳峰	大连理工大学软件学院	1	4	1.0	1.0