| 基于WCET分析的实时系统轨迹获取技术 |
| |
| 引用本文： | 王馨,姬孟洛,王戟,齐治昌.基于WCET分析的实时系统轨迹获取技术[J].软件学报,2006,17(5):1232-1240. |
| |
| 作者姓名： | 王馨 姬孟洛 王戟 齐治昌 |
| |
| 作者单位： | 国防科学技术大学,计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 中国科学院资助项目;国家科技攻关项目;新世纪优秀人才支持计划 |
| |
| 摘 要： | 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.
|
| 关 键 词： | 实时系统 测试预言 WCET(worst-case execution time)分析 程序监控 |
| 收稿时间： | 2005-06-15 |
| 修稿时间： | 2005-12-16 |
Trace Acquirement Technology of Real-Time Systems Based on WCET Analysis |
| |
| WANG Xin,JI Meng-Luo,WANG Ji and QI Zhi-Chang.Trace Acquirement Technology of Real-Time Systems Based on WCET Analysis[J].Journal of Software,2006,17(5):1232-1240. |
| |
| Authors: | WANG Xin JI Meng-Luo WANG Ji and QI Zhi-Chang |
| |
| Affiliation: | School of Computer, National University of Defense Technology, Changsha 410073, China |
| |
| Abstract: | Timing behaviors are crucial for real-time systems. In order to weaken or even remove the timing impact of the inserted assertions during testing, a new monitoring schema is proposed, which has little time intrusiveness than the software monitoring and supports to test the system completely. Furthermore, a WCET (worst-case execution time) analysis based on time compensation method is presented, which corrects the recorded time of events based on the accurate execution time analysis of assertions. |
| |
| Keywords: | real-time system test oracle WCET (worst-case execution time) analysis program monitoring |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
