| 摘要: |
| 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿. |
| 关键词: 实时系统 测试预言 WCET(worst-case execution time)分析 程序监控 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60233020, 90104007, 60303013 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2005AA113130 (国家高技术研究发展计划(863)); the Program for New Century Excellent Talents in University (新世纪优秀人才支持计划) |
|
| Trace Acquirement Technology of Real-Time Systems Based on WCET Analysis |
|
WANG Xin,JI Meng-Luo,WANG Ji,QI Zhi-Chang
|
| 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. |
| Key words: real-time system test oracle WCET (worst-case execution time) analysis program monitoring |
