排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
针对并行调试器中传统排序模型的缺陷,提出了一套改进的时序处理机制.该机制是在调试系统中加入一个全局记录器,被调试模块在需要事件记录时向全局记录器申请一个全局序号,这样并行模块的事件就被自然地串行化,从而实现了并行程序时序的完全排序.该方法大大简化了排序过程,给记录一重放技术以及动态分析技术提供了有力的支持。 相似文献
2.
一种基于类数据流的软件测试技术 总被引:4,自引:0,他引:4
提出了一种类数据流测试技术,通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件,匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例).这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误,并且弥补了传统数据流测试技术的不足,减少了重复测试,提高了测试效率. 相似文献
3.
4.
5.
三江源自然保护区是我国生态系统最敏感脆弱的地区之一,农村能源是解决该地区农牧业生产、农牧民生活及环境生态问题的一项重要举措,是实现该地区生态保护和可持续发展的重要工作内容.本文结合三江源自然保护区的地域和气候特点,从生态模式的选择、模式建设及其效率分析等方面,论述了农村能源庭院生态模式的可行性和实用性. 相似文献
6.
地下长期蓄热太阳能蔬菜温室是不用任何辅助热源,完全依靠太阳能资源,采用太阳能供热的一种新型太阳能蔬菜温室。利用温室深层土壤在夏、秋季将太阳能蓄存,到冬季再向温室浅层土壤补充供热,提高温室浅层地温,改善温室中蔬菜作用的生长环境。 相似文献
7.
同轴式沉降-再生器是石油化工企业催化装置生产中的关键设备。随着石油资源的短缺,同轴式沉降--再生器又成为石油替代品—煤焦油的关键设备。本文探讨了由于采用煤焦油做原料,而该原料粘度高,密度大,正常生产中很容易结焦,使"两器"设备无法正常工作,严重时造成停工停产,给企业带来无法弥补的经济损失,因此设计采用了C2级衬里材料(目前国内新研发的衬里材料)与钢纤维混合使用的新工艺。很好地解决了因"结焦"而损坏"两器"内的衬里这一难题。 相似文献
1