面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段，面向对象测试的关键是类测试，当前，类测试常用的方法是基于状态的测试和数据流测试，文章对这两种方法进行了分析和比较，提出了将来基于这两种方法的研究重点。     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量,提高软件可靠性的关键。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,总结了面向对象软件测试的内容、测试层次及测试用例的设计方法,同时讨论了面向对象软件测试技术的现状与发展。     

Algorithms for testing that sets of DNA words concatenate without secondary structure

We present an efficient algorithm for determining whether all moleculesin a combinatorial set of DNA or RNA strandsare structure free, and thus availablefor bonding to their Watson-Crick complements.This work is motivated by the goalof testing whether strands used in DNAcomputations or as molecular bar-codesare structure free, where the strands areconcatenations of short words. We alsopresent an algorithm for determining whetherall words in S*, for some finite setS of equi-length words, are structure free. This revised version was published online in June 2006 with corrections to the Cover Date.     

LD老化筛选及寿命测试系统

介绍了半导体激光二极管(LD)老化及寿命测试的理论依据，给出了寿命测试的数学模型，并据此研制了新型LD老化筛选及寿命测试系统，该系统在密封抽真空充氮环境下，通过采集恒流工作LD的平均输出光功率随时间变化的信息及所处环境的温度，绘制LD的老化曲线，即恒流条件下的“P—t曲线”，然后推断LD的使用寿命。     

Web应用程序压力测试

Web应用程序多客户并发访问、处理相对集中在服务器端的特点使其测试不同于一般应用程序的测试。文中介绍了Web应用程序压力测试的相关概念、测试流程及一些测试工具，并给出了一个压力测试实例。     

商品软件试用版的发布一法

试用版的使用可通过设置有效日期或使用次数来控制，前者较简单，文中以Visual Basic6.0为例主要说明了后者的实现：建立包含检测使用次数代码的工程，编译工程并打包发布。     

基于LabWindows/CVI的计算机图形动态模拟技术

计算机图形动态模拟是动态测试CAT系统的重要组成部分，本文提出了利用Labwindows/CVI实现动态模拟的基本原理与方法，并给出了拖拉机动态测试系统中仿真控制的实例，动态模拟功能设计成为相对独立的模块，有利于实现测试系统的自动化监控和操纵。     

软件测试管理的研究与应用

随着计算机的广泛应用和计算机科学技术的不断发展，计算机系统的组成也相应发生了许多变化，计算机软件的主导作用愈加明显。软件工程的进一步发展，给软件测试及测试管理带来很大帮助。本文简要介绍了软件测试管理的概念、计划、活动、功能、周期、工作量模型及其应用。     

变压器外施高压试验计算机测试系统

在对传统的变压器人工仪表测试系统进行分析与说明的基础上,提出了一种全新的变压器外施高压试验计算机测试系统,并介绍了该系统的硬件组成、结构框图和软件控制流程.针对外施高压试验对系统准确性与稳定性有着较高要求,主要分析了系统核心部分的数据采集与处理的主要算法-傅立叶算法在程序中的实现,并对算法进行了分析与改进.最后在引进变压器仿真系统的基础上对改进算法进行了仿真分析,取得了满意的效果.     

Mutation Testing in the Refinement Calculus

This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage.