题名 可配置网络式软件系统的可用性预计研究
被引量：1
1
作者
杨格兰 孟令中
机构
湖南城市学院 信息科学 与工程学院 中国科学院软件研究所基础软件测评实验室
出处
《计算机科学》
CSCD
北大核心
2012年第12期102-106,共5页
基金
国家科技支撑计划课题(2012BAD35B07) 湖南省教育厅优秀青年项目(12B023) 湖南省科技计划课题(2011FJ3022)资助
文摘
在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多A-gent的网络式软件系统建模与仿真的基础上,研究可配置的行为模型,并建立了基于多Agent的可配置网络式软件系统可用性仿真方法;最后利用Netlogo仿真平台,结合实例对可配置的作用进行了可用性预计,并验证了本方法的有效性。
关键词
多AGENT 可配置 网络式软件系统 可用性预计
Keywords
Multi-agent Reconfiguration Networked software system Availability prediction
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于谓词执行信息分析的自适应缺陷定位算法
被引量：7
2
作者
郝鹏 郑征 张震宇 高乙超 宫成 薛云志
机构
北京航空航天大学自动化科学 与电气工程学院 中国科学院软件研究所 中国科学院软件研究所基础软件测评实验室
出处
《计算机学报》
EI
CSCD
北大核心
2014年第3期500-511,共12页
基金
国家自然科学基金(60904066 61003027) 国家科技重大专项经费(2012ZX01039-004)资助~~
文摘
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
关键词
统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法
Keywords
statistical fault localization predicate execution information self-adaptive software testing program analysis
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种基于事件处理函数的GUI测试方法
被引量：8
3
作者
陈军成 薛云志 赵琛
机构
中国科学院软件研究所基础软件测评实验室 中国科学院软件研究所 基础 软件 国家工程研究 中心中国科学院 大学
出处
《软件学报》
EI
CSCD
北大核心
2013年第12期2830-2842,共13页
基金
国家自然科学基金(61100070) "核高基"重大专项(2009ZX01039-002-001) 中国科学院战略性科技先导专项(XDA06010600)
文摘
事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点.针对现有的基于模型GUI测试用例自动生成过程中面临的测试用例规模庞大以及生成的测试用例无效问题,从分析事件处理函数的角度出发,提出了一种GUI测试模型EHG.针对此模型,结合事件处理函数及其代码结构,提出了两个测试覆盖准则:完整最短路径覆盖准则和完整最短路径定义-引用对覆盖准则;利用基于反馈的测试用例生成技术生成测试用例.实验结果表明,针对较为复杂的应用,该方法不仅能够有效控制测试用例规模,消除无效测试用例,而且生成的测试用例能有效提高事件处理函数的代码结构覆盖率.
关键词
GUI测试 事件处理函数 测试覆盖准则 测试用例生成
Keywords
GUI testing event-handler function test coverage criteria test case generation
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于事件处理函数的GUI测试用例集约简技术
被引量：4
4
作者
陈军成 薛云志 陶秋铭 赵琛
机构
中国科学院软件研究所基础软件测评实验室 基础 软件 国家工程研究 中心(中国科学院软件研究所 )中国科学院 大学
出处
《软件学报》
EI
CSCD
北大核心
2015年第8期1871-1885,共15页
基金
国家自然科学基金(61100067 61100070) 国家重大科技专项(2012ZX01039-004)
文摘
GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.
关键词
GUI测试用例 测试用例集约简 事件处理函数 定义-引用 冗余测试用例
Keywords
GUI test case test suite reduction event handler function def-use redundant test case
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于图的半监督降维算法
被引量：2
5
作者
杨格兰 金辉霞 孟令中 朱幸辉
机构
湖南城市学院 信息科学 与工程学院 湖南城市学院 通信与电子工程学院 中国科学院软件研究所基础软件测评实验室 湖南农业大学信息科学 工程学院
出处
《计算机科学》
CSCD
北大核心
2014年第4期280-282,296,共4页
基金
国家科技支撑计划课题(2012BAD35B07) 湖南省教育厅优秀青年项目(12B023)资助
文摘
非线性降维和半监督学习都是近年来机器学习的热点。将半监督的方法运用到非线性降维中,提出了基于图的半监督降维的算法。该算法用等式融合的方法推出了标记传播算法的另一种表达形式,用标记传播的结果作为初始的数据映射,然后在图谱张成的线性空间中寻找最逼近初始映射的数据作为最后的半监督降维的结果。实验表明,所提算法可以获得平滑的数据映射,更接近于理想的降维效果。与标记传播算法、图谱逼近算法、无监督的降维算法的比较也体现出本算法的优越性。
关键词
半监督学习 流形学习 标记传播 图谱理论
Keywords
Semi-supervised learning Manifold learning Label propagation Spectral graph theory
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 一种Android平台混合应用运行环境
被引量：1
6
作者
宋小远 薛云志
机构
中国科学院软件研究所 基础 软件 国家工程研究 中心中国科学院 大学中国科学院软件研究所基础软件测评实验室
出处
《计算机系统应用》
2016年第9期98-103,共6页
基金
中国科学院先导专项(XDA06010600) 国家自然科学基金青年基金(61402454)
文摘
随着智能终端设备以及移动互联网的发展,智能手机等设备越来越普遍,其上的应用也越来越丰富.如何能够更快、更高效的开发智能终端上的应用成为开发者面临的巨大问题之一.在分析了当前存在的跨平台混合应用开发的基础上,设计并实现了一种Android平台混合应用运行环境,利用该运行环境可以实现只用HTML、CSS和Java Script开发Android应用,为开发者带来极大的便利.同时该运行环境兼容桌面系统上的混合应用运行环境,利用该运行环境开发的应用经过不同屏幕适配同时可以运行在桌面系统上.
关键词
ANDROID平台 混合应用 运行环境 跨平台 WEB技术
Keywords
Android platform hybrid application runtime crosswalk platform web technology
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
TP393.09
[自动化与计算机技术—计算机应用技术]
