检索结果-南通市图书馆

基于UML的软件markov链使用模型构造研究

在线全文

学校读者我要写书评

暂无评论

软件学报 2005年第8期16卷 1386-1394页

作者：颜炯王戟陈火旺国防科学技术大学计算机学院湖南长沙410073

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软... 详细信息

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.

关键词：统一建模语言统计测试 markov链使用模型软件可靠性

基于markov链使用模型的组件复用的统计测试

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2008年第4期25卷 1051-1053,1056页

作者：马春燕胡飞张云鹏西北工业大学软件与微电子学院西安710072

提出了用markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,... 详细信息

提出了用markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,说明提出的方法是组件复用自动化测试的一种经济可行的方法。

关键词： markov链使用模型组件复用统计测试自动化测试

基于markov链使用模型的软件可靠性测试用例生成研究

在线全文

学校读者我要写书评

暂无评论

科技广场 2009年第9期 6-9页

作者：卜国峰朱小冬吴彩华王毅刚军械工程学院维修工程研究所河北石家庄050003 空军雷达学院信息对抗系湖北武汉430019

本文针对软件可靠性测试中测试用例设计方法不足、难以生成等问题,对软件的需求分析和设计文档进行了研究,提出一个基于UML的扩展模型,通过构建不同等级的markov链使用模型最终解决了可靠性测试用例生成的难题。可靠性测试用例的生成是... 详细信息

本文针对软件可靠性测试中测试用例设计方法不足、难以生成等问题,对软件的需求分析和设计文档进行了研究,提出一个基于UML的扩展模型,通过构建不同等级的markov链使用模型最终解决了可靠性测试用例生成的难题。可靠性测试用例的生成是软件可靠性工程的一个重要组成部分,它对于指导软件测试过程、提高软件可靠性有重要的意义。

关键词：软件可靠性测试 markov链使用模型 UML模型可靠性测试用例

基于markov链使用模型的软件可靠性测试方法

在线全文

学校读者我要写书评

暂无评论

信息技术与信息化 2022年第6期 123-126页

作者：孙德刚山东华宇工学院信息工程学院山东德州253000

针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化... 详细信息

针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化为markov链使用模型的实时测试序列和优化方法,解决了传统UML模型在软件可靠性测试过程中由于描述粒度过粗而导致的对软件可靠性描述真实度不够等问题。通过对比仿真实验分析,证实文章提出的模型同传统模型相比,预测精度和准确性较高,拟合效果较好,且可扩展性更强,从而达到软件可靠性增长模型的预测功能。

关键词： UML模型软件测试可靠性 markov链使用模型

一种基于UML模型的软件markov链使用模型生成方法

在线全文

学校读者我要写书评

暂无评论

一种基于UML模型的软件Markov链使用模型生成方法

第四届中国测试学术会议

作者：秦静徐锡山国防科学技术大学计算机学院602室

软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试。在软件可靠性测试的工程实践中,需要解决的问题是,如何确定系统的操作剖面、如何获得软件的使用模型。把UML模型信息用于软件使用模型的构造是近年来软件可靠性测试... 详细信息

软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试。在软件可靠性测试的工程实践中,需要解决的问题是,如何确定系统的操作剖面、如何获得软件的使用模型。把UML模型信息用于软件使用模型的构造是近年来软件可靠性测试技术研究的一个热点内容。本文讨论了从加入统计测试约束的软件UML模型构造软件markov链使用模型的方法,并给出了相应的完整算法。最后以一个卫星控制系统的嵌入式控制软件为例, 说明了算法的有效性。

关键词：统计测试软件可靠性 UML模型 markov链使用模型

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于优化模型的类级测试数据自动生成研究

科学技术与工程 2012年第30期20卷 7920-7923,7930页

作者：屈迟文百色学院数学与计算机信息工程系广西533000

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后... 详细信息

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。

关键词：类级测试数据 markov链使用模型测试充分性

在线全文

学校读者我要写书评

暂无评论

基于UML的可靠性测试模型研究

基于UML的可靠性测试模型研究

作者：靖天才杭州电子科技大学

学位级别：硕士

随着社会对软件需求的逐渐增加,系统规模和复杂程度也在不断上升,各种软件故障频频出现,软件测试和软件质量越来越受到关注。作为软件质量的重要指标之一,软件可靠性对评估软件质量起着举足轻重的作用,软件可靠性测试工作的进行对优化... 详细信息

