中断优先级改变对函数静态调用关系影响研究

摘要：

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

关键词：中断优先级、函数调用关系、嵌入式系统测试、状态机

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目61370129;北京市属高等学校创新团队建设与教师职业发展计划项目IDHT20130519;北京市学科与研究生教育基金项目PXM2014_014224_000032

在线出版日期：2015-07-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2039-2041,2045