龙刚
- 作品数:4 被引量:2H指数:1
- 供职机构:中国电子科技集团公司第三十二研究所更多>>
- 发文基金:国家部委资助项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于任务剖面的指挥信息系统测试充分性研究
- 2023年
- 现有的基于代码覆盖和功能覆盖的软件测试充分性评价方法,能够满足嵌入式软件或小规模信息系统软件的测试充分性评价要求,但由于指挥信息系统具有规模大、用户多、任务多样且复杂性高等特点,从代码覆盖和功能覆盖的角度难以做到对测试充分性的有效衡量和全面评价。提出一种基于任务剖面的指挥信息系统测试充分性评价方法,通过分析指挥信息系统的使用场景和业务需求构建任务剖面,根据马尔可夫链理论研究任务剖面相关特性和梳理任务状态间的时序交互关系,建立基于任务剖面和系统特征状态的测试仿真模型,通过构建基于系统特征状态、迁移边和变量空间等维度的测试充分性评价指标体系,采用模糊综合评价方法实现测试仿真模型的测试充分性量化评价。以文电传输下发为对象进行实例验证,结果表明,测试路径概率乘积最高的13条测试序列即可达到测试充分性为非常充分的评价结果,相较于测试仿真模型识别出的89条测试序列,执行的测试序列规模下降85%以上,实现了测试效率和测试充分性的平衡。
- 杨萍吴振宇龙刚杨华晖杨竣铎刘鹏辉牛颖蓓
- 关键词:指挥信息系统马尔可夫链
- Android系统下VPN应用的识别方法及系统
- 本发明提供了一种Android系统下VPN应用的识别方法及系统,包括:通过VpnService特征,初步筛选得到一批App,针对筛选得到的App,利用关键词匹配App信息,命中者识别为目标App,针对剩余未命中者,依据其...
- 何建安唐祝寿崔红军燕锦华池定程封亮王勇解群龙刚邓朝日郭玉环李巍李翔徐文博
- 文献传递
- Android系统下VPN应用的识别方法及系统
- 本发明提供了一种Android系统下VPN应用的识别方法及系统,包括:通过VpnService特征,初步筛选得到一批App,针对筛选得到的App,利用关键词匹配App信息,命中者识别为目标App,针对剩余未命中者,依据其...
- 何建安唐祝寿崔红军燕锦华池定程封亮王勇解群龙刚邓朝日郭玉环李巍李翔徐文博
- 文献传递
- C/C++源代码安全检测系统的设计与实现被引量:2
- 2016年
- 通过比较国内外C/C++源代码安全检测技术的发展状况,阐述了研制C/C++源代码安全检测系统的必要性。讨论了C/C++源代码安全检测领域的关键技术,描述了C/C++源代码安全检测系统的主要功能、系统架构和实现途径,并指出了C/C++源代码安全检测系统下一步的改进方向。
- 龙刚何建安高嵩曾奕张生林
- 关键词:源代码