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.     

WXJB—E型多点温度监测报警仪的研制

本文介绍了 WXJB—E 型多点温度监测报警仪的设计思想、基本原理、技术关键、技术指标及其功能。     

引信软件测试模型分析与实践

通过对引信软件特性的分析,结合软件测试理论,建立了针对引信软件开发过程的简化螺旋模型和针对开发组织结构的七人模型,形成一个完整的软件开发模型.同时,结合有关标准,提出以McCabe指数作为引信软件逻辑复杂性测试的指标,并用该指标对某引信软件进行了分析.     

基于软件无线电技术的水下平台姿态采集系统设计

根据水下晃动平台进行目标高精度探测、定位、跟踪的需要，引入平台姿态估计系统，讨论了平台坐标系与大地坐标系的转换关系。应用软件无线电技术的基本设计思想，选择适于长期自主工作的姿态传感器件，设计了具有软件无线电结构的采集系统。最后，构造平台姿态采集系统样机，验证了设计功能的可行性。     

河南电力远程教育网系统安全方案开发应用

河南省电力公司远程教育平台,作为一个省内电力系统职工的再教育、技术培训、技能培训中心,访问量大,安全要求高,我们在软件设计时充分考虑到系统的安全性。     

在役油气管道安全评定软件

PSAforWindows是运行在Windows系统下的油气管道安全评定软件。该软件既可以用于在开挖中发现的管道局部缺陷的剩余强度的精确评定 ,又可以用于腐蚀检测之后对管道全线的安全评定与剩余寿命预测。软件中采用了非线性有限元分析、失效评定图和概率性的评定方法等最新成果。介绍该软件的结构、模块、软件特点、主要功能和操作界面     

紫金山金矿低品位资源开发的地质技术研究

介绍了紫金山金矿床赋存的基本特征；重点阐述了生产探矿增加储量．扩大矿床规模，建立低品位矿开发蛭济模型和责源评价软件系统研制等系列地质技术研究与创新成果：强调了加大经济与科技投入．对矿山的发展有重大意义。     

自动测试系统中状态参数的一种实时监测方法

对关系到测试资源和被测对象（UUT）安全的一些状态参数进行实时监控是自动测试系统开发中必须解决的一个关键问题，本文应用共享内存技术实现了对关键数据的实时监测，结果表明，该方法能有效地对关键数据实时监测，提高了测试系统的安全性。     

软件:有效数字化广告牌背后的"大脑"

日益精密且成本逐渐下降的的显示技术使人们对下一代户内、户外广告的"数字化"充满了期待。然而运行显示网络必不可少的"大脑"是不容忽略的。下面综述了成功的数字广告系统的软件需求,以及这些系统的工作方式。     

C/C + +源代码风格检测工具的实现

文中给出了评价C／C 源代码风格的规则分类和检查工具的总体结构，阐述了代码检查工具的核心技术——扩展词法分析和扩展语法分析，给出了代码检测工具的应用实例。