自适应接口型检测设备软件系统设计

为了满足军事装备测试自动化、模块化和通用化的要求,基于PC/104总线技术,采用模块化测试仪器和虚拟仪器技术构建了某型装备自动检测设备衷共济;介绍采用面向对象的编程技术构建自适应接口型检测设备软件系统框架,提出了软件系统层次化和模块化的设计思路,重点介绍了自适应接口软件和通信协议的开发过程;实践表明,检测装备能够对以太网接口和USB接口进行自动选择,其软件系统工作性能稳定,交互界面友好,易于操作,且具有较强的扩展性,能够大大提高部队现有装备的保障技术水平。     

基于数据源识别和驱动分析的软件系统测试方法

航天测控软件系统安全关键等级高,其质量直接决定航天任务成败,具有架构庞大、软件配置项多、内外接口复杂、数据传递路径长、处理实时性强等特点,软件系统测试的要求高且难度大,目前存在系统测试需求不清晰、测试针对性差等实际问题;航天测控软件系统是典型的数据驱动型软件系统,针对其特点,文章提出了一种基于数据源识别和数据流分析的软件系统测试方法,开展了数据源识别、数据流路径分析、数据状态分析和获取、系统级数据流顺序图生成等关键技术研究,给出了该方法的推荐工作流程;该方法已在多个航天测控中心软件系统测试中应用,实践表明,针对数据驱动型软件系统,该方法可以显著提高系统测试的设计有效性和测试效率。     

基于组件的软件系统自动化测试研究

本文重点研究基于组件的软件系统自动化测试问题。在对现有自动化测试框架进行总结的分析的基础上，提出了一个基于组件的软件系统自动化测试过程模型，将软件的自动化测试过程有机融入软件开发过程中，分析了每个测试阶段的主要任务和应该注意的问题，实现了不同测试框架的整合应用。     

捉虫记飞越2000年

中国航空收入结算系统是民航重要的财务管理信息系统之一,其2000年问题直接关系到各航空公司的结算业务。作为系统和服务的提供商,中国航空结算中心早在1998年2月就开始着手进行2000年问题的分析、解决工作,对结算中心的所有硬件平台、软件系统及接口进行分析,按照急缓程度安排优先顺序,并根据分析、评估结果制定工作计划、资源计划及修改与测试规范。     

网络应用层加解密组件设计与性能分析

实现具有RSA算法和AES算法接口组件,应用到自主开发的网络设备监控系统。测试实验表明,RSA接口适合处理短连接的身份认证业务,AES接口适合处理长连接的及时响应数据服务,二者结合能够满足网络软件系统的安全和性能需求,同时为保护数据安全提供了思路和方法。     

面向行业应用的软件开发检查工具

现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持.因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查.实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本.     

面向嵌入式软件测试的仿真建模

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。     

双啮仪智能化的实现方法

本文叙述双啮仪智能化的具体方法。通过引入计算机控制步进电机、设计测量电路、接口设置及建立软件系统共四部分工作,实现了双啮仪测试齿轮径向综合误差△F和一齿径向综合误差△f)的高度自动化,大幅度提高了测量精度,并消除了人员因素引起的测量误差。该方法也可以应用于以形位误差为测试对象的其它精密仪器智能化过程中,有广泛的工程应用价值。     

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

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

基于通信协议的接口测试用例自动生成框架

为了实现对软件配置项和软件系统的接口测试的测试用例自动生成,建立了基于通信协议的接口测试用例自动生成框架,对该生成框架的输入模型和算法集合进行研究。提出了基于通信协议的接口测试用例生成框架的输入模型,并在输入模型中建立数据帧之间的一级关联矩阵和数据帧内字段间的二级关联矩阵。以输入模型为基础,说明发送端和接收端的接口测试用例自动生成算法。结合实际项目中的通信协议,介绍了如何将通信协议信息转换至输入模型,如何通过算法集合自动生成测试用例集。实验结果表明：基于通信协议的接口测试用例自动生成框架生成的接口测试用例可以替代人工生成的接口测试用例,极大地提高了软件接口测试工作的效率。     

Research issues in testing business components

