您的位置： 专家智库 > >

苏亭

作品数：14 被引量：10H指数：3
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 10篇专利
  • 3篇期刊文章
  • 1篇学位论文

领域

  • 6篇自动化与计算...
  • 1篇文化科学

主题

  • 6篇测试用例
  • 4篇自动化
  • 4篇健壮性
  • 3篇自动生成
  • 2篇语法树
  • 2篇偏好
  • 2篇自动化测试
  • 2篇录制
  • 2篇脚本
  • 2篇C语言
  • 2篇测试脚本
  • 2篇测试系统
  • 2篇抽象语法
  • 2篇抽象语法树
  • 1篇代码
  • 1篇应用数据
  • 1篇语义
  • 1篇源程序
  • 1篇源代码
  • 1篇远程

机构

  • 14篇华东师范大学
  • 1篇北京控制工程...
  • 1篇中国航天

作者

  • 14篇苏亭
  • 8篇蒲戈光
  • 2篇何积丰
  • 2篇孙海英
  • 2篇刘凯
  • 2篇武轲
  • 1篇李博
  • 1篇姚瑶
  • 1篇王政
  • 1篇姚银波
  • 1篇杨孟飞
  • 1篇邓正恒
  • 1篇顾斌
  • 1篇杨伟明
  • 1篇张伟
  • 1篇经小川

传媒

  • 2篇计算机工程与...
  • 1篇科技资讯

年份

  • 4篇2024
  • 1篇2023
  • 2篇2021
  • 1篇2020
  • 2篇2018
  • 1篇2016
  • 2篇2014
  • 1篇2010
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于概率模型的移动应用自动化测试方法
本发明公开了一种基于概率模型的移动应用自动化测试方法，包括如下步骤：通过分析被测应用获取当前界面上的可执行事件；综合权衡可执行事件的控件类型、控件执行次数以及后继子节点的数量确定每个可执行事件的综合权重值，并选择出下一个...
蒲戈光苏亭武轲杨伟明曹棋敏姚瑶
文献传递
一种基于关键点引导的数据流测试方法及其测试系统
本发明公开了一种基于关键点引导的数据流测试方法，包括：通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使...
蒲戈光苏亭张枨宇武轲姚银波周寒茹
文献传递
一种面向代码测试的基路径求解方法
本发明公开了一种面向代码测试的基路径求解方法，涉及代码测试领域，包括：基于代码控制流图，构造图中所有节点的前驱节点集合和后继节点集合；基于后继节点集合，构造待判定路径集合；基于待判定路径集合，构造后向增量路径集合；基于后...
李荥达李一帆洪晓宇苏亭万成城孙海英
一种面向安卓平台的测试用例自动化生成方法及生成系统
本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换...
李俊馨苏亭蒲戈光何积丰
一种面向移动平台的自动化蜕变测试方法
本发明公开了一种面向移动平台的自动化蜕变测试方法，在真实移动设备或虚拟移动设备上对移动应用进行探索并生成测试事件序列，通过对测试事件序列有策略地插入事件对的方式，对测试事件序列进行蜕变，通过计算蜕变前后执行的差异判断应用...
孙静翎苏亭蒲戈光李俊馨刘凯熊一衡
一种针对软件模型检查工具的测试用例自动生成方法和系统
本发明公开了一种针对软件模型检查工具的测试用例自动生成方法，所述方法包括如下步骤：使用Clang编译器前端对待测试的源代码进行分析，根据分析结果插入用于记录程序运行状况的桩语句，不改变程序原本的逻辑；编译并运行程序，获取...
严懿宸张枨宇苏亭蒲戈光
文献传递
一种基于性质的移动平台软件功能模糊测试方法、测试系统及应用
本发明公开了一种基于性质的移动平台软件功能模糊测试方法。本方法首先对移动应用定义每个功能的性质，每个应用功能的性质包含前置条件、功能事件序列、对应用数据的影响(可以为空)和后置条件。之后在真实移动设备或虚拟移动设备上不断...
孙静翎苏亭姜嘉仪蒲戈光
基于CIL的C语言类型系统构建研究
2014年
针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。
方昭潭苏亭李博经小川张伟
关键词：测试用例自动生成
一种基于二进制指令与网络流量协同分析的协议消息字段语义推断方法
本发明公开了一种基于二进制指令与网络流量协同分析的协议消息字段语义推断方法，涉及协议逆向领域，包括：基于网络流量获取的消息集合，构造待语义逆向的消息队列；基于动态污点分析的二进制指令执行信息，构造与消息字段相关的指令集合...
姜嘉仪陈浩仪张锡元苏亭万成城孙海英
基于覆盖准则的软件测试用例自动化生成方法的研究与实现
软件测试作为软件实践中最常用的软件验证技术,其基本过程主要分为三步：(1)针对待测系统设计有效的测试用例；(2)执行这些测试用例；(3)将测试用例的执行结果与预期结果进行比对,确认程序输出是否正确。其中,测试用例的设计需...
苏亭
关键词：自动化测试测试用例生成
文献传递
全选 清除 导出
共2页<12>
聚类工具0