【摘 要】
：
为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号
【机 构】
：
中国航天科工集团第二研究院706所
论文部分内容阅读
为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。
其他文献
为进一步深化干部制度改革，建立干部能上能下的工作机制，双鸭山市委在市委八届三次全委(扩大)会议上通过了《双鸭山市党政领导职务任期制试行办法》。《办法》对任期制的适用范
虚拟现实技术的虚拟交互性得到了越来越广泛地应用,虚拟场景浏览技术有效地解决了现实世界的时空局限等瓶颈问题。在对虚拟现实（3I）原理研究分析的基础上,依据插件设计的思想,
基于第二类统计量，提出了估计对称稳定分布参数的有效方法。对累积分布函数求导数，获得对称稳定分布的绝对值的概率密度函数；对对称稳定分布的绝对值进行Mellin变换，推导出对称稳
年长副职如何发挥好自身作用，对领导班子整体效能的发挥起着重要作用。笔者在考核领导班子的过程中发现，有些年长副职由于心理定位不准，不仅影响了自身作用的发挥、损害了个人形
本人孙悟空，又名孙行者，男，未婚。东海敖来洲人氏，出身贫寒。参加工作前长居于花果山，经太白金星引荐，组织上先后委以“弼马温”和“蟠桃园园长”职务，掌管上界马匹和负责蟠桃园工作
１９９９煤炭工业的指导性目标是：关井２５８万处，压产２５亿吨，全国煤炭产量控制在１１亿吨左右，销量在１２亿吨左右；国有重点煤矿的亏损额要比１９９８年下降５０％，盈利面上升４０％；国有重点煤矿下岗职工４０万人，全部进入再就业
兖矿集团在成立后的２３年间，取得了巨大成功，创造了“经济奇观”。兖矿成功的原因在于依靠科技进步，一部兖矿发展史就是一部科技兴煤史。兖矿集团抓住煤炭开采技术的核心问题，使综采
实现党中央、国务院提出的国有企业三年改革脱困目标，今年是第二年，出是为最关键的一年。能否在今年取得突破性进展，使一大批国有大中型企业消除亏损，建立起现代企业制度，一个关键
<正>根据各自工作部署,从6月1日开始,三大运营商将逐步启动新一轮网络"提速降费"。今年年初,工信部在总结2015年工作时表示,三大运营商均已完成了2015年"提速降费"的既定目标