检索结果-维普期刊中文期刊服务平台

用智能规划解空间树法生成测试数据被引量：1: 1; 作者李杨宋克非《光学精密工程》 EI CAS CSCD 北大核心 2011年第7期1695-1700,共6页; 讨论了软件测试中常用的两因素组合覆盖测试方法。针对该方法求解困难,并考虑系统中各种因素以及因素间的制约关系对解空间树法生成测试数据产生的影响,提出了采用基于智能规划的解空间树法来生成测试数据。该方法将所有的可用测试数据... 展开更多; 关键词空间相机软件测试智能规划两因素组合覆盖解空间树待测软件系统(SUT); 在线阅读下载PDF 职称材料

多重复句关系标记搭配的求解模型研究被引量：4: 2; 作者胡金柱雷利利 +2 位作者杨进才舒江波陈江曼《计算机工程与科学》 CSCD 北大核心 2011年第11期177-182,共6页; 关系词是多重复句的连接成分,其功能是关联分句且标志分句间的语义关系,它对多重复句的研究具有重要意义。但是,在研究基于规则的现代汉语复句关系词的自动标识过程中,发现多重复句内初次识别出的关系标记,较多是伪关系词。这就需要判... 展开更多; 关键词多重复句关系词搭配解空间树; 在线阅读下载PDF 职称材料

基于树模型和输入参数关系的组合测试集精简方法被引量：3: 3; 作者王立新杨峻 +1 位作者万仁霞王铭军《计算机应用研究》 CSCD 北大核心 2010年第3期928-932,937,共6页; 提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法... 展开更多; 关键词组合测试解空间树依赖关系; 在线阅读下载PDF 职称材料

分支限界法求解实际TSP问题被引量：5: 4; 作者陈涛张思发《计算机工程与设计》 CSCD 北大核心 2009年第10期2431-2434,共4页; 提出一种基于分支限界思想来求解实际TSP问题的算法,并着重介绍上下界的计算。下界值是根据当前路径来计算的,简单易行且占用空间少。上界只计算一个全局的上界值,计算过程中用到实际TSP问题的一个特点——三角不等式性质,求得的值不超... 展开更多; 关键词旅行商问题三角不等式上界下界解空间树; 在线阅读下载PDF 职称材料

带参数约束的两两组合测试用例集生成方法被引量：1: 5; 作者李龙澍张薇《计算机工程》 CAS CSCD 2012年第11期53-55,共3页; 大多数待测软件系统的参数间存在约束关系,如果不考虑这些约束,会使测试用例集中的某些组合无效。为此,提出一种带参数约束的两两组合测试用例集生成方法。在采用回溯算法对解空间树进行遍历的同时,利用参数间的约束关系对树的枝叶进行... 展开更多; 关键词组合测试解空间树参数约束测试集测试用例; 在线阅读下载PDF 职称材料

分支限界算法的研究与实现被引量：3: 6; 作者王春梅《现代电子技术》 2011年第9期121-123,共3页; 分支限界算法是一种在问题的解空间树上搜索问题的解的方法,主要采用广度优先或最小耗费优先的方法搜索解空间树,其核心思想就是"剪枝"。首先提出了分支限界算法的一般策略与实施步骤,然后以电路板布线问题为实例,设计并实现... 展开更多; 关键词分支限界解空间树活结点扩展结点; 在线阅读下载PDF 职称材料

