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

第32卷第7期 计算机应用研究 V01．32No．7 2015年7月 Researchof Jul．2015 Application Computers 中断优先级改变对函数静态调用关系影响研究木 杨志嘉，牟永敏，李良杰 (北京信息科技大学计算机开放系统实验室，北京100101) 摘要：针对中断优先级的改变会对系统的运行产生非预期的执行逻辑。研究了由此所产生的函数之间调用关 系的不确定性，提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先 级改变行为，在不包含中断处理函数的函数静态调用路径基础上，应用迭代方程得到中断优先级序列，将此序列 叠加到函数静态调用路径中。实验表明，结合中断优先级的函数静态测试方法，保证了嵌入式系统测试的完整 性，提高了测试覆盖率。 关键词：中断优先级；函数调用关系；嵌入式系统测试；状态机 中图分类号：TP311 文献标志码：A 文章编号：1001．3695(2015)07．2039—03 doi：10．3969／j．issn．100l一3695．2015．07．030 Researchon of tofunctionstaticcallrelation changinginterruptpriority YangZhijia，MuYongmin，LiLiangjie (Open 100101，China) ComputerSystemLaboratory，BeijingInformationScience＆Technology，Beijing orderto Abstract：Insolvetheunintended causethe of logic implement by changinginterruptpriority，thispaperinvestigated thethe offunction anembeddedstatictestmethodcombinedwithinter- uncertainty callingrelationship，andproposed system methedof behaviorwas state in— ruptprioritychange．Thedescription interruptprioritychange interruptprioritymachine，and the ofiterative basedonstaticcall without handlerfunction． terruptprioritysequencegotby application equation path interrupt Thenstackedthe tofunctionstaticcall showthatthefunctionstatictestmethodwiththeinter— sequence path．Theexperiments the oftheembeddedtestand thetest ruptpriorityguaranteesintegrit