计算机学报杂志

基于风险分析的回归测试用例优先级排序

关键词: 回归测试  测试用例优先级  复杂网络  风险分析  信息流  软件测试  软件工程  

该文利用软件组件间信息流的传递过程,提出了基于风险分析的回归测试用例优先级排序算法(Risk Analysis-based Test Case Prioritization,RA-TCP).该算法针对现有的优先级排序技术未能有效利用测试用例所覆盖信息的问题,在类粒度下将软件抽象为基于信息流的类级有向网络模型,然后将每个测试用例所覆盖的类间信息传递关系用一组杠铃模型表示,结合...

嵌入偏序约简的状态事件线性时序逻辑验证

关键词: 偏序约简  状态事件线性时序逻辑  模型检验  同步乘  标签kripke结构  

模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型检验在验证使用事件进行交互的组件系统中面临新的困难,因此需要新的规约技术对状态事件系统进行规约.状态事件线性时序逻辑(State/Event Linear Temporal Logic,SE-LTL)给出了一种简洁和直接的方式表达包含状态和事...

一种融合语义资源的生物医学查询理解方法

关键词: 生物医学文献检索  医学主题词表  词共现模型  查询扩展  组排序  

近年来,随着生物医学相关研究的快速发展,生物医学文献的数量与日俱增,相关人员从海量文献中获取所需信息变得越来越困难,信息检索技术能够为用户提供所需信息,但由于领域专业度高,术语庞杂,传统通用领域的检索技术往往很难胜任这项任务,而生物医学领域存在丰富的语义资源,这些资源涵盖该领域专业术语,可以对文献检索起到辅助和提升作用.因此,为...

基于多目标优化算法NSGA-Ⅱ推荐相似缺陷报告

关键词: 相似缺陷报告推荐  多目标优化  空间向量模型  词嵌入模型  软件工程  

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基于多目标优化算法NSGA-Ⅱ推荐相似缺陷报告的方法,即在推荐尽可能少的相似缺陷报告情况下,使得缺陷报告间的相似...

基于通用串预测算法的AVS2屏幕混合内容帧间编码优化

关键词: 高效视频编码  音视频编解码技术标准  屏幕混合内容编码  帧间编码  快速算法  

我国第二代数字音视频编解码技术标准的屏幕与混合内容扩展版(AVS2-SMCC)中,对于全色度屏幕混合内容的编解码其采用融合4∶4∶4格式的通用串预测编码算法和传统4∶2∶0格式的块预测、变换编码算法的编解码框架.在此框架中,根据屏幕混合内容的内在帧间特性和不同帧间子模式的特点,该框架对帧间编码算法进行了优化:首先提出了支持4∶4∶4格式的帧...

一种带自适应学习率的综合随机梯度下降Q-学习方法

关键词: 强化学习  综合随机梯度下降  自适应学习率  参数预测  

在线强化学习中,值函数的逼近通常采用随机梯度下降(Stochastic Gradient Descent,SGD)方法.在每个时间步,SGD方法使用强化学习算法获取随机样本,计算损失函数的局部梯度,单次模型参数更新的计算量小,适合在线学习.但是,由于目标函数不同维度存在梯度差异,SGD方法会产生优化震荡,导致迭代次数增多,收敛速度变慢甚至不能收敛.本文提出一种带自适...

基于假位置和Stackelberg博弈的位置匿名算法

关键词: 基于位置的服务  位置隐私  k匿名  假位置  stackelberg博弈  

移动互联网技术的快速发展、无线定位技术的进步和移动智能设备的普及使得移动用户可以通过移动智能设备获得各种基于位置的服务,这极大地方便了人们的生活.但是,随着移动用户对位置服务的依赖,位置隐私问题日益严重,用户随时面临着信息泄露的危险,严重时可能会危害到用户的人身及财产安全.本文分析了已有位置隐私保护系统结构和算法的优缺点,提...