题名用智能规划解空间树法生成测试数据被引量：1: 1; 作者李杨宋克非; 机构中国科学院长春光学精密机械与物理研究所; 出处《光学精密工程》 EI CAS CSCD 北大核心 2011年第7期1695-1700,共6页; 基金国家自然科学基金资助项目(No.61077016); 文摘讨论了软件测试中常用的两因素组合覆盖测试方法。针对该方法求解困难,并考虑系统中各种因素以及因素间的制约关系对解空间树法生成测试数据产生的影响,提出了采用基于智能规划的解空间树法来生成测试数据。该方法将所有的可用测试数据生成为一棵解空间树,通过搜索找到一条从根节点到叶节点的路径即一条测试数据。实验结果表明,该方法可以更好地生成覆盖面大且规模较小的测试用例集,实现对测试参数的两因素组合覆盖,从而解决了传统解空间树法由于不考虑参数间的制约关系而无法求得最简测试数据集或得到的数据集不完全的问题。将该数据生成方法应用于空间相机软件测试中提高了生成有效测试用例的效率和准确度,对测试起到了很好的指导作用。; 关键词空间相机软件测试智能规划两因素组合覆盖解空间树待测软件系统(SUT); Keywords space camera software testing intelligent planning pairwise combinatorial coverage solution space tree Software under Testing（SUT）; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多重复句关系标记搭配的求解模型研究被引量：4: 2; 作者胡金柱雷利利杨进才舒江波陈江曼; 机构华中师范大学计算机科学系华中师范大学语言与语言教育研究中心华中师范大学国家数字化学习工程技术研究中心; 出处《计算机工程与科学》 CSCD 北大核心 2011年第11期177-182,共6页; 基金国家教育部人文社科重点研究基地重点项目(10JJD740012) 2011年国家社科基金资助项目(11BYY052); 文摘关系词是多重复句的连接成分,其功能是关联分句且标志分句间的语义关系,它对多重复句的研究具有重要意义。但是,在研究基于规则的现代汉语复句关系词的自动标识过程中,发现多重复句内初次识别出的关系标记,较多是伪关系词。这就需要判定其是否是真正的关系词,而判定的基础是确定关系标记之间的搭配关系,这是一个难点。为解决该问题,本文提出了两个算法:(1)利用解空间树得到关系标记所有的搭配集合;(2)对解空间树进行剪枝,去掉无用搭配集。实验测试可知:这两个算法不仅通用性强,而且判定正确率达到98.9%,剩下的1.1%还可以得到近似解,这表明本文提出的算法在处理多重复句问题上具有较好的可行性。; 关键词多重复句关系词搭配解空间树; Keywords multiple compound sentences the collocations between relation words the resolution space tree; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于树模型和输入参数关系的组合测试集精简方法被引量：3: 3; 作者王立新杨峻万仁霞王铭军; 机构东华大学信息科学与技术学院安徽建筑工业学院电子与信息工程学院安阳师范学院数学系; 出处《计算机应用研究》 CSCD 北大核心 2010年第3期928-932,937,共6页; 基金东华大学博士创新基金资助项目(BC200817); 文摘提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法的实现过程中,采用了一些策略以便提高算法的效率并节省空间。实验结果证明该方法是可行和有效的,对于一些输入参数依赖关系明确的被测系统,该方法能够较大幅度地精简全组合测试用例集。; 关键词组合测试解空间树依赖关系; Keywords combinatorial test solution space tree dependent relationships; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名分支限界法求解实际TSP问题被引量：5: 4; 作者陈涛张思发; 机构中国地质大学计算机学院; 出处《计算机工程与设计》 CSCD 北大核心 2009年第10期2431-2434,共4页; 文摘提出一种基于分支限界思想来求解实际TSP问题的算法,并着重介绍上下界的计算。下界值是根据当前路径来计算的,简单易行且占用空间少。上界只计算一个全局的上界值,计算过程中用到实际TSP问题的一个特点——三角不等式性质,求得的值不超过最优值的1.5倍。实际TSP问题另一个特点是对称性,对称性可使解空间树缩小一半,进一步加速搜索过程。提出的求上界和求下界的算法是独立,完全可以分割开来,但是通过例子可以看出将这两种方法用分支限界的思想结合起来是行之有效的,可大大加速解空间树的搜索。; 关键词旅行商问题三角不等式上界下界解空间树; Keywords TSP triangle inequality upper bound lower bound tree of solution space; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名带参数约束的两两组合测试用例集生成方法被引量：1: 5; 作者李龙澍张薇; 机构安徽大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 2012年第11期53-55,共3页; 基金安徽省自然科学基金资助项目(090412054) 安徽省重大科技专项基金资助项目(08010201002); 文摘大多数待测软件系统的参数间存在约束关系,如果不考虑这些约束,会使测试用例集中的某些组合无效。为此,提出一种带参数约束的两两组合测试用例集生成方法。在采用回溯算法对解空间树进行遍历的同时,利用参数间的约束关系对树的枝叶进行裁剪,避免产生无效的测试用例。使用贪心算法补充生成测试用例,以满足两两组合覆盖标准。实验结果表明,该方法能减少测试用例生成数量,提高测试效率。; 关键词组合测试解空间树参数约束测试集测试用例; Keywords combinatorial test Solution Space Tree（SST） parameter constraint test set test case; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名分支限界算法的研究与实现被引量：3: 6; 作者王春梅; 机构西安邮电学院计算机学院; 出处《现代电子技术》 2011年第9期121-123,共3页; 文摘分支限界算法是一种在问题的解空间树上搜索问题的解的方法,主要采用广度优先或最小耗费优先的方法搜索解空间树,其核心思想就是"剪枝"。首先提出了分支限界算法的一般策略与实施步骤,然后以电路板布线问题为实例,设计并实现该问题的算法,经过实验数据验证了其性能,进而反映了分支限界算法的高效性。; 关键词分支限界解空间树活结点扩展结点; Keywords branch and bound tree of solution space live node extension node; 分类号 TN911-34 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	用智能规划解空间树法生成测试数据	李杨宋克非	《光学精密工程》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
2	多重复句关系标记搭配的求解模型研究	胡金柱雷利利杨进才舒江波陈江曼	《计算机工程与科学》 CSCD 北大核心	2011	4	在线阅读下载PDF 职称材料
3	基于树模型和输入参数关系的组合测试集精简方法	王立新杨峻万仁霞王铭军	《计算机应用研究》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
4	分支限界法求解实际TSP问题	陈涛张思发	《计算机工程与设计》 CSCD 北大核心	2009	5	在线阅读下载PDF 职称材料
5	带参数约束的两两组合测试用例集生成方法	李龙澍张薇	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
6	分支限界算法的研究与实现	王春梅	《现代电子技术》	2011	3	在线阅读下载PDF 职称材料