【摘 要】
：
针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优
【机 构】
：
北京信息科技大学计算机开放系统实验室
【基金项目】
：
国家自然科学基金面上项目(61370129);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20130519);北京市学科与研究生教育基金项目(PXM2014_014224_000032)
论文部分内容阅读
针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的函数静态调用路径基础上,应用迭代方程得到中断优先级序列,将此序列叠加到函数静态调用路径中。实验表明,结合中断优先级的函数静态测试方法,保证了嵌入式系统测试的完整性,提高了测试覆盖率。
其他文献
目的评价4种超声不同指标预测肺高压大鼠肺动脉压力的准确性。方法选取8周龄雄性大鼠41只,分为对照组11只和野百合碱组30只(MCT组),应用脉冲多普勒测定两组大鼠肺动脉血流加
宝沃引进德国4.0先进工厂顶级设备,造示范工厂拥有全球首条8种不同车型柔性生产线、222套柔性NC机器人定位系统;拥有3种全项目检测线（传统、智能驾驶辅助、新能源车型检测）,均
长波段红光（640-700hms）的人工光源对温室大棚等非自然条件下的植物生长有十分重要的作用。详细概括了国内外在促进植物生长方面对人工光源及光源材料的研究情况，指出了目前的不
介绍了我国光纤传感技术发展的历史、现状以及近期的研究目标。
2011年上半年在不断强化的房地产调控措施作用下,非合理住房需求得到有效抑制,保障房供给量逐步增加,多数城市房价涨幅明显趋缓,部分房价过高城市出现稳中有降,房地产调控已
字幕组的英文名称是Fansub Group,汉语里就是“由粉丝加字幕”的意思。这种简称道出了字幕组的历史渊源:字幕组是70年代出现在美国,2000年以后在我国出现,并随着网络技术的发
<正>麻风病是由麻风分枝杆菌所引起的主要侵犯皮肤和周围神经的慢性传染病。浙江省截止2010年底,累计发现麻风病人16 686例,尚有麻风现症病人104例,属于麻风病低流行区。为实
本文针对医院信息系统（HIS）维护工作中普遍存在的问题,结合我院HIS系统维护的特点,制作了信息系统维护路径。该系统全面规范和细化了信息科的日常维护工作范围和要求,使得HIS系
<正>陈云毕生坚持学习马克思列宁主义基本原理,学习毛泽东哲学思想,并从长期实践和切身体验中总结出关于辩证唯物主义的著名论述——"不唯上、不唯书、只唯实,交换、比较、反
虽然近年济南市文化产业发展迅速,但是与先进地区相比,与省会丰厚的文化资源禀赋相比,还有不小的差距,主要表现在济南市文化产业投入虽不断增长,但强度不够;文化企业数量不少