概念的渐进式认知理论与方法

关键词: 粒计算  概念认知  形式概念分析  概念格  认知算子  

概念是知识表示的基本认知单元,它由外延和内涵两部分构成.由于概念的外延与内涵可以相互诱导,所以概念的外延和内涵中一旦有一个被确定下来,那么这个概念也就随之确定.概念认知是将属于这一概念的特征属性筛选出来,同时把不属于这一概念的特征属性排除,即通过确定内涵的方式获得概念,它采用特定的认知方法来完成概念的识别.当前,概念认知正逐渐...

基于抽象解释的嵌入式软件模块化Cache行为分析框架

关键词: 嵌入式软件  cache行为分析  静态代码分析  模块化分析  抽象解释  

程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行...

基于离散差分演化的KPC问题降维建模与求解

关键词: 具有单连续变量背包问题  离散差分演化  遗传算法  粒子群优化  降维法  修复与优化法  

具有单连续变量的背包问题(Knapsack Problem with a single Continuous variable,KPC)是标准0-1背包问题的一个新颖扩展形式,它既是一个NP完全问题,又是一个带有连续变量S的新颖组合优化问题,求解难度非常大.为了快速高效地求解KPC问题,该文提出了利用演化算法求解KPC的新思路,并给出了基于离散差分演化算法求解KPC的两个有效方法.首先,介绍了...

基于历史的云平台故障注入测试

关键词: 云平台  故障模式  历史故障  故障注入  

云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为了提高云平台的可靠性,开发人员在设计云平台时加入了容错机制,目的是在发生故障的情况下也能保证云平台的正常...

基于等同关系模型的演化算法期望首达时间对比分析

关键词: 演化算法  等同关系  首达时间  性能对比不等式  markov链  

演化算法的首达时间分析是演化计算领域理论基础研究的难点和热点问题.本文研究建立了演化算法期望首达时间的随机过程模型,以该模型为基础,结合等价关系的性质,提出了等同关系模型作为判定演化算法在期望首达时间上是否等价的评判标准,实现了不同演化算法在期望首达时间上的等价类划分.在等同关系模型的基础上,论文提出了一种便于演化算法对比...

一种基于识别重复路径的动态决策策略

关键词: 可满足问题  冲突驱动学习子句  重启  分支决策策略  重复赋值序列  

在现有基于冲突学习子句的求解器中,重启和变量相位存储技术的频繁应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变量重复赋值会浪费求解资源.本文提出一种基于识别重复路径的动态决策策略.首先,检测搜索过程中产生的重复赋值变量序列,算法中参数依据子句数与变元数的比率而动态变化;其次,更新参与冲突次数最多的变量的活跃值,选择...

敏捷开发环境中的回归测试优化技术

关键词: 回归测试  测试用例优先排序  回归测试选择  敏捷开发  软件测试  软件工程  

版本频繁交付、功能不断新增或修改、测试用例不断增多是敏捷开发环境的特点.回归测试是软件测试的一个重要组成部分,它在敏捷开发环境中更应基于环境特点进行设计.但是,传统的回归测试优化技术(测试用例优先排序或回归测试选择等)各有其优缺点,且没有考虑敏捷开发环境对测试效率的影响.测试用例优先排序技术利用设计规则对所有测试用例进行排序...

基于动态采样和迁移学习的疾病预测模型

关键词: 疾病预测  迁移学习  动态采样  卷积神经网络  

基于门诊病历临床表现的疾病预测模型是临床决策支持系统(Clinical Decision Support System,CDSS)的一个重要研究内容.主流疾病预测模型将门诊病历转化为医学特征集合,将诊断结果作为输出标签,在此基础上利用机器学习算法训练疾病预测模型.不同疾病发病率的差异性导致医学样本具有不均衡、小样本特点,难以训练高效、准确的疾病预测模型.采样技...

《计算机学报》编辑委员会