徐晓峰
- 作品数：10 被引量：14H指数：3
- 供职机构：厦门大学更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于ICE与HTTP Tunnel技术的NAT/FW穿越方案被引量：1
- 2008年
- 在现代网络中,越来越多的主机被部署在NAT和防火墙(FW)之后,这就要求VoIP、P2P等通信软件必须具备穿越NAT/FW的能力,才能实现端到端的数据传输。现有的STUN、TURN、ICE等方案虽然可以穿越大部分NAT/FW,但对有端口或协议限制的防火墙却无能为力。本文提出了将ICE和HTTP Tunnel技术相结合的穿越方案,设计并实现了可跨平台运行的HTTP Tunnel模块来配合ICE进行穿越。实验证明,在防火墙只开放80端口这种苛刻的条件下,该HTTP Tunnel模块也能够成功穿越大部分防火墙,实现数据流的稳定传输。
- 陈世锋陈怡徐晓峰郭东辉
- 关键词：防火墙NATHTTP隧道ICE
- 一种块覆盖软件测试自动化工具的设计与实现
- 本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装器等功能的具体实现.该工具实现了未覆盖代码定位,测试覆盖率与测试用例最小化的自动化分析与运算,已...
- 徐晓峰陈艳林晓鹏李伊飚郭东辉
- 关键词：软件测试代码插装
- 文献传递
- 温差发电型汽车节能减排器
- 温差发电型汽车节能减排器，涉及一种汽车节能减排装置，尤其是涉及一种采用半导体温差发电对汽车排气管废弃热能进行循环再利用的节能装置。提供一种利用半导体温差发电技术实现汽车尾气热能回收利用，不仅能适应汽车尾气高温环境，而且结...
- 张寅博申磊王骏陈文徐晓峰陈忠
- 文献传递
- 实时嵌入式系统的竞态条件及其分析方法研究被引量：4
- 2010年
- 竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.
- 陈艳徐晓峰李晓潮郭东辉
- 关键词：实时嵌入式系统
- 基于克隆选择算法的面向程序路径测试数据生成方法被引量：1
- 2009年
- 面向程序路径的测试数据自动生成技术是软件测试自动化的关键技术之一。文中结合程序分支函数叠加法和克隆选择算法的全局搜索性,提出一种基于克隆选择算法的面向程序路径测试数据生成方法。希望能够借助克隆选择算法具有多样性、记忆性、可实现快速全局优化搜索的优点,设计一种新的面向程序路径的测试数据自动生成方法。对算法的原理和实现做了详细描述,并将其与传统的基于遗传算法、模拟退火算法来实现软件测试数据自动生成方法进行实验对比,证实了该方法能较快地生成指定路径的测试数据。
- 郑钧泽徐晓峰郭东辉
- 关键词：克隆选择算法测试数据生成
- 基于时间事件模型的实时系统仿真与时序分析被引量：1
- 2011年
- 提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证本模型与方法的有效性与实用性。
- 陈艳徐晓峰李晓潮郭东辉
- 关键词：仿真任务调度
- 一种温差电源
- 一种温差电源，涉及一种直接利用太阳能的半导体温差电源。提供一种直接利用太阳能的半导体温差电源，设有太阳能集热装置、半导体温差发电装置和电源电路，太阳能集热装置设有小焦距抛物柱组合式反射聚光阵面，在聚光阵面焦平面设置太阳能...
- 梁广陈忠徐晓峰冯立波郑振耀吕迎阳陈超
- 文献传递
- 基于代码覆盖的软件自动化测试与调试方法研究
- 代码覆盖测试可以反映程序代码被执行的百分比,从而真实反映软件内部被测试的情况,实现对软件测试工作完整性评估。本论文就代码覆盖测试中的代码插装技术、测试数据自动生成以及软件错误定位等方面进行研究,旨在提高代码覆盖测试的效率...
- 徐晓峰
- 关键词：代码覆盖软件自动化测试调试方法
- 基于超级块支配图插装的软件测试工具设计与实现被引量：4
- 2010年
- 通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析。
- 徐晓峰陈艳李伊飏林晓鹏郭东辉
- 关键词：代码插装
- 一种基于宿主机/目标机架构的追踪/重演方法被引量：3
- 2009年
- 实时嵌入式系统固有的不确定性使得系统运行具有不可重现性,从而造成系统调试与测试时故障可能无法重现。提出一种基于宿主机/目标机架构的追踪/重演方法来解决实时嵌入式系统运行的不可重现性问题。该方法通过插装探针来追踪系统的任务调度、任务间通信同步以及I/O操作等信息,并自动将系统的执行信息保存到宿主机端,然后通过任务控制模块来控制系统中的任务按照原有的先后顺序来执行,从而实现实时嵌入式系统执行情况的正确回放。目前,该方法已在ML505开发板和uC/OS-II操作系统上进行实现,并已成功应用到IC图像拍摄系统中。通过实验分析表明,该方法能够以较小的时间和空间开销实现实时嵌入式系统运行情况的追踪和重演。
- 陈艳徐晓峰汤伟宾郭东辉
- 关键词：实时嵌入式系统不确定性
