薛云志
- 作品数：102 被引量：94H指数：6
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术农业科学文化科学环境科学与工程更多>>
- 深度神经网络模型的质量测评方法、装置及设备
- 本公开涉及深度神经网络模型的质量测评方法、装置及设备，属于人工智能领域。所述方法包括：构建包括多个质量评估指标的测试方案，并基于深度神经网络模型的应用场景获取测试数据集；基于测试方案和测试数据集对深度神经网络模型进行测试...
- 孟令中杨光薛云志董乾王萌萌李志文王鹏淇师源
- 基于粒子群优化的测试数据生成及其实证分析被引量：19
- 2014年
- 运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过分析分支谓词的结构特征提出了一种新的适应函数构造形式.在此基础上,针对一些公开的程序集开展对比性实验分析,证实粒子群优化算法在平均覆盖率、全覆盖成功率、平均收敛代数和搜索时间4项指标上均要优于遗传算法和模拟退火算法.同时,编程实现了4种典型的PSO变体算法并进行测试数据生成效果的实证分析,结果表明:基本PSO是解决测试数据生成问题的首选算法,而综合学习式PSO算法的表现则相对较差.
- 毛澄映喻新欣薛云志
- 关键词：结构性测试测试数据生成搜索算法粒子群优化
- 基于事件处理函数的GUI测试用例集约简技术被引量：4
- 2015年
- GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.
- 陈军成薛云志陶秋铭赵琛
- 关键词：测试用例集约简
- 动态多无人系统的组合控制方法及仿真测试平台
- 本发明公开了一种动态多无人系统的组合控制方法及仿真测试平台，涉及仿真测试领域。所述方法包括：配置仿真节点的控制模式以及所述控制模式的优先级；构建所述仿真节点与被测对象和/或人工控制客户端之间的映射关系；在所述仿真节点运行...
- 董乾薛云志孟令中王鹏淇杨光陈贺武斌
- 文献传递
- 基于谓词执行信息分析的自适应缺陷定位算法被引量：7
- 2014年
- 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
- 郝鹏郑征张震宇高乙超宫成薛云志
- 关键词：自适应软件测试
- 基于C++映射的TTCN－3测试系统及测试方法
- 本发明提出了一种基于C++映射的TTCN－3测试系统及测试方法。该测试系统及其测试方法基于TTCN－3的C++映射标准，通过语言转换器将TTCN－3测试用例转换成语义相等的C++测试用例，并在TTCN－3运行环境进行编译...
- 赵琛潘远明陈伟薛云志杨宗奎孙丽霞
- 文献传递
- 一种基于Android平台GUI录制回放工具的设计与实现被引量：6
- 2012年
- 随着移动应用软件复杂性不断提高,高效的测试技术和工具逐渐成为高质量移动应用的必要保证。基于录制-回放技术提出一种Google Android平台上移动应用的自动化测试解决方案,并实现了一个黑盒测试工具。通过举例描述系统录制测试用例、生成脚本并回放的过程,详细分析了GUI自动化测试工具录制-回放模块关键技术的设计与实现。该GUI测试工具主要应用于回归测试阶段,能够提高测试效率。
- 张灿薛云志陈军成
- 关键词：ANDROIDGUI自动化测试
- 基于C++映射的TTCN－3测试系统及测试方法
- 本发明提出了一种基于C++映射的TTCN-3测试系统及测试方法。该测试系统及其测试方法基于TTCN-3的C++映射标准，通过语言转换器将TTCN-3测试用例转换成语义相等的C++测试用例，并在TTCN-3运行环境进行编译...
- 赵琛潘远明陈伟薛云志杨宗奎孙丽霞
- 文献传递
- 一种基于时间自动机的实时系统测试方法被引量：19
- 2007年
- 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.
- 陈伟薛云志赵琛李明树
- 关键词：测试用例生成
- 一种无人系统决策策略的自主能力快速测评方法及系统
- 本发明公开了一种无人系统决策策略的自主能力快速测评方法及系统，其步骤包括：1)构建危险场景知识库，并在仿真环境中实现相对应的危险场景；2)根据输入被测对象，对各危险场景进行分级；3)从低危险等级的危险环境开始对被测对象进...
- 孟令中薛云志董乾师源杨光王鹏淇武斌
- 文献传递
