期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于统计占优分析的变异测试 被引量:7
1
作者 张功杰 巩敦卫 姚香娟 《软件学报》 EI CSCD 北大核心 2015年第10期2504-2520,共17页
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原... 为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率. 展开更多
关键词 软件测试 变异测试 变异体约简 占优关系 统计占优分析
在线阅读 下载PDF
测试含有标志变量程序的占优语句(集)选择 被引量:1
2
作者 巩敦卫 钟超群 姚香娟 《软件学报》 EI CSCD 北大核心 2015年第8期1925-1936,共12页
基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没... 基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用Topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率. 展开更多
关键词 软件测试语句覆盖 标志变量 测试性转化 占优语句
在线阅读 下载PDF
基于E占优NSGA-2的测试优化选择方法 被引量:4
3
作者 韩露 史贤俊 +1 位作者 秦玉峰 林云 《兵工自动化》 2021年第9期22-26,53,共6页
为解决测试不可靠条件下的测试选择问题,对测试不可靠条件下的测试优化选择问题进行研究。将该问题还原为多目标问题来分析,以虚警率、测试数量、测试成本为目标,以故障检测率、隔离率为约束条件建立了问题的数学模型。以贝叶斯网络测... 为解决测试不可靠条件下的测试选择问题,对测试不可靠条件下的测试优化选择问题进行研究。将该问题还原为多目标问题来分析,以虚警率、测试数量、测试成本为目标,以故障检测率、隔离率为约束条件建立了问题的数学模型。以贝叶斯网络测试性模型为基础,利用提出的E占优NSGA-2算法求解该问题。利用该方法对某装备开展测试优化选择设计,并与NSGA-2算法、HBPSOGA算法进行对比,验证了该方法的有效性与实用性。 展开更多
关键词 测试优化选择 测试性设计 多目标 不可靠测试 E占优 NSGA-2
在线阅读 下载PDF
基于WPSO-PO的冲击波测试适配器参数优化研究 被引量:11
4
作者 尤文斌 丁永红 《仪器仪表学报》 EI CAS CSCD 北大核心 2020年第10期221-228,共8页
压电传感器适配电路的频率特性是准确测量爆炸场冲击波参数的关键。分析了压电适配器高低通截止频率和品质因数对超压峰值、正压持续时间、比冲量的影响,提出了一种加权Pareto占优排序的多目标粒子群优化(WPSO-PO)算法,该方法减少了最... 压电传感器适配电路的频率特性是准确测量爆炸场冲击波参数的关键。分析了压电适配器高低通截止频率和品质因数对超压峰值、正压持续时间、比冲量的影响,提出了一种加权Pareto占优排序的多目标粒子群优化(WPSO-PO)算法,该方法减少了最优解计算量,解决了区间上下限量值差异巨大的问题。在保证峰值、正压持续时间及比冲量误差均在2%以内的情况下,找到了适配器最优参数值。根据最优解仿真了适配器参数对特征误差的影响,得到了变化规律。按该参数设计的电路经模拟冲击波信号测试验证了分析的正确性。所提研究为测试冲击波的适配电路设计提供了理论依据。 展开更多
关键词 仪器仪表 冲击波测试 压电适配器 多目标粒子群优化算法 加权Pareto占优排序
在线阅读 下载PDF
基于占优关系的并行程序通信覆盖约减方法
5
作者 张辰 田甜 +1 位作者 杨秀婷 巩敦卫 《计算机应用》 CSCD 北大核心 2021年第6期1741-1747,共7页
针对通信规模的增大及不确定通信使得消息传递接口(MPI)并行程序通信测试难度增大的问题,提出了基于占优关系的通信覆盖约减方法。首先,基于通信与通信语句间的对应关系,将通信约减问题转换为通信语句的约减问题;然后,利用语句占优关系... 针对通信规模的增大及不确定通信使得消息传递接口(MPI)并行程序通信测试难度增大的问题,提出了基于占优关系的通信覆盖约减方法。首先,基于通信与通信语句间的对应关系,将通信约减问题转换为通信语句的约减问题;然后,利用语句占优关系求解通信语句集的约减集;最后,选择与约减集相关的通信作为覆盖目标,使得覆盖这些目标的测试数据能够覆盖全部通信。将所提方法应用到7个典型被测程序中。实验结果表明,在不降低通信覆盖率的前提下,相较于以全部通信作为覆盖目标的测试数据生成方法,所提方法减少的测试数据的生成时间最高达95%,提高了通信覆盖测试数据生成的效率。 展开更多
关键词 并行程序 通信覆盖 通信约减 占优关系 测试数据
在线阅读 下载PDF
不可靠测试条件下基于多目标粒子群的测试优化选择方法 被引量:1
6
作者 林云 韩露 《兵工自动化》 2021年第5期68-72,共5页
针对测试条件下多目标优化的问题,提出一种在不可靠测试条件下的测试优化选择方法。通过对测试优化选择过程进行分析,建立多目标优化的数学模型,利用最大似然估计法得到故障测试样本参数信息,采用E占优多目标粒子群算法选取最优解,并通... 针对测试条件下多目标优化的问题,提出一种在不可靠测试条件下的测试优化选择方法。通过对测试优化选择过程进行分析,建立多目标优化的数学模型,利用最大似然估计法得到故障测试样本参数信息,采用E占优多目标粒子群算法选取最优解,并通过某导弹雷达组件实例验证了算法的有效性与可用性。结果表明:该方案可在兼顾所有因素的同时,着重关注漏检率因素。 展开更多
关键词 测试优化选择 多目标 不可靠测试 E占优 粒子群算法
在线阅读 下载PDF
一种基于CP-nets的医疗资源配置方法
7
作者 鞠永和 陈波 +2 位作者 朱俊武 王静成 陶立坚 《南京理工大学学报》 EI CAS CSCD 北大核心 2015年第4期426-434,共9页
为了合理地配置医疗资源并保证医疗的公平,该文从医疗资源合理化配置角度,提出了一种基于条件偏好网(Conditional preference networks,CP-nets)模型的医疗资源需求表示方式。考虑到医疗机构整体效益最高及其内部对资源的竞争因素,该文... 为了合理地配置医疗资源并保证医疗的公平,该文从医疗资源合理化配置角度,提出了一种基于条件偏好网(Conditional preference networks,CP-nets)模型的医疗资源需求表示方式。考虑到医疗机构整体效益最高及其内部对资源的竞争因素,该文采用CP-nets的强占优测试以及改进的占优测试对需求信息进行预处理,得到能够作为资源分配依据的数据。在此基础上,提出了CP-nets模型下的医疗资源分配算法,采用了波达计数法和带权集合覆盖思想,拓展了CP-nets的应用范围。实验表明:当以社会总效益为目标时,该文中采用的带有占优策略的带权集合覆盖算法不仅具有最优的性能,而且能适应更大规模的数据。 展开更多
关键词 医疗资源配置 CP-nets$占优测试 偏好 依赖关系 波达计数法
在线阅读 下载PDF
CP-nets的可满足性序列求解算法研究 被引量:2
8
作者 孙雪姣 刘惊雷 《计算机科学》 CSCD 北大核心 2015年第5期270-273,285,共5页
CP-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点。然而对于CP-nets的基础性质——可满足性序列的研究却较少。通过构造CP-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优... CP-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点。然而对于CP-nets的基础性质——可满足性序列的研究却较少。通过构造CP-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优测试得到的可达矩阵进行分析,得出任意结构CP-nets的可满足性序列个数关系;给出了生成全部可满足性序列的算法;强化和扩充了CP-nets的基本概念,深化了CP-nets的基础理论研究。 展开更多
关键词 条件偏好网(CP-nets) 条件偏好表(CPT) CP-nets导出图 占优测试 偏好的可满足性 可满足性序列
在线阅读 下载PDF
CP-nets及其表达能力研究 被引量:17
9
作者 刘惊雷 《自动化学报》 EI CSCD 北大核心 2011年第3期290-302,共13页
偏好处理是人工智能中的一个重要研究内容,它的4个研究热点是偏好的表示、提取、聚合和推理.条件偏好网(Conditional preference networks,CP-nets)是一种简单直观的偏好表示的图形工具,但很少有工作研究CP-nets的表达能力.本文研究CP-n... 偏好处理是人工智能中的一个重要研究内容,它的4个研究热点是偏好的表示、提取、聚合和推理.条件偏好网(Conditional preference networks,CP-nets)是一种简单直观的偏好表示的图形工具,但很少有工作研究CP-nets的表达能力.本文研究CP-nets的表达能力,详细研究了CP-nets表达偏好的完备性,其上构造的运算复杂度以及适用的场合.首先给出了CP-nets模型上的几个运算,利用改进的Warshall算法求出了二值网的强占优测试在最坏情况下的复杂度为O(4n).其次通过构造CP-nets导出图及其性质的研究,得出CP-nets特别适合不完全信息下的多属性定性偏好决策.当需要处理更完全信息时,可借助于与Agent的交互来完成.虽然我们给出了CP-nets的强占优测试的理论解,但其理论上可解,实际上不可解.为了解决强占优测试的指数级复杂度问题,本文最后给出了一种带有软约束的满足问题(Soft constraint satisfactionproblem,SCSP)的求解方法.它把CP-nets中的定性运算转为约束半环中的定量运算,从而将指数级的复杂度转化为多项式的复杂度,间接提高了部分CP-nets的表达能力.本文所做的工作是对Boutilier和Bistarelli工作的改进和提高. 展开更多
关键词 条件偏好网 表达能力 占优测试 偏好的完备性 改进的Warshall算法 不完全信息下的多属性定性偏好决策 带有软约束的满足问题
在线阅读 下载PDF
CP-nets的定性偏好决策及一致性推理 被引量:1
10
作者 孙雪姣 刘惊雷 《计算机科学》 CSCD 北大核心 2013年第2期274-278,共5页
CP-nets是一种简单而又直观的图形化偏好表示工具,特别适合描述不完全信息下的具有依赖关系的多属性定性偏好决策。首先通过构造CP-nets导出图及对其性质的研究,得出强占优测试本质上是导出图上顶点之间的可达性问题,从而利用图的深度... CP-nets是一种简单而又直观的图形化偏好表示工具,特别适合描述不完全信息下的具有依赖关系的多属性定性偏好决策。首先通过构造CP-nets导出图及对其性质的研究,得出强占优测试本质上是导出图上顶点之间的可达性问题,从而利用图的深度优先遍历算法实现了二值网的强占优测试;然后分别从无环图、有环图的角度给出CP-nets一致性的相关定理和性质,提出了判断一致性的3种方法,使得CP-nets的一致性问题得到解决;强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究。 展开更多
关键词 条件偏好网(CP-nets) 条件偏好表(CPT) 定性偏好决策 占优测试 偏好的一致性
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部