宫云战
- 作品数：314 被引量：524H指数：13
- 供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术电子电信自然科学总论军事更多>>
- 一种面向位置服务的电信业务生成方法和系统
- 一种基于GDL和XPL、面向位置服务的电信业务生成系统和方法，系统包括：设有相互连接的业务开发平台(包括XPL和GDL的开发环境)和业务运行平台(包括XPL和GDL的运行环境)的应用服务器，与XPL运行环境连接的电信网络...
- 孟祥武杨骎彭泳宫云战陈俊亮于晓燕
- 文献传递
- 移动应用中隐私信息泄露的静态检测方法
- 本发明公开一种移动应用中隐私信息泄露的静态检测方法，包括：首先检查代码的完备性，如果代码不完备则对源代码进行准备工作，加载隐私泄露对应的状态机描述文件，得到相关的状态机信息，对源代码进行编译，得到类和函数等的详细信息，对...
- 王雅文宫云战黄俊飞于鹏洋金大海
- 高通量计算系统的构建原理、支撑技术及云服务应用立项报告
- 2016年
- 该报告研究新兴战略性应用(如物联网、三网融合、云计算等)的后端高通量处理的新原理、新方法和核心技术。主要研究内容包括由控制或数据驱动转向请求驱动的新原理、大规模可扩展微处理芯片的新结构及其相关核心技术,高通量低能耗的新型计算机体系结构、支撑其高效能执行的新型运行时管理系统和新的软件支持环境,虚拟化资源能力的部署、调度、管理和优化技术,为按需聚合、智能协同的高通量应用提供可保障的系统能力;同时研究各个阶段的可靠性设计和验证的新机制,包括硬件级的芯片和系统的可靠性机制,软件级的容错、缺陷调试和程序分析验证等,以及高通量亿级并行系统的测试程序、健壮性、性能自动推演和性能瓶颈自动发现等技术。通过该研究,提出并实现有助于解决重大科学问题的高通量计算系统的创新结构和设计方案。
- 徐志伟李晓维吴承勇黄铠宫云战
- 关键词：高通量云服务
- 一种基于Hadoop的软件测试方法、装置和系统
- 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服...
- 黄俊飞宫云战陈思勤金大海王雅文
- 文献传递
- 软件可靠性评估技术研究被引量：5
- 2000年
- MTBF,初始故障数N,故障暴露率K,一次运行的成功率θ是软件可靠性的基本参数,也是反映软件可靠性的关键因素.在理论分析和工程应用实验基础上,给出了这些参数的计算方法.
- 宫云战
- 关键词：MTBF
- 数据流分析被引量：3
- 2000年
- 介绍了数据流测试的几个相关概念,分析了汇编语言和高级语言C中哪些定值-引用关系可以静态确定,哪些必须动态确定,并提出了实现数据流分析的方法.
- 刘海燕宫云战杨朝红
- 关键词：软件测试数据流
- 基于区间缩减的自动化打桩技术研究
- 单元测试中,为了屏蔽函数调用对调用点上下文环境的影响,需要进行打桩。手工打桩效率低下,影响测试进度。现有的自动打桩技术,如随机打桩,忽略了桩函数和目标覆盖路径的约束关系,使得打桩的精度不高,导致未被覆盖的路径依然没有得到...
- 周傲王雅文宫云战
- 关键词：软件测试打桩白盒测试
- 文献传递
- 针对串扰引起的时延故障的测试产生被引量：4
- 2004年
- 串扰的出现可能会导致电路出现逻辑错误和时延故障 因此 ,超深亚微米工艺下 ,在设计验证、测试阶段需要对串扰问题给予认真对待 由于电路中较长的通路具有较短的松弛时间 ,因此容易因为串扰问题产生时延故障 针对这类故障给出了一个考虑较长通路上串扰现象的时延故障测试产生算法 ,该算法采用了波形敏化技术 实验结果表明 。
- 张月李华伟宫云战李晓维
- 关键词：串扰时延故障
- Java性能故障模式分析
- 2007年
- 面向故障的软件测试方法正在快速发展中,应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式,给出其一般形式和产生原因,并分析其对于保证软件质量的重要性及改进措施,最后简要介绍了对故障模式进行检测的方法。
- 侯斌张冠楠宫云战
- 关键词：JAVA故障检测
- 一个故障容错系统的设计及实现
- 1995年
- 本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.
- 宫云战陈建明吕昌玲曾毅强
- 关键词：故障容错自动切换可靠性
