苏亭
- 作品数：13 被引量：10H指数：3
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于概率模型的移动应用自动化测试方法
- 本发明公开了一种基于概率模型的移动应用自动化测试方法，包括如下步骤：通过分析被测应用获取当前界面上的可执行事件；综合权衡可执行事件的控件类型、控件执行次数以及后继子节点的数量确定每个可执行事件的综合权重值，并选择出下一个...
- 蒲戈光苏亭武轲杨伟明曹棋敏姚瑶
- 文献传递
- 一种基于关键点引导的数据流测试方法及其测试系统
- 本发明公开了一种基于关键点引导的数据流测试方法，包括：通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使...
- 蒲戈光苏亭张枨宇武轲姚银波周寒茹
- 文献传递
- 一种面向代码测试的基路径求解方法
- 本发明公开了一种面向代码测试的基路径求解方法，涉及代码测试领域，包括：基于代码控制流图，构造图中所有节点的前驱节点集合和后继节点集合；基于后继节点集合，构造待判定路径集合；基于待判定路径集合，构造后向增量路径集合；基于后...
- 李荥达李一帆洪晓宇苏亭万成城孙海英
- 一种面向安卓平台的测试用例自动化生成方法及生成系统
- 本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换...
- 李俊馨苏亭蒲戈光何积丰
- 一种面向移动平台的自动化蜕变测试方法
- 本发明公开了一种面向移动平台的自动化蜕变测试方法，在真实移动设备或虚拟移动设备上对移动应用进行探索并生成测试事件序列，通过对测试事件序列有策略地插入事件对的方式，对测试事件序列进行蜕变，通过计算蜕变前后执行的差异判断应用...
- 孙静翎苏亭蒲戈光李俊馨刘凯熊一衡
- 一种针对软件模型检查工具的测试用例自动生成方法和系统
- 本发明公开了一种针对软件模型检查工具的测试用例自动生成方法，所述方法包括如下步骤：使用Clang编译器前端对待测试的源代码进行分析，根据分析结果插入用于记录程序运行状况的桩语句，不改变程序原本的逻辑；编译并运行程序，获取...
- 严懿宸张枨宇苏亭蒲戈光
- 文献传递
- 一种基于性质的移动平台软件功能模糊测试方法、测试系统及应用
- 本发明公开了一种基于性质的移动平台软件功能模糊测试方法。本方法首先对移动应用定义每个功能的性质，每个应用功能的性质包含前置条件、功能事件序列、对应用数据的影响(可以为空)和后置条件。之后在真实移动设备或虚拟移动设备上不断...
- 孙静翎苏亭姜嘉仪蒲戈光
- 基于CIL的C语言类型系统构建研究
- 2014年
- 针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。
- 方昭潭苏亭李博经小川张伟
- 关键词：测试用例自动生成
- 基于覆盖准则的软件测试用例自动化生成方法的研究与实现
- 软件测试作为软件实践中最常用的软件验证技术,其基本过程主要分为三步：(1)针对待测系统设计有效的测试用例；(2)执行这些测试用例；(3)将测试用例的执行结果与预期结果进行比对,确认程序输出是否正确。其中,测试用例的设计需...
- 苏亭
- 关键词：自动化测试测试用例生成
- 文献传递
- 基于B/S架构的远程实时监控系统被引量：3
- 2010年
- 本文设计了基于B/S架构的远程实时监控系统,介绍了Servfox流媒体服务器及Linux的V4L视频接口原理,以及流媒体服务器与客户端之间的视频通信协议。最终在基于Linux系统的ARM板上成功地了架设BOA网页服务器,移植Servfox数据采集器;在PC机客户端安装JAVA插件后,便可以通过浏览器实现视频监控功能,与传统监控方式相比,具有较强的可移植性和便携性。
- 苏亭邓正恒
- 关键词：MONITORINGSYSTEMARMLINUX
