检索结果-南通市图书馆

科学与信息化 2020年第28期 36-36页

作者：苏晶山东理工大学山东淄博 255049

软件测试是发现软件缺陷和提高软件质量的重要手段.在系统功能测试过程中,面对海量的输入输出数据组合,等价类划分和边界值分析是行之有效的测试用例设计方案.本文以BMI问题为例,阐述了两者结合的测试方案,该方案可提高测试的效率及有效性.

关键词：软件测试等价类划分边界值分析

来源：评论

学校读者我要写书评

暂无评论

《软件工程》中等价类划分法的讨论

黑龙江科技信息 2007年第06X期 33-33页

作者：尹琪黑龙江工程学院黑龙江哈尔滨150000

软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。主要介绍了一类软件测试方法——黑盒测试中的等价类划分法,并结合一个例子分析了运用该方法设计测试用例的方案。

关键词：软件工程软件测试等价类划分

在线全文

学校读者我要写书评

暂无评论

基于谓词抽象的测试用例约简生成方法

通信学报 2012年第3期33卷 35-43,51页

作者：郭曦张焕国武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状... 详细信息

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。

关键词：谓词抽象状态约简等价类划分测试用例生成

在线全文

学校读者我要写书评

暂无评论

Cache一致性验证的结构化激励生成算法

湖南大学学报（自然科学版） 2018年第10期45卷 108-114页

作者：程开丰罗汉青梁利平中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室北京100029

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图... 详细信息

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.

关键词： Cache一致性有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成

在线全文

学校读者我要写书评

暂无评论

面向总线系统的高层次结构化激励生成算法

湖南大学学报（自然科学版） 2018年第4期45卷 148-154,160页

作者：程开丰罗汉青梁利平中国科学院大学微电子研究所北京100029

为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次... 详细信息

为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.

关键词：总线系统有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成

在线全文

学校读者我要写书评

暂无评论

实时软件测试用例构造方法研究

西北工业大学学报 1998年第2期16卷 261-265页

作者：李伟华王备战李书书西北工业大学

在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。

关键词：测试用例生成等价类划分实时软件

在线全文

学校读者我要写书评

暂无评论

一个自动翻译算法的设计和实现

计算机工程 2001年第8期27卷 92-93页

作者：张敏霞宣俊徐旭浙江工业大学信息工程学院杭州310032

将软件源代码中的Ａ语言数据转化为Ｂ　语言数据时，因Ｗｉｎｄｏｗｓ２０００以前的平台不能同时支持多种语言的数据编码，转化问题涉及多个操作系统，比较复杂。设计了一种将Ｗｉｎｄｏｗｓ　ＮＴ支持的Ａ语言源文件翻译为Ｗｉｎｄｏ... 详细信息

将软件源代码中的Ａ语言数据转化为Ｂ　语言数据时，因Ｗｉｎｄｏｗｓ２０００以前的平台不能同时支持多种语言的数据编码，转化问题涉及多个操作系统，比较复杂。设计了一种将Ｗｉｎｄｏｗｓ　ＮＴ支持的Ａ语言源文件翻译为Ｗｉｎｄｏｗｓ２０００支持的Ｂ　语言源文件的算法，并分析了用Ｃ＋＋　Ｂｕｉｌｄｅｒ实现该算法的几个主要问题。

关键词：等价类划分控制逻辑多操作系统自动翻译算法设计 Windows2000

在线全文

学校读者我要写书评

暂无评论

Bordat概念格构造算法的改进

计算机工程与应用 2010年第35期46卷 33-35,38页

作者：陈庆燕滨州学院计算机科学技术系山东滨州256600

作为一种重要的概念格构造算法,Bordat算法简洁、直观且易于并行化,但该算法本身的效率并不高。在深入研究格结构特性的基础上,给出了它的改进算法。首先对形式背景的属性集进行等价类划分,以减少参与计算的属性个数,并消除了在产生子... 详细信息

作为一种重要的概念格构造算法,Bordat算法简洁、直观且易于并行化,但该算法本身的效率并不高。在深入研究格结构特性的基础上,给出了它的改进算法。首先对形式背景的属性集进行等价类划分,以减少参与计算的属性个数,并消除了在产生子节点集的过程中,对属性之间的多余比较,从而大大提高算法的效率,并通过实例和实验说明该算法的正确性和有效性。

关键词：概念格形式背景 Bordat算法等价类划分

基于混合粒子群的IMX系统组合测试用例集生成

在线全文

学校读者我要写书评

暂无评论

现代电子技术 2019年第8期42卷 46-50,54页

作者：徐涛张亭亭左海超中国民航大学中国民航信息技术科研基地天津300300 中国民航大学计算机科学与技术学院天津300300

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a... 详细信息

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a-time为扩展策略的混合粒子群组合测试用例集生成算法。以全球航空公司综合管理系统中的参数为实验数据,实验表明,该方法在生成尽可能少的组合测试用例集上是有效的,且可以减小该系统组合测试用例集规模,提高待测软件系统的测试效率。

关键词：组合测试 one-test-at-a-time策略粒子群算法测试用例 IMX系统等价类划分

基于预测度量值的IPTV用户行为规则预测算法

在线全文

学校读者我要写书评

暂无评论

电信科学 2016年第5期32卷 160-165页

作者：汪敏娟嵇正鹏吕超江苏省公用信息有限公司江苏南京210006 中国电信股份有限公司智慧家庭运营中心江苏南京210006 中国电信股份有限公司江苏分公司江苏南京210003

提出了一种符合用户行为的,基于海量IPTV用户特征数据,对IPTV用户进行分群和规则提取的算法模型。首先提出了符合用户点播使用行为的IPTV用户分群的描述维度,即通过基础属性描述用户分群、通过点播行为描述用户分群变化趋势。然后提出... 详细信息

提出了一种符合用户行为的,基于海量IPTV用户特征数据,对IPTV用户进行分群和规则提取的算法模型。首先提出了符合用户点播使用行为的IPTV用户分群的描述维度,即通过基础属性描述用户分群、通过点播行为描述用户分群变化趋势。然后提出了预测度量值的概念,对用户分群的稳定性进行描述,并提出了对稳定的用户分群提取点播行为概率的算法。最后通过大量的IPTV运营数据对算法模型进行了验证分析。

关键词： IPTV 点播行为等价类划分信息熵预测度量值规则提取