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