Program Instrumentation and Software Testing

The program tester needs to know what goes on inside a program as it executes during a test Instrumentation methods permit collection of testing coverage data without modifying the logical properties of programs being tested.     

一种基于规范和程序域分析的软件测试方法

虽然软件规范规定了输入变量的定义域(功能域)，但程序实现本身也定义了其定义域(运行域)．如果二者不能完全重合，那么某些软件故障就可检测出来．为此，提出了一种基于规范和程序域分析的软件测试方法，介绍了一个运行域自动确定系统ADSOD，并讨论了边界测试数据的选取原则．对特殊表达式，采用程序切片技术，构造基于表达式的可执行模块，通过执行该模块，识别其输入变量的奇异值，进而确定其输入变量的取值范围．通过分析功能域和运行域的边界测试数据集，检测二者的重合性，并根据其分析结果产生测试用例．实验表明：所提方法产生的测试用例，可以有效地提高测试效率．     

程序插装在软件测试中的应用研究

程序插装是软件测试中一种重要的白盒测试技术.介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容.针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和测试实现方法.在插装测试实践中,根据程序测试的规模、要求等,需要综合考虑程序插装对被测程序性能、执行...     

程序切片技术在软件测试中的应用*

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等.同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高.详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用.     

Automating the Transformational Development of Software

This paper reports on efforts to extend the transformational implementation (TI) model of software development [1]. In particular, we describe a system that uses AI techniques to automate major portions of a transformational implementation. The work has focused on the formalization of the goals, strategies, selection rationale, and finally the transformations used by expert human developers. A system has been constructed that includes representations for each of these problem-solving components, as well as machinery for handling human-system interaction and problem-solving control. We will present the system and illustrate automation issues through two annotated examples.     

软件测试技术研究

软件测试是软件生命周期中的重要阶段,也是软件工程的重要组成部分。软件测试的效果直接影响到软件产品的质量。简要介绍了什么是软件测试,阐述了软件测试的原则,并进一步描述了软件测试的过程模型,最后,展望了软件测试技术的发展趋势。     

一种用于软件测试的程序结构划分方法

软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则为判定测试的充分性，由于程序结构的复杂性，难于保证对程序进行充分而高效的测试，本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。该方法难过对程序进行结构划分，将复杂的程序分解为若干程序块，并通过程序块间的数据依赖关系导出各程序块的语义，从而使测试可以在程序块的级别的基础上独立进行。     

试析软件开发过程中的软件测试

对软件测试进行了介绍,阐述了软件测试的分类、特性及准则步骤,并对软件测试的未来进行了展望,提出了关于软件测试的方法和见解。     

探析软件测试之集成测试

集成测试在软件测试中占有非常重要的地位,本文对集成测试的概念、集成测试的策略及集成测试的主要类型(阶段)进行了简单阐述,同时对几种重要的集成测试进行了分析。     

基于遗传算法的控制软件测试

基于遗传算法（GA）的控制软件测试方法是一种智能化的黑盒测试方法。测试中使用该方法，可在对被测对象细节不了解的情况下完成相应的测试任务。对基于遗传算法的表达方式，提出了多层与混合参数编码技术，分别可处理测试过程中涉及的命令（逻辑）序列与数量序列的被测参变量；并以此将测试问题转化为遗传算法善于处理的寻优问题。设计的测试软件按遗传算法的演化规则运作，可寻找到被测软件（系统）的最大故障。     

基于遗传算法的控制软件测试

基于遗传算法（ＧＡ）的控制软件测试方法是一种智能化的黑盒测试方法。测试中使用该方法，可在对被测对象细节不了解的情况下完成相应的测试任务。对基于遗传算法的表达方式，提出了多层与混合参数编码技术，分别可处理测试过程中涉及的命令（逻辑）序列与数理序列的被测参变量；并以此将测试问题转化为遗传算法善于处理的寻优问题。设计的测试软件按遗传算法的演化规则运作，可寻找到被测软件（系统）的最大故障。     

Automating Support for Software Evolution in UML

Disciplined support for evolution of software artifacts is important in all phases of the software life-cycle. In order to achieve this support, a uniform underlying foundation for software evolution is necessary. While, in the past, reuse contracts have been proposed as such a formalism in a number of different domains, this paper generalises the formalism, and integrates it into the UML metamodel. As such, support for evolution becomes readily available for many kinds of UML models, ranging from requirements to the implementation phase.     

软件测试过程分析

分析了传统软件测试的不足,阐述尽早开始测试的必要性,总结出系统测试过程所需经历的阶段——计划、设计、执行和评估。结合瀑布模型,分析了测试与开发并行工作的过程,在此基础上建立了软件测试阶段及其与软件开发各阶段的关系模型。     

Socket编程实现表单的自动填写

通过Socket编程可以实现表单自动填写后发送给Web服务器,并接收Web服务器的响应消息.     

软件测试与软件测试模型

文章针对软件测试中的V模型、W模型、X模型以及RUP模型等软件测试过程模型进行了详细的说明.通过描述,各种测试模型的优缺点均体现出来.文章对如何选择一个合适的软件测试模型,做出了说明.     

软件可靠性测试的理论分析

目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。     

一种基于LabVIEW的高效测试系统模式

程控仪器在远程、多参数集中测试等领域有很重要的应用,如何编制一个高效的测试系统软件是开发人员所要面对的一个重要问题.图形化的编程工具LabVIEW在测试领域中使用很广泛,本文利用它方便的多线程编程能力,构造出了一个高效的测试软件构成模式.使用该模式来确定测试系统的结构,可以在最大程度上保证仪器控制的实时性,又可以保证测试数据的完整性及系统与用户的交互性.     

Program Testing

Nearly everyone in the computer business is concerned about quality. It's probably fair to say there'll be a pot of gold or its currency equivalent awaiting the first person to figure out how to package up some "software quality" and provide it in large quantities at substantial OEM discounts!     

测试应用软件测试参数与程序代码分离的设计方法

针对自动测试设备测试应用软件的设计,提出将测试所需信息分成三类,并将这三类信息以文本文件保存,通过专门开发的软件调用这3个文件完成对某一UUT进行测试,从而实现测试参数与程序代码分离,提高了测试程序的开发效率.     

用Delphi设计软件注册程序

设计成熟的共享软件,一般都会向使用者提出注册的要求,用以保证软件开发者的版权和利益,本文用Delphi程序设计语言,为读者展示如何使用ini文件和注册表文件,设计软件注册程序。