您的位置： 专家智库 > >

苏亭

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

合作作者

文献类型

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

领域

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

主题

  • 6篇测试用例
  • 5篇健壮性
  • 4篇自动化
  • 4篇自动生成
  • 2篇语法树
  • 2篇语义
  • 2篇软件功能
  • 2篇偏好
  • 2篇自动化测试
  • 2篇字段
  • 2篇录制
  • 2篇进制
  • 2篇脚本
  • 2篇功能性质
  • 2篇二进制
  • 2篇C语言
  • 2篇测试脚本
  • 2篇测试系统
  • 2篇抽象语法
  • 2篇抽象语法树

机构

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

作者

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

传媒

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

年份

  • 1篇2025
  • 6篇2024
  • 1篇2023
  • 2篇2021
  • 1篇2020
  • 2篇2018
  • 1篇2016
  • 2篇2014
  • 1篇2010
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于概率模型的移动应用自动化测试方法
本发明公开了一种基于概率模型的移动应用自动化测试方法，包括如下步骤：通过分析被测应用获取当前界面上的可执行事件；综合权衡可执行事件的控件类型、控件执行次数以及后继子节点的数量确定每个可执行事件的综合权重值，并选择出下一个...
蒲戈光苏亭武轲杨伟明曹棋敏姚瑶
文献传递
一种基于关键点引导的数据流测试方法及其测试系统
本发明公开了一种基于关键点引导的数据流测试方法，包括：通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使...
蒲戈光苏亭张枨宇武轲姚银波周寒茹
文献传递
一种面向代码测试的基路径求解方法
本发明公开了一种面向代码测试的基路径求解方法，涉及代码测试领域，包括：基于代码控制流图，构造图中所有节点的前驱节点集合和后继节点集合；基于后继节点集合，构造待判定路径集合；基于待判定路径集合，构造后向增量路径集合；基于后...
李荥达李一帆洪晓宇苏亭万成城孙海英
基于二进制指令序列语义相似性的协议消息字段划分方法
本发明公开了一种基于二进制指令序列语义相似性的协议消息字段划分方法，涉及协议逆向领域，包括：基于动态污点分析的二进制指令执行信息，构造与消息字段相关的指令集合；基于指令集合，分析指令内的消息字段使用特征，初步地划分消息得...
姜嘉仪张锡元陈浩仪苏亭万成城孙海英
一种面向安卓平台的测试用例自动化生成方法及生成系统
本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换...
李俊馨苏亭蒲戈光何积丰
一种面向移动平台的自动化蜕变测试方法
本发明公开了一种面向移动平台的自动化蜕变测试方法，在真实移动设备或虚拟移动设备上对移动应用进行探索并生成测试事件序列，通过对测试事件序列有策略地插入事件对的方式，对测试事件序列进行蜕变，通过计算蜕变前后执行的差异判断应用...
孙静翎苏亭蒲戈光李俊馨刘凯熊一衡
一种针对软件模型检查工具的测试用例自动生成方法和系统
本发明公开了一种针对软件模型检查工具的测试用例自动生成方法，所述方法包括如下步骤：使用Clang编译器前端对待测试的源代码进行分析，根据分析结果插入用于记录程序运行状况的桩语句，不改变程序原本的逻辑；编译并运行程序，获取...
严懿宸张枨宇苏亭蒲戈光
文献传递
一种移动应用软件功能性质的描述语言及其应用
本发明公开了一种移动应用软件功能性质的描述语言，使用本描述语言定义软件功能性质包括以下步骤：移动应用的初始化设置：根据所要测试的移动应用以及定义的初始化函数，完成应用的初始化操作以及初步设置操作，初始化操作在执行性质测试...
熊一衡沈祥臣苏亭王珏孙静翎蒲戈光
一种基于性质的移动平台软件功能模糊测试方法、测试系统及应用
本发明公开了一种基于性质的移动平台软件功能模糊测试方法。本方法首先对移动应用定义每个功能的性质，每个应用功能的性质包含前置条件、功能事件序列、对应用数据的影响(可以为空)和后置条件。之后在真实移动设备或虚拟移动设备上不断...
孙静翎苏亭姜嘉仪蒲戈光
一种基于多探索策略的移动应用功能性质测试方法
本发明公开了一种基于多探索策略的移动应用功能性质测试方法，本方法首先通过移动应用软件功能性质描述语言对被测移动应用的一个或多个功能性质进行定义，然后通过两种探索策略测试被测移动应用的性质是否被违反。随机探索策略生成随机事...
熊一衡沈祥臣苏亭王珏孙静翎蒲戈光
全选 清除 导出
共2页<12>
聚类工具0