基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域，测试用例的质量将直接决定软件测试的科学性和有效性．该文在一般的测试用例选择方法的基础上，提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型，据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表．并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点，从而可以在提高软件测试质量的同时，降低成本，提高效率．最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果．     

软件测试用例生成综合策略研究

在软件测试中，测试用例生成是其关键环节，也对软件测试的自动化有着重要影响。为了提高测试用例生成的效率，提高其自动化的程度，从不同角度对软件测试用例选择策略进行介绍，并且着重介绍了采用遗传算法作为核心搜索算法来自动生成用例的方法，对其中的关键问题进行了探讨，最后，结合实际测试过程总结了测试用例生成的综合策略。     

决策树在软件测试用例生成中的应用

在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响。为了提高测斌用例生成的效率,提高其自动化的程度,从不同角度对软件测试用例选择策略进行介绍。决策树是数据挖掘领域中一种重要的数据分类技术．在现有的一些功能测试用例生成方法基础上提出了一种基于决策树算法的测试用例生成方法,并对其中一些关键问题进行了初步的探讨。     

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准，如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战．为了从UML设计模型中的活动图直接生成测试用例，给出了UML活动图的形式化定义和灰盒测试方法．该方法首先分析UML活动图上的所有执行路径（每条路径称为一个测试场景），然后根据测试场景中的节点和转换所代表的活动及其输入／输出变量、相关约束条件等生成测试用例．并根据该方法实现了一个自动生成测试用例的工具UMLTGF，它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例．该工具能够提高软件测试的效率，降低测试成本．     

决策树在软件测试用例生成中的应用

在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响.为了提高测试用例生成的效率,提高其自动化的程度,从不同角度对软件测试用例选择策略进行介绍.决策树是数据挖掘领域中一种重要的数据分类技术,在现有的一些功能测试用例生成方法基础上提出了一种基于决策树算法的测试用例生成方法,并对其中一些关键问题进行了初步的探讨.     

软件测试之我见

随着大量编程语言、操作系统以及硬件平台的涌现,软件测试变得越来越困难,但随之产生了很多简单易用的软件测试工具。软件测试通常以测试用例为基础展开。测试用例设计的优劣决定了软件测试工作的效率。测试用例是测试计划阶段设计的多组测试数据,主要包括用例编号、用例数据,预期结果等。根据测试用例的不同设计方法,软件测试可以分成白盒测试、黑盒测试和灰盒测试。完整的软件测试过程是评估软件质量的一个参考标准。     

基于Rough集的软件测试用例优化过程

测试用例生成是软件测试的关键环节，也是软件测试的重点和难点，如何生成高效简化的测试用例是软件测试研究的重要问题之一。对此，提出了基于Rough集的软件测试用例优化过程。针对这一过程采用一种能同时得到属性核值信息的属性约简算法，提出了一种新的属性值约简算法。最后结合一个实例说明了此优化过程具有较高的效率，达到了较好的测试用例优化效果。     

基于Agent的测试用例选择工具研究

测试用例的数量和质量决定软件测试的成本和有效性。该文设计了一种基于Agent的测试用例选择工具，它能优化测试用例自动生成器所产生的大量测试用例。该工具利用RE规则和CTS规则对测试用例进行智能选择。其优点是它能进行没有冗余的、一致性的测试用例的选择，在不改变故障检测能力的同时缩短测试时间。     

成对测试中的测试生成策略研究

测试用例生成是软件测试的关键，成对测试是根据特定的测试原则研究测试用例的产生方法。基于这一原则分别构造了IPO-H算法和IPO-V算法的测试以产生整个测试用例，具有产生的测试用例少，时间消耗小等优点。并与另一个成对测试的测试生成工具AETG(高效自动测试生成器)进行了比较、分析，证明了改进的IPO策略便于构造自动测试工具。     

基于形式规格说明和分类树方法生成软件测试用例

介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。     

软件测试入门浅谈

