面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

混凝土无损检测方法述评

介绍了回弹法、超声波法、雷达法等各种混凝土无损检测方法的工作原理,分析了各自的特点及适用范围. 在实际工程中,宜使用两种或两种以上方法进行检测,以互相验证,提高检测的效率及可靠性.     

Web应用测试框架研究

建立一个适应Web应用特性的测试框架,以便于指导、组织测试过程中的各项工作.在分析Web应用特点和传统软件测试流程的基础上,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示,形成一套规范化、易操作和可扩展的测试流程;研究Web应用测试框架实现技术,分层次表示Web应用模型,采用组合测试等策略生成测试用例,通过Agent自动执行测试并实现测试结果的比较、度量和反馈;有机集成并有效实现各个测试步骤,使之适应Internet环境并积极有效地发挥其指导作用.     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

基于计算机虚拟化列车控制系统敏捷测试方法

传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率.     

基于JavaBean的构件测试方法研究

介绍了基于构件的软件开发过程，阐述了当前构件测试的发展现状，提出将传统软件测试中的动态和静态测试结合进构件测试，并以实例分析了基于JavaBean的构件测试，从而更好地展现了该测试方法．     

软件测试工具综述

系统地介绍了软件测试的方法,提出一种对软件测试工具的分类方法,分别介绍了白盒测试工具、黑盒测试工具、专用测试工具、测试管理工具以及辅助测试工具,最后指出在实际应用中测试工具的选择方法以及自动测试工具的局限性.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

BGP-4健壮性测试系统设计与实现

健壮性测试是协议测试的重要内容,健壮性测试对其测试系统的设计和实现提出了新的要求.为此提出了一种适用于BGP健壮性测试的方法———具有中心控制的远程横断测试方法,然后利用基于执行的软硬件结合入侵式错误注入技术,提出了健壮性测试系统的体系结构.该测试系统应用到核心路由器的协议研发中,显著地提高了核心路由器的稳定性和可靠性.     

基于程序规则说明的自动测试用例生成

自动测试过程中,在特定测试标准下生成的测试用例的质量优劣,将极大地影响测试的性能和结果.作者结合基于程序规则说明的两种测试方法———随机测试技术和决策表技术,利用决策表形成完备的测试标准,保证随机生成的测试用例的充分性,完成测试用例的自动生成过程.研究内容分为如下4个部分:(1)基于软件规则说明的自动测试技术分析;(2)对程序规则说明生成决策表方法的测试标准;(3)结合随机测试数据生成和决策表技术对自动生成测试用例进行分析,比随机生成测试用例方法有更好的效果.     

民航英语测试理据与设计研究

民航英语测试是专门用途英语测试的一个重要分支,其测试内容和形式与民航英语专业性和真实性的特点紧密相连。通过对民航英语测试进行界定,并以交际语言测试理论为基础,从民航英语测试目的、测试任务、测试情境及测试参与者四个维度探讨民航测试的设计原则,旨在深化专门用途英语测试研究。     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

农业专家系统开发平台测试方案研究

主要阐述了对农业专家系统开发平台测试方案的研究及一些测试技术在其中的应用，提出了针对这类开发平台的一种分阶段、分步骤、分领域的测试方案，并运用案例分析了黑盒测试、应用操作覆盖测试和Web应用软件测试技术在测评这类开发平台中的应用。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

测试理论在列控系统测试中的应用

分析了测试理论中涉及的测试目的、测试原理、测试设计和测试分析等内容,并提出了在列车运行速度控制系统测试中的应用方法     

浅谈人事考试面临的问题及对策

介绍了人事考试工作的作用,分析了当前人事考试工作存在的考试纪律不健全、考试命题针对性不强、考试安全制度有待完善等问题,相应提出了创新人事考试的对策及建议。     

基于Web Component 的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

某大气数据计算机自动测试系统的设计

自动测试、通用化是航空测试仪器研制的发展趋势，采用模拟化，数字化，自动测试技术，针对大气数据计算机自动测试系统信号给定电路，信号测试电路，接口电路以及测试系统自检等电路进行了设计，从工程实践出发，成功的解决了自动检测和抗干扰问题，该自动测试系统在航修厂得到了推广使用。