基于模糊综合评价的软件测试性度量

考虑软件测试性和测试性特性的模糊性,提出一个基于模糊综合评价的软件测试性度量方法。方法分为模糊度量测试性特性和模糊度量软件测试性两个阶段,每个阶段都基本遵循经典的模糊综合评价方法,分为建立因素集、确定评价集、单因素评价、确定权重和综合评价。为了准确度量软件测试性,方法将测试性特性度量得到的模糊综合评价值作为软件测试性度量的输入。方法不仅能判断软件测试性和测试性特性等级,还能计算它们的具体数值,很好地削弱了模糊性对软件测试性度量的影响。     

基于失效机理的软件测试性评估方法研究

软件测试性是在测试过程中发现缺陷能力的度量指标。基于缺陷导致失效的机理,通过对主要的测试性评估方法分析和研究,总结出一套有实用价值的基于失效机理的软件测试性评估方法,并提出了该方法在软件度量和软件质量改善两个方面的应用前景。     

一种新的提高软件易测试性的合约式设计方法

软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。     

软件测试用例可复用性度量

研究了软件测试用例可复用性的度量方法,提出了测试用例可复用性度量模型TCRM.该模型将易理解性、独立性、适用性、可配置性作为影响可复用性的4个子特性,并使用可信度作为修正特性.提出了针对TCRM模型的度量方法,TCRM模型及其度量方法可给构建软件测试用例库和评价软件测试用例的人员提供参考.     

基于中介中心性的类重要性度量的研究

为了合理分配测试资源,降低测试成本,提高软件质量,在目前软件可测试性和中介中心性研究的基础上,提出了将中介中心性和由UML类图转化而来的类依赖关系图(CDG图)结合起来,度量和分析类之间依赖结构的类重要性,以此来指导软件的测试活动。最后通过实例运行结果表明,该方法可以指导测试资源的分配,提高软件可测试性,保证软件质量,从而降低整个软件测试的成本。     

基于模糊推理的软件测试度量方法

如何形成软件测试有效的成本效益策略一直以来都是软件工程的重要研究内容.许多研究者致力于软件测试的有效性和质量度量的研究并已取得大量成果.但是,软件测试中最重要的问题之一--测试度量中内在的不确定和不相关的关系仍然没有解决.由此,提出一种新的基于模糊逻辑的软件测试质量和测试有效性度量方法,探讨了基于软件质量特性和相似性推理的方法,试图解决不同测试工作任务之间的测试质量和有效性一致的问题.同时提供实验的结果证明提出的方法的可行性.     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性,以及在系统、产品以及数据方面的独立性,在对几种基本的软件测试框架进行研究的基础上上,结合在实际的项目中的软件自动化测试的实践,提出一种基于数据驱动的自动化测试框架(TAF)。分析了软件测试以及软件测试自动化的现状,阐述了软件测试自动化框架的策略目标、关键的成功因素,以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性，以及在系统、产品以及数据方面的独立性，在对几种基本的软件测试框架进行研究的基础上上，结合在实际的项目中的软件自动化测试的实践，提出一种基于数据驱动的自动化测试框架（TAF）。分析了软件测试以及软件测试自动化的现状，阐述了软件测试自动化框架的策略目标、关键的成功因素，以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

软件测试性设计综述

软件测试性设计分为四类：设计时应当遵循的测试性设计原则,通过改变设计或代码提高软件测试性的专用测试性设计技术,为软件增加专门测试结构的结构化测试性设计技术和在软件开发全周期考虑软件测试的测试性设计综合技术。软件测试性设计方法借用了很多硬件测试性设计思想,但在许多方面还能进一步发展。     

软件测试质量的度量

该文在详细分析了软件测试充分性和揭错能力度量理论后,根据软件质量的本质特性,提出一种更全面的软件测试质量度量方法———通过度量软件测试方法减低软件残留风险程度的能力来度量测试质量的新方法。     

一种并发程序可测试性分析框架

软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用．由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决．该文提出了一种并发程序可测试性分析框架．在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据．     

软件的易测试性分析方法述评

软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。     

软件测试性计算方法研究

在软件开发和评估过程中，软件测试性是一个越来越需要考虑的重要因素，对于软件测试性的计算则是指导软件进行有效测试的理论工具。目前，对软件测试性有几种不同的理解，从而导致测试性计算方法的不同。从探索这些不同定义间关系的角度出发，分类介绍了一些测试性计算方法，并分析了这两类方法之间的区别和联系。这种讨论有助于促进对软件测试性的理解，并能根据不同的情况选择不同的计算方法。     

基于信息论的软件测试性分析方法的改进研究

随着软件产业的不断发展,软件不断向系统化、集成化发展,软件所实现的功能越来越强大,复杂程度越来越高,最终导致软件质量越来越难以保证。软件测试性分析能够提供软件测试性信息,通过这些信息设计人员能在设计和测试执行之前确定测试的难易程度和所需资源,从而决定是否需要修改设计以得到一个更易测试的软件。以信息论软件测试性分析方法为基础,将程序转化为信息转换图进而利用信息论的方法进行测试性分析,最后引入模糊综合评价的方法对分析结果进行评价,并通过实例对该方法的有效性进行验证。     

软件可测性度量研究

为研究软件可测性，从数据处理过程中信息掩盖这一新的角度对软件可测性度量进行研究，提出了一种基线模型用以描写输入、处理和输出之间的关系，并在此基础上提出了一套基线度量指标，用以度量信息处理过程中的信息掩盖程度，揭示软件的可测性；基线模型中3条基线度量定理的发现，进一步揭示了信息掩盖程度与基本处理片和过程临时元的定量关系；两种度量模型的比较显示了基线度量模型的合理性。     

基于雷达的测试性设计优化方法应用研究

基于雷达等电子产品测试性要求的不断提高,对产品进行测试性设计迭代并进行测试性验证,成为对电子产品的普遍要求。由于初始设计有缺陷、覆盖故障模式不全等引起测试性设计不能满足要求,开展闭环测试、脉冲检测、隔离策略优化等测试性改进,最终选择软、硬件改进相平衡的方案,通过回归试验,获得满足指标要求的检测率和隔离率结果,优化方法促进了产品的测试性设计改进和增长。     

装备测试性设计辅助决策系统关键技术研究

针对测试性设计的辅助决策工具是装备测试性设计水平提高的关键技术。围绕测试性设计辅助决策系统实现,从装备测试性设计建模、装备测试性设计与分析优化算法、辅助决策系统实现等三个方面展开研究,在分析现有模型的基础上提出了用于测试性设计的信息模型建模思想,并对测试性设计过程中的诊断优化算法进行了研究,最后完成对测试性模型、诊断策略的集成,对系统平台实现的关键技术进行了研究。本研究是实现装备测试性设计辅助决策系统的关键。