文中结合自己软件测试入门阶段的体会介绍了识别测试需求、设计测试用例和执行测试用例,其中识别测试需求重点介绍主动获取需求、确认需求的优先级两方面,设计测试用例着重介绍了测试用例的基本格式、加强测试用例的评审和定义测试用例的执行顺序,执行测试用例主要介绍搭建软件测试环境,执行测试用例和更新测试用例几个方面。     

HC／HCT系列电路测试程序设计

目前，在整机系统上，HC／HCT类电路应用还十分广泛。严格测试电路的功能及交、直流参数十分必要。在多年测试实践基础上，文章提出了HC系列电路测试程序设计概要，对于一些关键测试技术亦作了较为详细地阐述。     

自动化测试脚本自动生成技术的研究

软件自动化测试技术的出现,大大减轻了软件测试人员的测试压力,显著提高了测试工作的效率,但是自动化测试脚本的编写和维护工作也是测试自动化所面临的一项挑战。针对自动化测试脚本的编写和维护工作中遇到的困难,提出了一种基于RFT的测试脚本自动产生的方法,从而有效地提高了测试工作的效率,降低编写和维护测试脚本的开销。     

自动化测试脚本自动生成技术的研究

软件自动化测试技术的出现，大大减轻了软件测试人员的测试压力，显著提高了测试工作的效率，但是自动化测试脚本的编写和维护工作也是测试自动化所面临的一项挑战。针对自动化测试脚本的编写和维护工作中遇到的困难，提出了一种基于RFT的测试脚本自动产生的方法，从而有效地提高了测试工作的效率，降低编写和维护测试脚本的开销。     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。     

Web应用测试集成环境的研究与设计

提出了Web应用的层次化测试方法,设计并实现了Web应用测试集成环境,该环境面向科学数据库系统平台软件测试的需要,对测试需求管理、测试脚本生成、自动化测试执行、测试报告生成等任务进行了集中化的处理.     

测试用例最小化研究*

给出了测试用例最小化问题的形式化描述,提出并实现了两个新的用于用例最小化的算法.与现有其他最小化算法不同,这两个算法在考虑了每个用例测试覆盖度的同时,还考虑了用例的测试运行代价,目的是提高最小化效率.最后给出了对这两个算法进行实例研究的实验结果.结果表明,用例最小化技术能有效缩减回归测试用例集的尺寸,大幅度降低回归测试费用,提高最小化效率.     

航天器数字化测试模式设计与应用

随着航天事业的发展,航天器将迎来高密度的研制和发射任务。测试设计和实施同步、测试现场消耗大的测试模式导致测试效率低下,不能满足未来的综合测试需求。为解决航天器测试效率不能适应测试任务的问题,设计了航天器数字化测试模式。搭建数字化测试平台,实现测试准备、测试实施、测试评估全周期自动化。基于数字化测试平台,开展综合测试专业化设计与实施。推进测试设计与测试实施分离,将测试设计工作前移,测试设计人员通过测试用例与测试判据的精细化设计,将测试准备工作做充分,实现测试实施和评估过程自动化。数字化测试模式应用于多个航天器型号综合测试,形成多个固化测试用例数据库,有效提升测试效率,为后续型号测试能力的提升奠定坚实的基础。     

软件安全性检测技术综述

该文阐述了网络软件安全检测的重要性,介绍了现有的主要检测方法,包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。     

Web系统测试用例自动执行系统

由于Web应用系统的迅速发展,如何进行有效的Web测试对于保证Web系统的可靠性越来越重要。设计的Web功能测试用例自动执行系统,改进了传统的录制/回放方式,可以模拟用户操作,对Web系统进行功能性测试。提出一种基于XML的测试用例的结构描述,称之为X-Case,对于经常更新的Web系统,修改X-Case结构内的相关数据就可以进行回归测试,不需要重新生成大量的测试用例,节约Web测试的成本。该系统支持部分测试数据自动生成,对动态和静态网页均能执行自动化测试。