中文摘要：

针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的函数静态调用路径基础上,应用迭代方程得到中断优先级序列,将此序列叠加到函数静态调用路径中。实验表明,结合中断优先级的函数静态测试方法,保证了嵌入式系统测试的完整性,提高了测试覆盖率。

英文摘要：

In order to solve the unintended implement logic cause by the changing of interrupt priority, this paper investigated the the uncertainty of function calling relationship, and proposed an embedded system static test method Combined with interrupt priority change. The description methed of interrupt priority change behavior was interrupt priority state machine, and interrupt priority sequence got by the application of iterative equation based on static call path without interrupt handier function. Then stacked the sequence to function static call path. The experiments show that the function static test method with the interrupt priority guarantees the integrity of the embedded system test and improves the test coverage.