您的位置： 专家智库 > >

李春光

作品数：3 被引量：12H指数：2
供职机构：白城师范学院更多>>
相关领域：自动化与计算机技术文化科学兵器科学与技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇兵器科学与技...

主题

  • 1篇火控系统
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 1篇白城师范学院
  • 1篇长春职业技术...

作者

  • 1篇周晓红
  • 1篇李春光

传媒

  • 1篇火力与指挥控...

年份

  • 1篇2017
共 3 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
符号执行火控系统诸元解算程序测试用例生成技术被引量：5
2017年
火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。
李春光周晓红董龙明
关键词：火控系统测试用例生成技术
全选 清除 导出
共1页<1>
聚类工具0