软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。     

太安的降静电表面处理

介绍了用表面活性剂处理太安的方法，对处理后的太安进行了静电性能测试和分析，得出最佳抗静电用表面活性剂的种类及使用浓度。实验结果表明。太安炸药经过表面活性剂处理后，其静电得到大幅度降低，有利于导爆索生产工艺与质量。     

Continuous hydrogenation of vegetable oils in reactors equipped with static mixers

Continuous hydrogenation of industrially refined soybean oil with Harshaw Ni catalyst was achieved in a slurry column equipped with Sulzer SMV motionless mixers. The influence of the operating parameters (temperature, pressure, catalyst concentration and gas velocity) was investigated. The presumption that, in this equipment, the liquid-solid mass transfer limits the rate of the process is in good agreement with the experimental data.     

On the ‘curiosity’ of electrical self‐heating,static charge and electromagnetic shielding effectiveness from carbon black/aluminium flakes reinforced epoxy‐resin composites

This paper shows the wide application range (such as electrical self‐heating and electromagnetic shielding effectiveness) of composites consisting of conductive carbon black/aluminum flakes (CBA) filler and epoxy insulative matrix. The effect of CBA content on the network structure of epoxy matrix was investigated in detail. Static electrical conductivity increases linearly with the increase of filler concentration at the interface in epoxy composites. The large decrease of the conductivity as a function of the temperature is analyzed in terms of the negative temperature coefficient of conductivity (NTCC) effect. The influence of viscosity, surface energy and barrier highest energy on the NTCC behaviour in the composite is also considered. Based on these results, a new interpretation is proposed to explain the NTCC phenomena by computing the swelling force among conductive phases. The correlations of conductivity during the temperature cycling and activation energy were analyzed. The effects of dynamic ageing at various temperatures on the resistivity are reported. Current–voltage–temperature characteristics for epoxy with different contents of CBA were examined in detail. A model based on the law of energy conservation is proposed to calculate the specific heat and amount of heat dissipation. The static charge of the epoxy–CBA composites was estimated. The correlation between electromagnetic wave‐shielding effectiveness (EMS), conductivity and frequency of epoxy composites with different filler contents is also discussed. Furthermore, the effect of annealing on EMS of epoxy composites was examined. © 2002 Society of Chemical Industry     

Gas/liquid dispersions with a SMX static mixer in the laminar regime

A Sulzer SMX mixer was used to disperse gas into viscous, Newtonian and non-Newtonian fluids. The investigation covered the effect of the dispersed phase volume fraction, the viscosity of the continuous phase, the mixer length and the power draw. The flow regime was kept laminar in all the experiments. The dispersion of gas was carried out with gas concentrations between 1% and 7% in volume. Using the “process viscosity” concept, it was possible to collapse all the measured sizes on a single master curve by using the energy consumption in the mixer as the common variable between the experiments. Comparison was made with a Kenics mixer. The SMX mixer was found to be better adapted to the dispersion task due to its internal structure.     

基于静态分析的函数调用关系研究

为了帮助研发人员理解复杂系统的架构,通过对源码进行静态分析,在此基础之上,重点对函数调用关系进行研究,并且基于开源编译器ncc实现了函数调用关系的解析.实验结果表明该方法可以有效地获取函数的调用关系且准确地解析钩子函数对应的回调函数.     

使用程序静态分析技术识别Web程序中的用例结构

本文利用程序静态分析技术对Web程序中的用例识别进行了深入研究。对Web页面的用户行为进行了深入分析并建模,从行为模型中提取出描述整个系统中用户行为的事件流图,结合采用现有的从目的成功语句出发、以必经结点为基础的用例识别方法,从各个Web页面中提取的独立控制流图,形成全局控制流图,进行全局用例识别。与以前已有工作相比,本文考虑了Web程序的特点,尤其是前端程序如何实现用户行为,并在前端程序中进行精确的用例识别。本文采用目前使用较为广泛的JSP程序进行了实验,结果表明该方法能够有效识别JSP程序中的用例结构。     

基于合体立领的男性颈部形态指标分析

文章基于人体测量学和服装结构原理,运用马丁人体测量仪对50名男性大学生(年龄20-25周岁,170 cm高)进行了接触式人体测量,获得以下四组静态数据:颈根围、颈围、肩颈夹角和肩斜角,以及九组动态数据:在颈部前屈45°、后仰45°、侧倾45°时的颈前高、颈侧高、颈后高。运用SPSS软件对以上数据进行分析得出了颈根围与颈围得回归方程,动态下的适合领高,以及领高、运动幅度、领斜角的函数关系,以期以上分析为合体立领以及基于颈部的其它款式的领型结构设计提供科学依据。     

混合装配线过程平衡研究与仿真

生产过程的混合装配线平衡问题,分为在确定条件下的最小生产循环单元的静态平衡问题和不确定条件修正过后的动平衡问题.针对确定工位条件下的混装生产线,构建其静态平衡模型,分析不确定因素,并以操作工人的操作时间不确定性为例,研究时间不确定性动态平衡.利用Flexsim软件,通过仿真进行了验证.相关实验验证了上述方法和结论的正确性.     

仓式静态连续好氧堆肥发酵工艺的水气研究

采用仓式静态连续好氧堆肥发酵工艺,通过建立水平衡体系,系统地研究了水分对整个发酵工艺的影响,得出了仓式静态连续好氧堆肥发酵具有工艺简便,热交换快,水气蒸发量大等特点;好氧堆肥发酵过程中发酵温度保持在65℃左右,含水量控制在45%～55%有利于有机物降解,垃圾堆肥可在40～50d腐熟;静态连续好氧一次堆肥发酵物料的含水量需控制在35%以下,机械自动分选(类)筛分效率高,筛分率在90%～95%,垃圾减容在50%～60%.二次堆肥发酵物料的含水量需控制在25%～30%,机械除杂(碎石、碎玻璃等)效果好,有机肥中杂质含量低于0.8%.静态好氧二次堆肥发酵可以用垃圾渗沥水补充水分,达到资源循环再利用,可实现污水零排放.