Watir自规范测试框架在一体化项目测试中的应用

广东省水利业务一体化管理系统是广东省水利数据中心工程（数据中心工程）的重要组成部分,项目具有集成度高、大型、复杂等特点。基于传统的手工测试方法在一体化系统测试工作中严重制约了测试乃至项目研发的效率,通过实践文中提出了一种基于Watir的自规范测试方法,在有效降低一体化系统测试成本、缩短项目开发周期、提高项目研发效率的基础上消除了自动化测试带来的bug重现率降低的问题。该方法具有高效、可靠、稳定、便于实现等优点。     

μC/OS-Ⅱ事件标志组系统漏洞及其修复

μC/OS-Ⅱ的事件标志组在任务间的同步和通信中有着不可忽视的作用。在应用过程中,发现事件标志组存在系统缺陷,通过对其进行深入分析,提出了解决问题的方案,本文详细地描述了解决方案的具体方式及步骤。该解决方案没有改变系统函数接口,对系统实时性影响也较小,有很强的兼容性及可行性。     

防范入侵的静态分析技术比较

建立了一个具有常见漏洞的测试代码,然后通过扫描测试代码来比较3个典型应用静态分析技术来防范入侵的常用工具。比较结果揭示了检查漏洞库函数的工具漏报率较低,但误报率较高;基于约束分析的工具误报率较低,但漏报率较高;利用软件模型来检测漏洞的工具在检测违背指定安全规则的漏洞时漏报率较低,但在检测具有许多安全漏洞类型的程序时漏报率却非常低。     

Growth Inhibition of Bacteria by Salsa Mexicana

ABSTRACT: Antimicrobial activity of salsa mexicana against Escherichia coli, Klebsiella pneumoniae, Bacillus subtilis, Bacillus cereus, Staphylococcus aureus , and Saccharomyces cerevisiae was studied. The pressed salsa juice suppressed completely the growth of E. coli, B. subtilis , and S. aureus. K. pneumoniae and B. cereus were suppressed partly but Saccharomyces cerevisiae was not suppressed at all by the juice. Three types of microbicidal or microbiostatic components have been found: (1) H⁺, (2) volatile compounds, and (3) non-ionized carboxylic acids or analogous compounds. It is proposed that the supplementation of stink bugs in the salsa seen widely in the south of Mexico is used to intensify the herbal odor of the salsa.     

日本光触媒织物的发展

综述日本光触媒织物的开发现状 ,包括光触媒织物的功能原理、技术动态、使用价值及其发展方向。     

Spectral‐based fault localization using hyperbolic function

Debugging is crucial for producing reliable software. One of the effective bug localization techniques is spectral‐based fault localization. It tries to locate a buggy statement by applying an evaluation metric to program spectra and ranking program components on the basis of the score it computes. Here, we propose a restricted class of “hyperbolic” metrics, with a small number of numeric parameters. This class of functions is based on past theoretical and empirical results. We show that optimization methods such as genetic programming and simulated annealing can reliably discover effective metrics over a wide range of data sets of program spectra. We evaluate the performance for both real programs and model programs with single bugs, multiple bugs, “deterministic” bugs, and nondeterministic bugs and find that the proposed class of metrics performs as well as or better than the previous best‐performing metrics over a broad range of data.     

污水收集系统生物脱臭技术

本文针对上海凉城泵站的实际恶臭情况 ,介绍了恶臭气体收集系统、恶臭预处理设备、恶臭生物处理设备的设计依据、设计概况和实际运行情况。研究结果表明 ,(1)恶臭气体负压收集方法确保了恶臭气体的高效收集 ,减少了待处理气量 ,降低了投资 ,工人的操作环境得到了极大改善 ;(2 )生物脱臭系统对硫化氢的去除率达到了 99%以上 ,设备处理出气的硫化氢浓度就已经满足了国家对厂界的是高浓度要求。     

基于未来锁集的死锁规避

针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.     

计算机实验室硬件设施的维护

随着计算机技术的不断发展,其应用领域已经覆盖了各行各业。在企业、事业单位几乎都建立了计算机实验室。讨论了对计算机实验室的硬件进行维护,并给出了一些相关的检测及维护方法,便于实验室管理员对计算机进行维护。     

Sequestration of host plant-derived compounds by geometrid moth, Milionia basalis, toxic to a predatory stink bug, Eocanthecona furcellata

A predatory stink bug, Eocanthecona furcellata, died after feeding on Milionia basalis larvae. The compounds toxic to E. furcellata were isolated from the hemolymph of M. basalis larvae and identified as inumakilactone A, nagilactone C, and nagilactone C glucoside. The concentrations of inumakilactone A, nagilactone C, and nagilactone C glucoside in the hemolymph of the final instar larvae were 130, 50, and 770 g/ml, respectively. Nagilactone C showed the highest insecticidal activity against second-instar nymphs of E. furcellata, while nagilactone C glucoside showed the lowest, one twentieth of that of nagilactone C. When mixed compounds were given at the same concentrations as those in hemolymph of M. basalis, all nymphs of E. furcellata died with in three days. Inumakilactone A and nagilactone C were found to be in the leaves of podocarp, Podocarpus macrophyllus, the only host plant of M. basalis, at concentrations of 13 and 175 g/g fresh weight, respectively. However, no nagilactone C glucoside was detected in the leaves of this species. These results suggested that M. basalis may transform nagilactone C to its glucoside.