基于因果图的软件测试方法

因果图方法是一种有效的软件测试方法,适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计。因果图最终被转换为判定表,但是由因果图到判定表的转换是很困难的。描述了因果图方法的原理并详细说明了因果图到判定表的转换算法,介绍了因果图方法测试用例的生成。     

基于因果图的软件测试工具的研究与设计

随着软件社会影响的不断发展,提高其可靠性就愈加显得重要,程序测试是保证软件可靠性方法之一.在程序测试中,因果图法是其中一种重要方法,但是由因果图到判定表的转换是最困难的.本文针对这一问题提出了一种转换方法,并用C语言编程实现. 该算法首先从软件功能说明书出发,用人工编制出因果图,再依据因果图将原因和结果、原因和原因之间的关系用逻辑表达式描述,根据此描述由计算机自动生成无遗漏及重复的测试数据条件.     

基于粗糙集的因果图方法简化研究

因果图方法是一种有效的软件测试方法,它适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计,因果图最终被转换为判定表。在判定表中,测试用例的数目随输入数据数目的增加而线性地增加,当输入数据数目较大时,最终生成的判定表的规模会很大,相应的生成的测试用例会很多,并且,程序的规格说明中给出的有些条件及条件值并不是必需的,因此,文中采用粗糙集理论对因果图方法进行简化,并用一个实例说明了该简化方法的合理性和实用性。经简化,由因果图生成的判定表的条件和条件值都不再有冗余,所生成的测试用例数目大大减少,测试变得更加简洁有效。     

基于粗糙集的因果图方法简化研究

因果图方法是一种有效的软件测试方法，它适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计，因果图最终被转换为判定表。在判定表中，测试用例的数目随输人数据数目的增加而线性地增加，当输人数据数目较大时，最终生成的判定表的规模会很大，相应的生成的测试用例会很多，并且，程序的规格说明中给出的有些条件及条件值并不是必需的，因此，文中采用粗糙集理论对因果图方法进行简化，并用一个实例说明了该简化方法的合理性和实用性。经简化，由因果图生成的判定表的条件和条件值都不再有冗余，所生成的测试用例数目大大减少，测试变得更加简洁有效。     

基于因果图的软件自动化测试方法研究

介绍测试方法中的白盒、黑盒以及自动化测试技术,通过试验分析在权限管理系统的测试中,白盒法和黑盒法各自的优劣,使用因果图法设计出全面的测试用例,并基于Linux Shell开发自动化测试脚本,实际应用于权限管理系统的功能测试中,阐明基于因果图的自动化测试的一种新的思路。     

软件测试质量的影响因素分析

软件测试工作对提高软件质量起到了至关重要的作用,为此产生了大量基于软件测试方法的研究以提高软件测试质量。为了研究被测代码的大小、复杂性、测试人员的经验、测试所用时间等因素对测试质量产生的影响,通过构建由影响测试质量的各种主要因素组成的多元线性回归方程,运用线性拟合的方法,得到各因素对测试质量的影响程度,从而证实了测试时间压力对于测试质量具有显著的影响。     

基于因果图启发式的并行概率规划求解

并行概率规划(PPP)是近年来智能规划领域中的研究热点。在该类问题中,动作具有并发性和不确定性,非常贴近现实问题。然而,现有的两种针对PPP的主要求解方法都有明显的缺点。一种基于模拟抽样,以规划器PROST为代表,但求解速度慢;另一种基于迭代深化,以规划器Glutton为代表,但求解质量差。因此,我们尝试使用高效的启发式搜索方法来求解这类问题。目前,因果图启发式(CGH)是启发式规划方法中的佼佼者。考虑到PPP问题采用RDDL语言来描述,其中的条件概率函数(CPF)非常适合用于构建因果图(CG),所以我们引入因果图来对基于RDDL描述的PPP问题进行启发式求解。本文的主要启发式算法称为CGH_RDDL,整体求解方法是使用rddlsim模拟状态演化以及用CGH_RDDL引导搜索。具体做法是：先从领域描述构建出因果图及领域转换图(DTG);然后根据CG和DTG,计算单个状态变量任意一对取值间的转换代价;接着在rddlsim的模拟演化过程中,由CGH_RDDL推送具有最佳估值的后继状态,其中状态的启发值定义为状态轨迹的转换代价和立即回报值的总和;最后累加在限定轮数内rddlsim状态演化的回报值,即为最终的求解质量。在PPP基准领域上的实验结果表明,在不允许手工干预和参数调整的前提下,本文方法的求解效果要好于PROST和Glutton。更进一步地,与其它的基本启发式相比,CGH_RDDL的求解质量高于随机搜索,求解速度快于爬山法。这表明在经典规划领域中高效的启发式搜索策略可扩展去求解这一类非经典规划问题。而非经典规划问题更具有现实意义和应用前景,更值得探讨先进的规划方法去求解它们。     