随着社会对软件需求的逐渐增加,系统规模和复杂程度也在不断上升,各种软件故障频频出现,软件测试和软件质量越来越受到关注。作为软件质量的重要指标之一,软件可靠性对评估软件质量起着举足轻重的作用,软件可靠性测试工作的进行对优化软件架构、推动软件开发顺利完成和提高软件质量有着重要的意义。UML以其成熟的模型、丰富的图元和强大的建模能力在面向对象软件开发和软件测试中被广泛应用,但大多数可靠性测试所使用的UML模型描述粒度过粗,导致所构建的使用模型对软件的刻画真实度不够,鉴于此,本文提出了一种面向复杂UML模型的markov链使用模型构建方法,为软件可靠性测试提供真实可靠的模型和良好的基础。本文首先对标准UML模型进行了可靠性扩展,并针对转移概率确定方法不够具体和计算结果偏差较大等问题,提出了一种基于杠杆加权思想的LW-AHP算法,提高了概率估算的准确性,为构建markov链使用模型提供了更加全面准确的信息;其次,为了对markov模型构建提供语义支持,对扩展后的UML模型进行了形式化定义,特别是对UML模型中不同类型的组合片段和多层嵌套组合片段等细化描述粒度新特性的添加,为模型构建提供了更加具体、粒度更小的软件描述信息;再次,为了保证扩展后UML模型对构建markov链使用模型提供可靠完备的一致性条件,本文给出了扩展UML模型的一致性定义和验证方法;最后,基于验证通过的UML模型,本文提出了一种面向复杂UML的markov模型构造方法,解决了传统UML模型描述粒度过粗而导致所构建的使用模型对软件的刻画真实度不够等问题;论文结尾根据研究方案设计实现了markov链使用模型自动构建工具UM2MC,并以无人机飞控系统的位姿控制子系统为实例,使用UM2MC建模工具构建了markov链使用模型,验证了论文中使用模型构建方法的可行性和建模工具的实用性。

关键词：软件可靠性测试嵌套组合片段 markov链使用模型 LW-AHP

基于扩展UML的软件可靠性测试模型构建方法研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于扩展UML的软件可靠性测试模型构建方法研究

作者：桂明明杭州电子科技大学

学位级别：硕士

随着计算机在生活中的广泛应用,加上其软件规模不断扩大,复杂性不断提升,软件质量受到了社会的普遍关注,人们对软件可靠性要求也越来越高。软件可靠性测试模型是可靠性工程的基础和关键,引起了社会的广泛关注和重视。软件可靠性测试模... 详细信息

随着计算机在生活中的广泛应用,加上其软件规模不断扩大,复杂性不断提升,软件质量受到了社会的普遍关注,人们对软件可靠性要求也越来越高。软件可靠性测试模型是可靠性工程的基础和关键,引起了社会的广泛关注和重视。软件可靠性测试模型对优化系统架构、保证开发测试工作顺利进行以及保障软件质量,具有重要意义。UML模型作为面向对象软件开发中的标准建模语言,已得到了广泛应用,基于设计模型构建软件可靠性测试模型受到了学术界与工业界的普遍关注。本文以实现软件可靠性分析为目标,以软件UML模型为基础,提出了一种基于扩展UML模型构建软件markov链使用模型的方法。本文对标准UML模型进行了可靠性扩展和形式化定义,为使用模型构建工作提供了语义基础。通过对UML2.0新特性的研究,在模型扩展和形式化定义中实现了对新增组合片段的支持。构建使用模型之前需要对UML模型进行一致性检查,本文给出了模型一致性验证的具体方法。此外,本文还提出了一种基于梯形模糊数F-AHP分析方法确定使用模型转移概率的方法,能够自动计算得到使用模型的转移概率。依据所提方法,本文设计开发了一个可靠性模型构建工具-UM2M。该工具能够利用其它建模工具设计的UML模型构建得到markov链使用模型。最后,本文以课题研究的无人机飞行控制系统中多种飞行模式UML模型为基础,实现了无人机飞行控制系统不同飞行模式下markov链使用模型的构建,为完成该无人机飞行控制系统的可靠性测试提供了基础和保障。

关键词： UML 软件可靠性测试 markov链使用模型形式化定义

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于UML的软件可靠性测试技术研究

基于UML的软件可靠性测试技术研究

作者：秦静国防科学技术大学

学位级别：硕士

软件可靠性测试又称为软件统计测试,是软件可靠性工程的重要内容。它与传统的软件测试不同,主要是基于统计理论,通过模拟软件的实际使用来实施测试,然后根据数学和统计学模型对测试结果进行分析,获取软件的质量度量。在软件可靠性测试... 详细信息

软件可靠性测试又称为软件统计测试,是软件可靠性工程的重要内容。它与传统的软件测试不同,主要是基于统计理论,通过模拟软件的实际使用来实施测试,然后根据数学和统计学模型对测试结果进行分析,获取软件的质量度量。在软件可靠性测试中,首要而又重要的一步是获取软件的使用模型,它描述了软件系统所有可能使用的总体及其发生概率。获得准确的使用模型关系到生成的统计测试用例的正确性,进而影响到对可靠性评估的准确性。随着统一建模语言(Unified Modeling Language,UML)成为面向对象软件事实上的标准建模语言,基于UML的软件开发过程和建模环境已被工业界广泛接受,在高可靠软件开发中的应用也越来越多。因此,基于UML的软件可靠性测试成为值得研究的内容。论文研究了从UML模型出发构造软件markov链使用模型的方法,主要包括:普通软件markov链使用模型的生成方法和分布式软件markov链使用模型的生成方法。在添加相应测试约束的基础上,分别给出了完整的算法,然后,均以实例说明了算法的有效性。论文最后介绍了构造分布式软件markov链使用模型的工具D-U2UM。

关键词：软件可靠性测试统计测试 UML markov链使用模型分布式软件