The advantages of migrating from traditional monolithic business applications to reusable object-based business components (self-contained software that carries out a certain business task) are well documented. A business system assembled from reusable components is argued to be highly reliable since these components have been tested and used in many other business applications. However, all possible uses of components are not known at design and construction stage. Additionally, integration testing is needed as components are assembled to make business application systems. Component-based software development requires that testing issues be addressed adequately. In this paper, we explore testing related issues in business components and in particular, business application systems that are made by integrating these components. An integration test strategy for business component application systems is proposed.     

Web应用测试的研究

Web应用有着自己的独特属性,其测试方法不同于传统的软件工程。本文首先研究了Web应用的主要特征,然后从用户界面、性能、兼容性、安全性等方面讨论了Web应用的测试方法。     

软件工程中对软件使用者的人文关怀

一个成功的软件首先要得到软件使用者的肯定。软件工程是为了解决软件危机而出现的、将工程化的方法引入软件领域的产物。如何在软件的整个生命周期中,抛开纯粹的技术因素,更多地关心使用者,体现对他们的人文关怀,是我们需要认真面对的问题。本文从软件工程中的需求分析、界面设计、软件测试和软件实施等几个方面,对这一问题作了初步的探讨。     

软件工程中对软件使用者的人文关怀

一个成功的软件首先要得到软件使用者的肯定。软件工程是为了解决软件危机而出现的、将工程化的方法引入软件领域的产物。如何在软件的整个生命周期中，抛开纯粹的技术因素，更多地关心使用者，体现对他们的人文关怀．是我们需要认真面对的问题。本文从软件工程中的需求分析、界面设计、软件测试和软件实施等几个方面，对这一问题作了初步的探讨。     

改进ROS2.1的软件业务流程测试方法

在红旗办公服务器—Redoffice Document Server 2.0（RDS2.0）中,软件业务流程的测试用例繁复冗余,而且软件业务流程测试效率不高。针对这些问题,在RDS2.0的升级版本Red Office Server 2.1（ROS2.1）中使用了改进后的软件业务流程测试方法。这些方法减少测试用例的数量和测试工作量,同时提高软件测试覆盖率和效率。     

人机交互界面测试研究

人机界面是软件与用户最直接的交互层．界面的好坏决定用户对软件的第一印象。良好的界面设计越来越受到系统分析、设计人员的重视,但是如何对人机界面进行测试并给出客观、公正的评价,却没有一个统一的标准。从通用规则和个性突出的角度,给出一些人机界面的测试原则和建议。     

智能移动终端应用软件综合测试服务平台

智能移动终端软件产业正在经历飞速发展,与之不相适应的是,国内的智能移动终端软件测试领域尚缺乏通用易用的测试环境和测试工具,安全测试能力的不足也导致各;绅恶意欺诈行为逐渐猖獗。针对上述问题,本文提出了基于界面虚拟化和云服务模式的智能移动终端应用软件综合测试服务平台,提供真实终端设备和网络运营环境下的多种类型的软件在线测试服务能力,包括远程交互式测试、基于脚本的自动化测试、系统资源监控以及二进制代码逆向分析测试,并通过原型工具集印证了该平台的可行性。该平台具有全面、易用、高效、经济等特点,有利于发挥资源整合优势,使测试人员专注于被测软件本身,能够有效降低测试成本,快速提高智能移动终端软件产品的内在质量。     

Software testing processes as a linear dynamic system

Software testing is essential for software reliability improvement and assurance, and the processes of software testing are intrinsically dynamic. However they are seldom investigated in a mathematically rigorous manner. In this paper a theoretical study is presented to examine the dynamic behavior of software testing. More specifically, a set of simplifying assumptions is adopted to formulate and quantify the software testing processes. The mathematical formulae for the expected number of observed software failures are rigorously derived, the bounds and trends of the expected number of observed software failures are analyzed, and the variance of the number of observed software failures is examined. On the other hand, it is demonstrated that under the simplifying assumptions, the software testing processes can be treated as a linear dynamic system. This suggests that the software testing processes could be classified as linear or non-linear, and there be intrinsic link between software testing and system dynamics.     

基于软件可靠性工程的测试模型

软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。