期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于全同步对覆盖的线程调度序列生成方法
1
作者 石存沣 李征 +1 位作者 郭俊霞 赵瑞莲 《计算机应用》 CSCD 北大核心 2015年第7期2004-2008,2014,共6页
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;... 针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19 889和44 352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。 展开更多
关键词 多线程并发程序 同步对 全同步对覆盖准则 线程调度序列 测试生成效率
下载PDF
基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析
2
作者 江良 赵瑞莲 李征 《计算机应用》 CSCD 北大核心 2013年第A02期229-234,共6页
对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影响可能是线性或非线性的,因此建立多元线性回归预测模型和BP神经网络非线性预测模型,对EFSM路径测试数据... 对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影响可能是线性或非线性的,因此建立多元线性回归预测模型和BP神经网络非线性预测模型,对EFSM路径测试数据生成进行效率—因素分析。具体而言,将路径长度、路径上变量数等因素作为自变量,测试生成成本看作因变量,建立多元线性回归模型。对于BP神经网络模型,考虑到因素间可能存在关联,首先采用主成分分析(PCA)确定影响测试生成成本的主要因素,然后应用BP神经网络建立测试生成效率主要因素分析模型,对EFSM测试生成成本进行预测。实验结果表明:BP神经网络比多元线性回归更适合作为EFSM路径测试生成效率因素分析模型,对EFSM路径测试生成成本进行非线性预测。 展开更多
关键词 BP神经网络 多元线性回归 主成分分析 可扩展有限状态机 测试生成效率
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部