肖庆
- 作品数：73 被引量：160H指数：8
- 供职机构：装甲兵工程学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金军队科研计划项目更多>>
- 相关领域：自动化与计算机技术电子电信一般工业技术机械工程更多>>
- 基于不确定推理的军用软件故障诊断方法研究
- 2014年
- 针对基于构件的军用软件使用过程中故障频发,传统规则推理的方法进行故障诊断存在不确定性问题,提出了基于不确定规则知识库的故障诊断方法;首先根据不确定推理逻辑,分析传统规则推理的不确定因素,构建不确定规则知识库;然后基于该知识库和正向链推理策略,计算确定性因子;合理设置激活规则的阈值,并对中间结论的确定性因子进行排序以消解冲突;实验结果表明,基于不确定推理的诊断方法与传统精确推理方法相比,具有更高的诊断准确率。
- 王维锋孙敬德肖庆
- 关键词：专家系统CLIPS
- 一种战术数据报文模拟方法及系统
- 本发明提供一种战术数据报文模拟方法及系统，其中，所述战术数据报文模拟方法包括：A、依据战术数据报文标准编辑报文结构描述信息和数据元素字典信息，并将报文结构描述信息和数据元素字典信息存放在数据库中；B、分析数据库中报文结构...
- 毕学军肖庆王小振刘娟金丽亚王琼张扬杨朝红
- 文献传递
- 循环语句中变量抽象取值的迭代求精方法
- 本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代...
- 金大海宫云战赵云山肖庆王思岚
- 文献传递
- 基于缺陷模式的软件测试中的区间运算应用被引量：14
- 2008年
- 基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.
- 杨朝红宫云战肖庆王雅文
- 关键词：软件测试状态机
- 数据库中关联规则的并行/分布式采掘技术被引量：2
- 2003年
- 高效的并行/分布式采掘方法是数据库中关联规则发现技术的重要的研究方向,首先给出了关联规则的并行/分布式采掘的相关描述,针对关联规则并行/分布式采掘的基本思想,分析算法中可以改进效能的环节,提出生成更少候选集、局部剪枝、减少通讯量和优化扫描等提高性能和降低复杂度的方法.
- 张惠民王晓卫肖庆
- 关键词：关联规则知识发现大项集
- 软件静态测试中C/C++抽象语法树的生成
- 2004年
- 本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.
- 于屏岗张威肖庆
- 关键词：抽象语法树符号表
- 基于无线传感器网络的CAN总线互联
- 给出了 CAN 总线无线接入控制模块的电路设计,模块各主要组成部分的作用是：CAN 控制器 SJA1000,运行 CAN 协议,为无线传感器网络节点提供 CAN 总线服务;收发器 TJA1050,作为 CAN 控制器与物...
- 杨朝红霍景河肖庆王维峰王小振
- 关键词：无线通信无线传感器网络控制器局域网
- 文献传递
- 基于软件缺陷模型的测试系统被引量：25
- 2008年
- 设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
- 杨朝红宫云战肖庆王雅文
- 关键词：软件测试状态机
- 应用跨函数分析的软件测试方法
- 本发明公开了一种应用跨函数分析的软件测试方法，解决软件静态测试中函数调用对区间精度的影响、对环境约束信息未充分利用以及由异常处理导致的控制流变更等问题。通过定义函数摘要信息及其前置信息、后置信息、约束信息和特征信息，对程...
- 宫云战金大海肖庆杨朝红陈俊亮
- 文献传递
- 基于扩展状态机的资源泄漏检测方法
- 2009年
- 基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。
- 杨朝红刘海燕肖庆
- 关键词：软件测试状态机
