作者：王馨; 姬孟洛; 王戟; 齐治昌实时系统测试预言execution程序监控
摘要：时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET（worst-case execution time）分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
