一种软件功能测试成本估算模型及其应用

软件测试是软件工程的一个重要阶段。在软件测试工作开展以前,恰当的估算软件测试的规模及成本,将使软件产品的质量得到大幅提高。提出一种基于算法模型的软件功能测试成本估算模型,给出了模型中参数的初步校准值,并在实践项目中进行了应用。实践表明,该模型在实践中可以较好地估算软件功能测试规模及成本,为测试计划的制定及测试工作的开展,起到积极作用。     

软件测试中可靠性模型的设计与研究

软件测试是保证软件质量和提高软件可靠性的关键所在,而软件可靠性是衡量软件质量的重要指标之一,二者有着非常紧密的联系。软件可靠性模型既是软件可靠性进行定量分析的基础和保障,也是软件可靠性进行预测的核心和关键,对保证软件质量起到了非常重要的作用。文中结合软件测试与软件可靠性及其模型的相关理论,通过对Seeding模型的分析与改进,提出了一种适用于软件测试的可靠性模型。实验结果表明,使用文中提出的软件可靠性模型能较好地满足软件对可靠性评估的要求,较好地应用在软件测试中。     

改进的J-M模型及其在软件安全性评估中的应用

分析了软件可靠性和安全性之间的关系;针对安全软件测试剖面和操作剖面有不同的故障检测率,以及软件故障剔除时有引入新故障的可能,通过改变Jelinski-Moranda(J-M)可靠性模型相关假设及参数,提出了一个既能描述安全软件测试剖面与操作剖面不同,又能描述故障引入率的软件安全性评估模型;并给出了该安全性评估模型的性能度量.最后,对同一组铁路信号控制安全软件的失效数据进行分析,结果表明改进后的J-M评估模型比原J-M模型有着更好的拟合能力和预测能力.     

基于过程度量的软件测试质量管理

软件测试验证软件是否符合用户需求,软件测试过程的科学管理是软件测试成功的重要保证,运用软件度量的方法量化软件测试过程,构造度量并分析过程度量数据的有效性;论述测试效率/软件缺陷作为软件测试工作量/成果指标的必要性,运用工作量/成果模型分析测试过程;通过量化软件相关属性实现过程度量的构造,实施度量后利用工作量/成果模型对度量结果进行分析,并对项目做出评估,并采取相应措施;在现有资源的情况下,实施质量管理,监控软件测试过程,实现软件测试过程的有效管理。     

支持软件可信评估的框架及其应用研究

软件可信评估是软件可信研究的一个重要方面,但是目前已有的研究存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足。针对上述问题,通过对已有相关工作进行改进和扩展,提出了一种通用的软件可信评估框架,阐述了应用该框架实现可信评估的具体过程,给出了详尽的案例分析,并基于该框架开发了可信评估管理系统,验证了框架实施的可行性。实验表明此项研究适用于不同形态的软件,支持可信属性、可信证据、评估指标的定制,对于软件可信评估活动的成功实施具有一定的指导作用。     

软件可信评估模型及其工具实现

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。     

基于COCOMO模型的软件测试成本估算

本文介绍了软件界影响最为广泛、也最著名的软件开发成本估算模型COCOMO,并且根据软件测试工作成本难以估算的特点,将COCOMO估算模型应用于软件测试成本估算工作中,以提高软件测试成本估算效率和成功率。     

关于软件测试模型的探讨

近年来,计算机进入了千万百姓家,在教育、医学、军事等领域贡献了巨大力量,而作为信息技术的一种,软件规模越来越大,数量和种类越来越多,软件结构也愈加复杂,但是软件在社会各个领域都是不可或缺的,因此如何提高软件质量、安全性成为了企业、研究机构所关注的重要问题.大量实践表明,软件测试是决定软件质量的重要因素,软件开发有过程模型,而软件测试有测试模型.使用测试模型的主要目的是描述软件测试中包含的活动和其相互之间的关系,运用软件测试模型能够有效提高测试效率,减少人力和财力消耗.     

基于并行工程的软件测试模型研究

结合并行工程和软件过程改进的思想，提出了一种适用的软件测试模型，并介绍了软件测试流程及相应的软件测试技术。     

软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。     

航空机载软件测试质量评价方法研究

软件测试是提高软件产品质量和降低软件维护成本的重要手段。针对高安全关键航空机载软件测试质量评价难题,结合航空机载设备研制生存周期、航空机载软件研制生存周期和航空机载软件测试阶段,提出一种全生存周期航空机载软件测试质量评价方法,并建立了基于软件研制过程测试、三方测评、定型/鉴定测评和用户使用四个阶段的质量评价模型,包括测试需求分析和策划质量、测试设计和实现质量、测试执行质量和测试总结质量4项活动和18种度量元。通过工程实践证明,该方法技术实现上可行,具有评价要素更完整、评价模型更合理、评价结果更客观的特点,为解决航空机载软件测试质量评价提供了一种新方法,最终能达到降低软件维护成本和提高软件测试质量的目的。     

基于Gompertz模型的软件质量与测试过程评估

针对软件产品质量与测试过程如何进行定量度量与预测这一实用需求,提出基于Gompertz模型利用测试过程中发现的缺陷数进行评估的方案,采用非线性回归最小二乘法对模型参数进行估计,实现了对软件产品质量和测试过程的定量预估,给出了实用方法,并对判断测试活动是否结束提供依据。     

一种安全软件安全性评估的模糊模型

提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理，实现了安全软件安全性的一种定性评估，并通过仿真实例给予说明。     

软件第三方测评

软件测评是许多软件交付用户前的最后一个环节,对提高软件的质量起着重要作用.所谓的软件第三方测评,是由具有相关资质的独立第三方测评机构根据委托方的要求,依据相关标准,对被测软件的质量进行全面的测试和评价.结合自身工作经验介绍了软件第三方测评的目的,详细论述了软件第三方测评的过程及其工作产品,最后对如何更好地开展软件第三方测评提出了一些建议.     

一种面向CPS软件的可信性评估框架

信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性.     

基于改进AHP-Fuzzy的面向测试的软件质量评价模型

为解决面向测试的软件质量评价难以有效开展的问题,基于对传统AHP-Fuzzy模型的适当改进,提出一种面向测试的软件质量评价模型——SFSE,首先对所有叶子节点执行单因素实测评价,再按照自底向上的顺序逐层评价各级评估原子集。实验结果表明,拓展综合评价集向量提供了可调节的评估参数,通过基于实测问题规模构建评估模糊评价矩阵、将权重投射至评价因素集上的模糊子集等方式,SFSE模型可在无需人工干预的情况下实现对被测软件的定量评价。     

基于UML的软件Markov链使用模型的构建

构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.     

分级的软件可信评估模型研究及应用

针对软件的可信任问题,展开对软件可信程度的度量和评估的研究,提出了软件质量模型及分级的可信软件评估模型,将软件的信任程度分为存在级、不可信级、可用级、证实级、推荐级、应用级等6个可信级别。基于决策树给出了可信软件等级的评估过程,并将其应用于可信构件平台中。经过测试,系统运行稳定,对高可信软件的开发和重用具有引导作用。     

基于功能点分析测试设计充分性模糊评判建模

提出了一种基于软件功能点分析结果设计测试用例的观点,通过分析功能点指标和测试设计之间的关系,以度量数据为基础,运用模糊数学方法建立了测试设计充分性综合评判模型,有效地解决了测试设计充分性难以定量评价问题,同时也为软件测试设计提供了一种新的思路和方法,并以一个实例验证了该模型的可行性。