毕学军
- 作品数：43 被引量：75H指数：4
- 供职机构：装甲兵工程学院信息工程系更多>>
- 发文基金：国家高技术研究发展计划军队科研计划项目更多>>
- 相关领域：自动化与计算机技术电子电信经济管理军事更多>>
- 基于静态分析的面向故障测试方法
- 软件的故障模式就是总结那些经常出现、并具有一定模式的故障。经过大量的源码分析,我们总结出一些极具代表性的错误模式。在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法。我们已经基本...
- 肖庆杨朝红毕学军
- 关键词：软件测试内存泄漏
- 文献传递
- 一种基于故障模式状态机的测试方法被引量：15
- 2007年
- 基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。
- 肖庆杨朝红毕学军
- 关键词：软件测试数据流分析故障查找
- 基于模型的软件测试被引量：10
- 2007年
- 基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
- 杨朝红宫云战肖庆毕学军
- 关键词：软件测试
- 面向缺陷检测的函数摘要方法
- 函数间分析是静态分析的重要组成部分,函数摘要是一种目前被普遍采用的静态过程间分析方法.针对静态缺陷检测中的过程间分析特点,提出一种面向缺陷检测的函数摘要方法,摘要信息由前置约束信息集合、后置副作用信息集合和状态特征信息集...
- 肖庆杨朝红金丽亚毕学军
- 关键词：软件工程
- 文献传递
- 医疗卫生信息平台中的软件架构技术研究
- 本文提出了一种应用于医疗卫生行业信息平台的软件架构解决方案RMSA.RMSA服务器端采用了.JavaEE技术，通过应用中间件，提供大量的服务;客户段采用了插件机制，方便系统的扩充;同时分析了RMSA的安全性，从而形成了从...
- 毕学军郝娜
- 关键词：信息平台应用中间件
- 文献传递
- 窄带无线电台通用数据通信适配器研究
- 2014年
- 窄带无线电台通用数据通信适配器的研究,主要解决在窄带短波、超短波无线电台的模拟信道中实现数据通信的问题,分析了数据通信适配器的设计思路,探讨了数据通信适配器的基本构成和工作原理,提出了数据通信适配器的主要设计方案及关键技术运用,对相关数据通信系统的研究应用具有重要作用。
- 党朝发毕学军金丽亚肖庆钟海波
- 关键词：窄带无线电台数据通信
- 浅谈企业所得税纳税评估系统的架构设计和技术
- 2009年
- 该文介绍了基于J2EE框架结构的企业所得税纳税评估系统的架构设计和技术，此系统应用于浙江省国家税务局系统，大大的提高了征管软件的运行效率和质量。
- 关晓彤毕学军龚荛莞
- 关键词：J2EEJAVAORACLE
- 基于数据库的快速测试数据生成方法研究被引量：3
- 2010年
- 该文以航天发射场C^3I系统应用软件的系统测试为研究对象，提出了一种基于数据库的测试数据快速生成方法，并应用此方法开发了测试数据生成软件。该方法在航天发射场C^3I系统应用软件系统测试中发挥了重要作用。
- 巩文化毕学军刘娟
- 关键词：数据库测试数据
- 军用软件开发过程的质量管理体系研究被引量：3
- 2008年
- 军用软件系统的开发在我军信息化建设中占据至关重要的地位。大型武器装备系统的军用软件开发，成本高、风险大、周期长，参与单位及人员众多，如何能够确保大型军用软件的质量，增强武器装备性能，成为亟待解决的课题。本文将质量管理体系引入军用软件开发过程之中，通过强化过程控制，来确保大型军用软件的开发质量，对军队信息化建设，特别是软件系统的开发起到指导和借鉴作用。
- 毕学军肖庆郝娜
- 关键词：军用软件质量管理ISO9000
- 基于对数路径损耗模型的战术MANET地理位置路由算法
- 2013年
- 结合战场地形环境和战术MANET(Mobile Ad-hoc NETwork)业务特点,将链路质量预测引入路由中,提出了一种基于对数路径损耗模型的战术MANET地理位置路由(Logarithmic Loss Geographic Routing,LLGR)算法,并通过试验对LLGR算法的性能指标进行了对比分析,结果表明:该路由算法能较好地满足战术MANET的需求。
- 毕学军张扬张卫国
- 关键词：地理位置路由
