面向构件接口变异的模型检验技术研究

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。     

LTE驻留比提升方法与实例

联通LTE网络建设初期4G网络覆盖不足、不同场景下互操作策略不同,使得4G网络与3G、2G网络之间的互操作较为频繁.为了在保证用户业务感知的基础上提升4G用户在4G网络的驻留和业务时长,从而让更多的用户使用4G高速数据业务,特别针对LTE驻留比指标进行优化.旨在通过优化实例,探讨LTE驻留比指标的提升问题.     

信号源的设计与制作

电子信息技术的快速发展,使得信号源等基本电子设备所起到的作用也越来越重要.这就需要我们从实用性和功能性的角度出发,对信号源的设计与制作进行重新定义.因此本文以DDS技术为主要研究对象,分析信号源的设计与制作方案.     

SynchroFLOW工作流在.NET架构系统下的典型应用

SynchroFLOW作为一个面向工作流的中间件产品,为企业流程再造提供了基础。首先通过分析SynchroFLOW工作流的基本功能和特点,发现SynchroFLOW主要用于Java环境的流程控制,而与.NET架构的应用系统进行直接集成比较困难;其次对具体的应用系统需求进行了分析,提出了一种新的设计思路,即通过标准的WebServices技术,结合代理模式实现.NET架构的应用系统与SynchroFLOW工作流平台的整合;最后,展示了具体的提案审核流程和财务决算审核流程的应用实例图,同时提出了存在的一些问题和下一步的改进方案。     

大管径废气流量的测量

介绍了气体质量流量计的特点,并对其工作原理和安装也作了详细的阐述。     

信息经济与办公自动化的关系浅议

当今的世界正处于信息经济时代,信息化、知识化已成为世界经济发展的主流,信息产业化及产业信息化在世界经济的快速发展中起着     

在ASP中建立与Web数据库的连接

本文在ASP中建立与Web数据库的连接,以数据库Student.mdb中的＂学生＂表为例,阐述本方法操作数据库添加新记录的整个过程,并与传统的方法进行比较和探究。     

软件知识产权的保护与技术进步

本文对软件知识产权和软件知识产权的保护进行了介绍,阐述了软件知识产权的保护对我国国民经济建设的重要性,论述了软件知识产权保护与技术进步之间的互动关系。     

华油石化水量平衡测试与节水研究

以华北石化公司为例介绍了水平衡测试的基本原理、模式和方式方法,以及水量平衡测试在节水工作中的重要性,提出了改变工作方向,拓宽了节水领域的思路.