关于《软件工程》课程教学中条件覆盖方法的讨论

软件测试是软件开发的一个重要环节，也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法—逻辑覆盖测试方法，并结合一个例子重点讨论了运用条件覆盖测试方法设计测试用例的各种方案，还将条件覆盖方法与语句覆盖方法、判定覆盖方法作了深入、细致的比较。     

极低频微加速度频率分析与测试系统验证

由微振动引起的工程质量、安全问题越来越受到重视,同时在一些实际工程的建设、使用、维护中,必须对微振动环境下极低的振动频率进行测试与分析。测试系统能测试到微振动,而且振动测试的准确度可进行计量检定,但不能进行极低频下频率准确度的检定,实际测试中对微振动环境下的极低频的频率测试分析是否准确、可靠受到质疑。本文主要阐述测试系统在微加速度状态下对极低频率的测试验证方法,特别是要检验测试系统在微加速度工况的极低频下频率测试分析的准确度。验证试验证明本方法可行。本测试系统有较高的测试精度,测试方法有经典的理论支持,可为同行在做相关试验中参考与借鉴。     

基于局部放电测试技术的避雷器状态诊断方法研究

避雷器经过长时间使用或受到外界环境的影响,可能会出现老化、损坏或失效的情况,影响避雷器状态诊断准确性,为保证避雷器状态的带电诊断性能,提出基于局部放电测试技术的避雷器状态诊断方法。模拟内部气隙、尖刺、沿面等局部放电现象的产生过程,确定不同局部放电状态下避雷器的运行特征,以此作为避雷器状态诊断标准。优化设计避雷器局部放电信号采集设备,利用该设备采集避雷器的实时状态信号,从统计和时频域两个方面,提取避雷器运行状态特征。利用局部放电测试技术,计算避雷器放电参数,通过特征匹配度和放电参数的比对,得出避雷器状态的诊断结果。实验结果表明,在200kV和500kV避雷器中,所提方法平均局部放电量诊断误差分别为0.5pc和1.0pc,局部放电相位幅值诊断误差0.01V和0.01V,状态诊断准确率平均值为99.5%和99.6%。     

"VXI总线测试软件平台"的软件测试

“VXI总线测试软件平台”是一个大型系统软件，必须对其完备地测试，以保证软件系统的可靠性，针对“VXI总线测试软件平台”的特性，就软件测试、软件的可维护性及可靠性进行了论述。     

探究软件测试技术与测试管理

软件测试对软件整体质量和性能的展现具有非常重要的意义和作用。本文首先对软件测试技术和软件测试 管理进行了分析,其次对软件测试技术中出现的问题提出了具体方法。本文对于软件测试和管理人员具有积极的作用。     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段,面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究,然后讨论了面向对象软件的测试用例设计的方法。     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段．面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究，然后讨论了面向对象软件的测试用例设计的方法。     

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．     

Testing by the numbers

In order for an organization to reach SEI level 4 capability, quantitative process management is essential. As a step towards SEI level 4 the GSM BSS software organization has developed a metric analysis programme which is being used during the system test phase. This programme focuses on metrics analysis which allows quantitative metric information to be correlated with non-metric knowledge and used real-time. It has allowed us to take a giant leap from simply collecting pass/fail data during testing to analysing the data, so they can be used by the project. Quantitative information is used to plan and monitor test activities and evaluate the product at the end of testing. Not only has this programme provided a technique for managing the test phase, it has provided a mechanism for improving the quality of our releases and we are beginning to use it as a prediction of the quality of our product as release. The metric analysis programme also provides a mechanism for improving the test process and is also being utilized to indicate areas requiring improvement within development. Our paper is a case study of how we use test metrics. It discusses the corrective actions that resulted from the analysis of the metrics. We have found this approach invaluable as we improve the quality of our processes and product.     

浅谈软件测试中回归测试

回归测试尽管繁琐、重复,但这是一种必须要做的测试,是否采取自动化测试工具,或是其他测试方式,是本文要讨论的问题.本文就回归测试的本质出发,探讨其关键性、重要性及其测试方法,有其学术和现实意义.     

浅谈白盒测试之基本路径测试方法研究

本文分析了白盒测试中基本路径测试方法的相关概念,阐述了利用基本路径测试方法设计测试用例的过程,最后通过实例说明基本路径测试方法的使用。     

单元测试中非公有类型方法的测试

软件的开发总是离不开测试,在测试越来越受到重视的今天,对单元测试也提出了越来越高的要求,在软件测试中对非公有类型方法进行测试也一直倍受关注。使用派生,反射机制可以实现对非公有类型方法的测试。通过巧妙的设计,使用这些技术,可以通过代码演示如何测试非公有方法。     

软件测试与软件测试模型

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

网络条件下的图书馆

论述了网络条件下的图书馆馆藏资源、服务范围和服务模式 ,介绍了多媒体在图书馆服务中的应用及提高工作人员素质的必要性。     

基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.     

Certification Testing: A Procedure to Improve the Quality of Software Testing

Here is a presently operational plan to improve the quality of program testing. After all programs are tested alone, an independent quality control staff uses automated tools to certify that minimum testing criteria have been met.     

Testing the completeness of specifications

A system is described that tests for the completeness of axiomatic specifications of abstract data types. For testing, the system generates a set of test cases and an implementation of the data type from the specifications. The generated implementation is such that if the specifications are not complete, the implementation is not complete, and the behavior of all of the sequences of valid operations on the data type is not defined. This implementation is tested with the generated test cases to detect the incompleteness of specifications. The system is implemented on a VAX system running Unix     

浅谈白盒测试技术

伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基本的方法之一,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。该文将重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。