面向MC/DC覆盖的白盒单元测试用例自动生成技术

在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。

工作井装配式钢板箱快速应急处置技术及应用

盾构接收作为盾构施工过程中的关键风险环节,对工程安全和进度具有重要影响。以南京地铁11号线卓越路站至行知路站区间的盾构水中接收工程为案例,对装配式钢板箱技术在盾构接收中的应用进行了深入分析。通过实际应用,验证了装配式钢板箱技术在轨道交通盾构隧道快速应急处置中的可行性与有效性,展现出结构简洁、安装高效、可重复使用等显著优势,同时无需进行保压试验,防水性能优异,并具备一定的容错能力,有效降低了盾构接收施工的风险。研究结果表明,装配式钢板箱技术在盾构水中接收及应急抢险领域具有广泛的应用潜力和发展前景。

兴联路大通道主航道桥主墩双壁钢围堰施工技术

兴联路大通道主航道桥为(165+380+165) m双塔双索面钢-混组合梁斜拉桥,主墩采用哑铃形承台,承台尺寸为62.5 m(横向)×22.6 m(纵向)×7.0 m(高),中间系梁宽11.4 m。其中,51号主墩承台顶、底高程分别为+18.0 m和+11.0 m,河床平均高程为+19.0 m,常水位为+29.8 m。主墩承台采用双壁钢套箱围堰方案施工,51号主墩围堰长66.3 m、宽26.4 m、高24.0 m,壁厚1.8 m,内设3层内支撑,封底混凝土厚3.0 m,围堰抽水水头高度约18.8 m。钢围堰加工前,采用模块化思路,将钢围堰整体竖向分3节、横向分20块;底节钢围堰带钢护筒群整体加工制作,利用2艘800 t浮吊整体吊装下水,利用3艘拖轮将钢围堰带钢护筒群整体浮运至桥位,依次进行水上钢围堰和钢护筒浮态接高;设置水平定位系统,钢围堰精确定位下沉着床,浇筑封底混凝土及隔舱混凝土。该桥承台施工中钢围堰未发生漏水情况,整体质量良好。

一种烟盒丝带自动粘贴装置

目的:针对不破坏精美外包装的前提下,如何便捷拿取高档烟盒中烟包的问题,研制了一种包装盒丝带自动粘贴装置,包括机架。方法:该类丝带自动粘贴装置需要经历点胶、热风以及粘贴按压等流程,各个工序流程接替进行。结果:最终将达到烟盒中的丝带通过自动化的方式粘贴在高档烟盒的内外壁上,达到消费者拉动丝带就会更加便捷拿取烟盒里面烟包的效果。结论:该类装置借助于自动化操作的特点,相较于传统的丝带粘贴装置具有高效率,节约成本以及提高工作空间利用率的优势。

通航条件下跨河公路桥梁钢围堰分段拼装方案设计

为应对跨河公路桥梁施工中可能发生的钢围堰下沉过程倾斜和钢围堰着床后平面位置偏差问题,设计了通航条件下跨河公路桥梁的钢围堰分段拼装方案.首先,布置钢围堰分段拼装现场,初步加工钢板桩围堰,配合安装短节钢管和钢围堰承台内支撑,封底浇筑混凝土.其次,将分节制作好的钢套箱围堰起吊到施工平台,进行拼装、焊接、定位、垂直下沉.最后,通过公式计算支撑稳定性,经检验后回填基坑,实现钢围堰分段拼装施工.为验证设计方案的有效性,选取一跨运河两岸的公路桥梁进行仿真试验,结果表明采用所设计的方案时,主梁节点成桥位移明显减小,同时成桥后桥梁各结构最大正应力与最大剪力也明显减小,桥梁结构的稳定性得到明显提升.

向东渠八尺门渡槽异地迁移保护施工技术

向东渠八尺门渡槽为大型线性连接的高耸水工构筑物,建于1973年,曾为解决东山岛淡水资源严重缺乏问题发挥了重要作用,为不可移动文物点。现因海洋生态环境治理,需拆除八尺门海堤,其上渡槽迁移至异地进行保护。针对渡槽的组成形式和结构特点,提出分体式移位法异地迁移方案。实践表明,采用钢套箱辅助吊装U型槽和托换装置辅助分段槽墩技术,能够有效保证异地迁移过程中渡槽文物本体安全,可为类似工程提供参考。

潮汐环境下防撞钢套箱防腐涂装体系设计研究

为了探究潮汐环境下防撞钢套箱的防腐维护技术,以嘉绍大桥防撞钢套箱作为新型涂装体系的研究对象,揭示了3种新型涂装体系的不同防腐效果。从外观、漆膜厚度、附着力及耐久性方面可以发现,超强耐磨环氧漆2道+聚硅氧烷面漆的涂装体系耐腐蚀效果最佳。

深水大体积承台施工技术

随着国内大跨径桥梁建设的发展 ,深水大体积承台将日益出现 .笔者以海沧大桥西塔承台施工为例 ,详细介绍了深水大体积承台的有底套箱施工技术 :包括有底套箱结构设计、施工工序及施工过程中的问题处理等 ,可供有关工程技术人员参考 .

基于面模型的三维纸箱纸盒CAD系统

应用OpenGL技术 ,提出了基于面模型的三维纸箱纸盒CAD系统。在三维环境下 ,根据纸箱纸盒的结构关系 ,以多边形组成一个面、以面为基本单元构成纸箱纸盒 ,不仅能够实现二维输出 ,能够显示真三维盒形 。

包装纸箱/纸盒三维结构模型研究

计算机辅助三维包装结构设计是包装结构设计的发展必由之路。文章从包装纸盒纸箱的拓扑信息和几何信息两方面进行考虑 ,以面、边、点为基础研究了纸盒纸箱三维结构模型。

一种可循环利用卷烟包装箱的设计与试验

针对卷烟包装纸箱在循环利用过程中存在循环利用次数少、消耗大、易损坏等问题,研究设计了一种可多次循环利用的卷烟包装箱。通过试制与试验,确定了包装箱选用材质、结构尺寸与定型工艺;并对10个试制周转箱连续进行条烟装封箱试验,装封箱成功率为100%,循环装箱次数可达30次。试验结果表明,该卷烟包装箱具有可循环利用次数多、损耗小等优点,可用于卷烟装封箱工序中。

ABAQUS在冰箱箱体发泡模设计中的应用

针对板材厚度降低导致发泡过程中箱体内壳局部变形等质量缺陷,发泡模与箱体内壳的配合准确程度是主要因素。基于有限元软件ABAQUS对箱体内壳冷却变形进行了模拟分析,计算了X向和Y向的关键点变形和相对变形量。在传统模具设计的基础上,提出了发泡模设计的补偿算法,采用该算法对某型号冰箱箱体发泡模进行了设计,生产实践证明完全可行。

基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 .

变压器零序电流保护选用电流互感器的探讨

变压器零序电流保护的引线取自中性点套管电流互感器和中性点间隙电流互感器,在主变端子箱内容易接错且不易发现,造成主变零序电流保护在线路故障时误动跳闸。通过对区内外故障特性的分析和推断、主变压器继电保护配置的阐述,指出变压器零序电流保护用开关电流互感器自产零序电流代替中性点套管电流互感器的零序电流,可以彻底杜绝此类事故的发生。

案例教学中的智猪博弈现象及改进策略

"以学习者为中心"的案例教学法是创新本科课堂教学模式的一种有效途径,然而如何调动学生参与案例教学的主动性和积极性,提高案例教学的效果一直是困扰国内教师的重要问题。针对案例教学中教师与学生的行为错位以及案例学习小组中部分成员的"搭便车"现象,运用智猪博弈模型对上述问题及产生机理加以分析。通过设置差异化的学习目标、明确案例学习小组的责任分工、建立多层次全过程的成绩评价体系以及正负激励相结合的奖惩机制等途径,可化解案例教学中"大猪躺着小猪跑"的博弈困境,促进学生的主动参与。

软件测试用例设计方法

介绍了软件测试用例设计技术,包括黑盒测试用例设计技术以及白盒测试用例设计技术。在测试设计过程中引入标准化的思想,对测试设计用例标准化进行了研究。

洛溪大桥拓宽工程斜拉桥主塔基础设计与施工

洛溪大桥拓宽工程主桥采用双塔双索面叠合梁斜拉桥,主跨305m,主塔采用变异钻石型塔,塔墩基础采用群桩基础。为满足水利防洪要求,北岸主塔基础采用低桩承台,双壁钢围堰施工,南岸主塔基础采用高桩承台,单壁套箱施工。其中南岸新建主塔基础紧挨旧桥基础,为减小新桥基础规模,降低新桥建设对旧桥基础的影响,主塔基础采用变截面钻孔灌注桩,既满足了结构受力需要,又降低了工程造价,可为以后类似桥梁结构设计、施工提供参考。

箱形结构声辐射性质的试验研究

以变速箱为对象,对实际激励条件下箱形结构的声辐射效率进行了试验研究,研究这种结构在实际激励下的声辐射效率同己知的简单结构声辐射效率的异同以及激励的改变对辐射效率的影响。通过试验发现,总体上变速箱辐射效率随频率的变化规律同简单构件的辐射效率是一致的,但在250 H z以下的低频区域,变速箱的辐射效率大大高于任何一个经验公式的计算结果;通过换档试验发现,激励的改变对辐射效率的影响不显著,工程计算可以不予考虑。由于变速箱在3个方向尺寸差别不大,其辐射性质具有平板和球源的双重特征,辐射效率介于平板和脉动球源之间,因此在工程应用时可以取平板和脉动球源辐射效率的平均作为此类结构的辐射效率。

机顶盒前壳翘曲变形模拟分析及工艺优化设计

翘曲变形在注塑模具生产过程中已经成为日益凸显的问题,对产品精度有着重要的影响。机顶盒作为注塑件产品,其前壳材质为塑胶材料(ABS),装配后要求无浇口痕迹,表面光滑,结合处不能刮手,对变形特别是翘曲变形有较高的要求。通过Moldflow软件对某公司机顶盒前壳进行了翘曲变形模拟分析,确定了翘曲变形产生的原因,分析了影响翘曲变形的关键因素,并通过优化工艺参数和改善冷却系统,达到了减少翘曲变形的目的,与传统试验法相比,可有效缩短生产周期,保证生产质量,从而提高了企业生产效率,节约了生产成本。

基于遗传算法的黑箱测试用例自动生成模型

介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。