许庆光
- 作品数：8 被引量：10H指数：2
- 供职机构：解放军电子工程学院网络工程系更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 协议一致性测试研究进展被引量：8
- 2013年
- 协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。
- 李强余祥齐建业许庆光
- 关键词：测试用例形式化
- 指挥信息系统的安全软件生命周期与需求验证
- 本文对指挥信息系统中的两个关键技术——安全软件生命周期和需求验证问题进行了研究.建立了由六个基本过程组成的安全软件生命周期模型,定义了指挥信息系统的需求,描述了指挥信息系统需求描述与建模方法,提出了采用UML描述指挥信息...
- 李强刘峻宇余祥许庆光
- 关键词：指挥信息系统
- 文献传递
- 指挥信息系统输入验证漏洞检测方法研究
- 在当今信息化战争的作战形势下,集指挥控制、情报侦察、预警探测、通信和电子对抗等作战任务于一身的指挥信息系统的重要性不言而喻,指挥信息系统的性能将直接影响到战争的成败.随着黑客技术的不断发展,对指挥信息系统的安全性要求也越...
- 许庆光李强余祥何海洋
- 关键词：军事工程指挥信息系统污点分析安全性
- 文献传递
- 基于复用的软件测试用例自动生成关键技术及测试执行系统
- 李强余祥黄海军何维陈立哲张健安占峰王超许庆光蒋云霄
- 针对软件需求规格说明和测试需求，研究基于复用的软件功能测试用例自动生成关键技术，形成软件功能测试用例自动生成方法，解决软件测试用例生成效率，提高软件测试用例设计的正确问题，为设计并实现软件测试用例自动生成系统奠定技术基础...
- 关键词：
- 关键词：软件功能测试
- 输入验证漏洞检测中的疑点标记和传播方法研究被引量：2
- 2016年
- 研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题,定义疑点源、疑点传播路径概念和疑点属性的4个状态,制定疑点属性状态间的转换规则,设计疑点源标记与疑点传播路径获取算法.实验结果表明,该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径.
- 许庆光李强余祥刘峻宇
- 关键词：漏洞检测
- 基于漏洞检测的指挥信息系统安全防护问题研究
- 在以信息作战为主要作战方式中,指挥信息系统担负着指挥控制、情报侦察、预警探测、通信、电子对抗等作战任务,其重要性不言而喻.本文从系统漏洞检测出发,探讨了指挥信息系统的安全防护问题,并提出了构建指挥信息系统安全防护体系的设...
- 许庆光李强余祥刘峻宇
- 关键词：指挥信息系统漏洞检测安全防护
- 文献传递
- 指挥信息系统输入验证漏洞检测方法研究
- 在当今信息化战争的作战形势下,集指挥控制、情报侦察、预警探测、通信和电子对抗等作战任务于一身的指挥信息系统的重要性不言而喻,指挥信息系统的性能将直接影响到战争的成败。随着黑客技术的不断发展,对指挥信息系统的安全性要求也越...
- 许庆光李强余祥何海洋
- 关键词：指挥信息系统污点分析
- 文献传递
- 基于模板定制的指挥信息系统文档自动生成问题的研究
- 提高指挥信息系统设计文档的质量,研究基于国家军用标准生成模板并建立文档生成数据库的指挥信息系统文档的自动生成问题,既是指挥信息系统设计的要求,也是软件工程规范所致.在概述文档自动生成系统自动生成原理的基础上,对文档模板定...
- 刘峻宇李强余祥许庆光
- 关键词：指挥信息系统模板定制数据库
- 文献传递
