论文研究-中断优先级改变对函数静态调用关系影响研究.pdf下载

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