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

• 作者: 李良杰 杨志嘉 牟永敏
• 来源期刊: 计算机应用研究
• 关键词: 中断优先级 函数调用关系 嵌入式系统测试 状态机
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2039-2041,2045
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.07.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牟永敏	北京信息科技大学计算机开放系统实验室	85	322	10.0	16.0
2	李良杰	北京信息科技大学计算机开放系统实验室	4	14	2.0	3.0
3	杨志嘉	北京信息科技大学计算机开放系统实验室	3	2	1.0	1.0