【摘 要】
：
构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约
论文部分内容阅读
构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.
其他文献
组合式非周期性缺陷接地结构(CNPDGS)是在微波电路的接地金属平面上人为地蚀刻出特殊形状的非周期性"缺陷",改变接地电流的分布,从而改变传输线的频率特性.本文针对一种新型
以ZFYD2500型反井钻机为原型,针对该钻机在施工煤仓开始扩孔阶段出现的钻杆断裂事故,结合现场数据对钻杆进行力学分析和计算,总结出大直径反井钻机在扩孔施工中应如何避免钻
通过对短距无线RF前端演示模块的研究,概括了以MEMS器件为基础的下一代RF-MEMS系统的具体技术指标,并展示了其技术可行性,讨论了RF-MEMS器件的现行状况和发展.
煤矿恶劣的作业环境对采煤机工况检测机故障诊断技术的应用具有较大的负面影响。以国产电牵引采煤机监测系统为例,介绍了采煤机结构及工作方式,对采煤机综合监测系统进行了较
在煤矿矿井灾害事故发生后,及时准确地获知矿井人员的分布情况和位置是至关重要。文章将RFID技术应用于煤矿中,提出了1种全新的井下安全监控系统方案,既能实时上传带有地址信
为了探索SPF/DB结构检测中有效的检测方法,应用涡流C扫描对钛合金SPF/DB结构进行了检测实验,将涡流C扫描结果和SPF/DB结构检测中常用的超声C扫描结果进行了对比分析。结果表
针对滚筒采煤机工作过程中,粉尘浓度大,摩擦产热,并有明火产生的问题,根据高压磨料射流割缝技术原理,设计了一种新型的高压磨料射流采煤机,具有无热、无尘、无明火产生、无需
分析了摩擦式提升机滑绳现象存在的可能性,针对摩擦传动特点,研究了滑绳制动系统结构组成及其控制技术,提出了滑绳的判据条件和滑绳制动力矩的可控性,总结了以可编程控制器为
在分析目前多媒体数字版权保护现状问题的基础上,提出了一个通用的多媒体数字版权保护架构,并实现了一个多媒体数字版权保护原型系统,具有透明支持多媒体数据的本地回放和在
通过介绍井下施工中主要新型建筑材料的特性,分析新型材料在煤矿通风管理中现场应用的特点,探讨化学密闭建筑材料在井下瓦斯治理方面的效果,最后提出井下施工使用建筑材料的