多重中断程序测试框架

摘要

为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架.该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境.实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析.%To solve the problem of testing difficulty caused by the non-deterministic of multiple interrupts, a framework for testing multiple interrupts program is presented based on the characteristics of concurrent errors caused by multiple interrupts. This framework forces interrupt program to suffer under-testing sequence by loading a set of appropriate interrupt signals exteriorly in case of constructing the complicated runtime control environment. For the general methods, it is proved that this framework can find the temporal conditions and the reasons for the concurrent errors through the experiment