An integrated automatic test data generation system

The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method—constraint-based testing—that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system and the engineering problems that were solved during the implementation.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology.     

适用于稠油开采的游梁式抽油机设计分析

在稠油开采中,抽油杆在液体中运动时,所受到的摩擦阻尼力很大,有时高达几十千牛。上冲程时,该力有加大悬点载荷的作用;下冲程时,该力使抽油杆下行困难,甚至悬点载荷为零。为了开采稠油,必须根据其特点设计适应的游梁式抽油机。文章分析了稠油用抽油机的受力特点,提出了该类抽油机的设计要求。     

浅谈Windows终端的应用

介绍在Windows 2000,Windows XP的两种终端应用方案和具体操作.     

数据采集与处理系统芯片-ADuC845及应用

随着嵌入式系统的发展，模拟信号处理单元与MCU正逐步融为一体，数据采集与处理系统芯片-ADuC845是这一融合的具体体现和产物。现对ADI公司的ADuC845芯片及其特性、应用作详细介绍。     

重油催化裂化装置高温烟气冷却器的改造

对重油催化裂化装置原有的高温烟气冷却器进行改造的情况和改造后的烟冷器的优点进行了详细论述，并对烟冷器改造后带来的经济效益作了简要介绍。     

开发“民间商用电话保密机”的市场评估

给出了民用电话保密产品需求量分析和对民用电话加密装置的六点要求及其市场效益评估。     

翅片式空气冷却器改造

针对茂名石化乙烯工业公司全密度聚乙烯装置翅片式空气冷却器存在的问题。结合生产实际要求进行了改造。将原设备换热芯由不可拆结构改为可抽芯结构。原圆形换热管更换为椭圆管。材质由SS304不锈钢更换为铜，并对改造后的空气冷却器进行了传热核算。理论和实践证明，改造是成功的。     

2#板坯连铸机振动台故障分析及改造

论述了银山型钢有限公司炼钢厂2#板坯连铸机自投产以来其振动台存在的问题，根据实际情况分析论证并进行改造实施，实施后效果明显。     

基础锚栓预埋加固方案

结合工程实例 ,介绍轻钢结构系统基础锚栓预埋、加固解决方案 ,并介绍了加固系统的制作及使用方法 ,可供工程人员参考     

小议合同管理

介绍了平行式和总分式两种合同网络架构方式,并对两种方式的优缺点进行了分析,阐述了合同类型及单价合同的管理问题,指出合同管理对于工程管理的重要性,对提高工程质量具有重要意义。