软件测试性度量框架研究

针对当前软件测试性度量框架适用范围有限、无法扩展的问题,提出一个新的度量框架。分析软件测试性概念,使用层次分析法得到新的框架结构。总结框架扩展方法,将测试性特性和影响因素加入到框架以进行软件测试性度量。其稳定性保证了框架对任何软件都具有相同的测试性度量过程和计算方法,可扩展性使得框架能随着软件技术的发展不断完善,两者为框架的通用性提供了保证。     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

软件测试性计算方法研究

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

软件测试性设计综述

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

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

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

软件可测性度量研究

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

Comparative performance evaluation of applying extended PIE technique to accelerate software testability analysis

The rapid development of technology provides high performance and reliability for the hardware system; based on this, software engineers can focus their developed software on more convenience and ultra-high reliability. To reach this goal, the testing stage of software development life cycle usually takes more time and effort due to the growing complexity of the software. How to build software that can be tested efficiently has become an important topic in addition to enhancing and developing new testing methods. Thus, research on software testability has been conducted and various methods have been developed. In the past, a dynamic technique for estimating program testability was proposed and called propagation, infection and execution (PIE) analysis. Previous research studies have shown that PIE analysis can complement software testing. However, this method requires a lot of computational overhead in estimating the testability of software components. In this article, we propose an extended PIE (EPIE) method to accelerate the conventional PIE analysis, based on generating group testability as a substitute for statement testability. Our proposed method can be systematically separated into three steps: breaking a program into blocks, dividing the blocks into groups and marking target statements. Experiments and evaluations with the Siemens suite, together with cost-effectiveness analysis, clearly show that the number of analysed statements can be effectively decreased, and the calculated values of testability are still acceptable.     

软件可靠性影响因素权重分析

对软件可靠性早期预测模型的研究,首先必须考虑影响软件可靠性的主要因素。而影响因素权重的确定可以说是整个早期预测模型的“灵魂”。针对主观赋权法和客观赋权法的优缺点,提出了基于神经网络和MIV的组合赋权法来分析软件可靠性的影响因素。该方法首先根据主观赋权法得到影响因素的排序,然后利用神经网络的强大的非线性处理能力以及MIV进行客观分析,从而获得更客观更具解释性的权重值和排序。     

An analysis technique to increase testability of object‐oriented components

Object‐oriented component engineering is increasingly used for system development, partly because it emphasizes portability and reusability. Each time a component is used, it must be retested in the new environment. Unfortunately, the data abstraction that components usually use results in low testability. First, internal variables cannot be directly set. Second, even though a test input may trigger a fault, the failure does not propagate to the output. This paper presents a technique to increase object‐oriented component testability, thereby making it easier to detect faults. Components are often sealed so that source code is not available. The program analysis is performed at the Java component bytecode level. A component's bytecode is analysed to create a control and data flow graph, which is then used to increase component testability by increasing both controllability and observability. We have implemented this technique and applied it to several components. Experimental results reveal that fault detection can be increased by using our increasing testability process. Copyright © 2008 John Wiley & Sons, Ltd.     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

基于边界扫描的混合信号电路可测性结构设计

在深入研究IEEE1149.1及IEEE1149.4标准的基础上,设计并实现了符合标准的混合信号电路边界扫描可测性结构各组成部分,包括测试访问口控制器、数字边界扫描单元、模拟边界扫描单元、测试总线接口电路及测试寄存器;构建验证电路进行了测试验证。测试结果表明,所设计的混合信号电路可测性结构是可行的,并可以应用到混合信号电路中提高电路的可测试性。     

机载设备测试性建模与应用

测试性模型是进行测试性仿真、设计、分析、评估的基础和关键。该文描述了设备测试性建模方法与测试性建模流程,为实现对复杂系统的测试性分析及故障诊断,获取有指导意义的诊断策略服务实际应用。测试性设计中采用多信号流建模技术,分层次建立某型机载音频设备的测试性模型;对设备故障模式、故障影响的分析归纳,收集各层级设备故障模式样本形成FMEA分析表;运用计算机建模仿真工具辅助,构建了定量化的测试性模型;通过模型仿真获得被测设备故障检测率、隔离率以及相关故障诊断流程;经测试性指标对比分析及测试性试验验证,发现该测试性模型中薄弱环节,经过迭代模型、改进测试性方案后,显著提高了设备的测试性指标,满足设备的应用使用需求。