检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

循环嵌套结构的测试场景反蚁群自动生成方法

小型微型计算机系统 2012年第8期33卷 1752-1755页

作者：崔霞高建华上海师范大学天华学院计算机科学与工程系上海201815 上海师范大学计算机科学与工程系上海200234

人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌... 详细信息

人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌套结构的测试场景,设计系统循环体数据结构和循环嵌套结构的场景生成算法.该算法提高了解析活动图的能力,扩大了算法的适用范围.论文最后给出了上海轨道交通六号线的测试项目中的一个活动图实例,生成其XML文档,利用改进的反蚁群算法解析XML文档,生成该活动图的细-线程树,验证了该算法的有效性.

关键词： UML活动图循环嵌套测试场景细-线程

在线全文

学校读者我要写书评

暂无评论

基于用户会话的Web测试集约简

计算机工程 2011年第6期37卷 35-37,40页

作者：陈欣高建华上海师范大学计算机科学与工程系上海200234

采用概念分析法对基于用户会话的Web应用测试集进行约简提出一种K层节点测试约简技术,设计测试用例的增量更新算法。该算法通过比较新增节点与概念分析中原来存在节点的内涵元素,对原概念格图进行节点更新或补充。通过设计的小型Web注... 详细信息

采用概念分析法对基于用户会话的Web应用测试集进行约简提出一种K层节点测试约简技术,设计测试用例的增量更新算法。该算法通过比较新增节点与概念分析中原来存在节点的内涵元素,对原概念格图进行节点更新或补充。通过设计的小型Web注册系统,证明了该方法的有效性。

关键词：用户会话概念分析 Web应用测试集约简增量更新

在线全文

学校读者我要写书评

暂无评论

一种新的测试集简化的测试覆盖准则

计算机科学 2009年第1期36卷 244-246,272页

作者：崔霞高建华上海师范大学计算机科学与工程系上海200234

在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的... 详细信息

在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的测试覆盖准则,即二级变量串联覆盖准则和二级变量并联覆盖准则。这两种准则主要考虑了变量间的串、并联关系对程序的影响。用此准则与其它测试覆盖准则相组合,利用HGS测试集简化法对测试集进行选择,既简单高效又保证了最小化测试集的错误检测能力。针对文献[3]中的具体应用实例,验证了该测试覆盖准则的有效性。

关键词：测试覆盖准则测试集简化回归测试软件测试

Mod-dejavoo算法中有害边问题的研究

在线全文

学校读者我要写书评

暂无评论

计算机工程 2011年第10期37卷 38-40,43页

作者：黄龙高建华上海师范大学计算机科学与工程系上海200234

针对Mod-dejavoo算法中有害边的相关问题进行研究。通过比较程序变更前后的控制流图,分析Java语言的特点,指出有害边出现的位置和规律及其不唯一性。在原有Mod-dejavoo算法的基础上提出一种确定有害边位置和数量的方法,从而生成回归测... 详细信息

针对Mod-dejavoo算法中有害边的相关问题进行研究。通过比较程序变更前后的控制流图,分析Java语言的特点,指出有害边出现的位置和规律及其不唯一性。在原有Mod-dejavoo算法的基础上提出一种确定有害边位置和数量的方法,从而生成回归测试集。该研究能为测试集筛选提供一种新方法。

关键词：回归测试 Mod-dejavoo算法有害边筛选

在线全文

学校读者我要写书评

暂无评论

基于GMDH神经网络的组合预测模型

小型微型计算机系统 2016年第6期37卷 1164-1167页

作者：崔霞高建华华东师范大学软件学院上海200062 上海师范大学计算机科学与技术系上海200234

软件可靠性增长模型(SRGM)是软件可靠性工程中一项重要的研究内容.在可靠性增长模型应用的过程中,常常因为模型假设与实际软件开发和调试过程有差异,导致可靠性预测的准确性不高.至今尚没有一种能适应各种软件开发环境的SRGM.为此,某些... 详细信息

软件可靠性增长模型(SRGM)是软件可靠性工程中一项重要的研究内容.在可靠性增长模型应用的过程中,常常因为模型假设与实际软件开发和调试过程有差异,导致可靠性预测的准确性不高.至今尚没有一种能适应各种软件开发环境的SRGM.为此,某些国外文献采用遗传(GA)算法,提出了模型组合方法,以期提高SRGM的预测能力.本文采用GM DH神经网络,提出一种非线性的SRGM模型组合方法.通过对比基于GA算法的模型组合方法,实验结果表明,基于GMDH神经网络的组合方法能有效提高模型预测能力.

关键词： GMDH神经网络 NHPP类SRGM 软件可靠性预测能力

Bi_(9)P_(2)O_(18)Cl的相变及其可见光催化水产氢

在线全文

学校读者我要写书评

暂无评论

无机化学学报 2022年第5期38卷 969-976页

作者：操振宇吴耘高建华西北大学物理学院西安710069

采用高温熔盐法制备了Bi_(9)P_(2)O_(18)Cl单晶。单晶X射线衍射分析表明Bi_(9)P_(2)O_(18)Cl从室温到低温发生晶体到晶体的相变。室温下,该化合物(α相)属于单斜空间群P2_(1)/m(11),单胞参数:a=1.14910(7)nm,b=0.54064(4)nm,c=1.46369(9)nm,β=93.741(6)°,V=0.90738(10)nm^(3);而在100 K下,该化合物(β相)属于单斜空间群P2_(1)/n(14),单胞参数:a=1.79056(4)nm,b=0.538870(10)nm,c=1.91557(4)nm,β=103.693(2)°,V=1.79576(6)nm^(3)。另外,采用高温固相反应法,合成了高纯的Bi_(9)P_(2)O_(18)Cl粉末样品,该样品展示了较好的光催化产氢性能,产氢量可达33.69μmol·g^(-1)·h^(-1)。

关键词： Aurivillius 晶体结构相变光解水产氢

在线全文

学校读者我要写书评

暂无评论

配对组合测试中参数约束问题研究

计算机工程与科学 2011年第3期33卷 103-107页

作者：高建华刘慧上海师范大学计算机科学与工程系上海200234

给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限,并证明之。最后介绍了能够有效解... 详细信息

给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限,并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。

关键词：配对组合测试参数约束约束控制测试集

在线全文

学校读者我要写书评

暂无评论

覆盖矩阵在参数组合配对测试中的应用

计算机工程 2008年第21期34卷 51-53,70页

作者：张丹高建华上海师范大学计算机科学与技术系上海200234

在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试... 详细信息

在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。

关键词：测试案例集合覆盖矩阵参数配对组合

在线全文

学校读者我要写书评

暂无评论

分叉汇合对结构的测试场景自动生成方法

计算机工程 2011年第18期37卷 35-37页

作者：崔霞高建华上海师范大学天华学院计算机科学与工程系上海201815 上海师范大学计算机科学与工程系上海200234

基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上... 详细信息

基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上海轨道交通六号线测试项目中的具体实例,验证该方法的有效性。

关键词： UML活动图分叉汇合测试场景细-线程树