您的位置: 专家智库 > >

王金波

作品数:4 被引量:5H指数:1
供职机构:中国科学院光电研究院更多>>
发文基金:中国科学院国防科技创新基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 2篇计算机
  • 1篇软件生命周期
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇子集
  • 1篇模型驱动开发
  • 1篇可靠性增长模...
  • 1篇计算机仿真
  • 1篇计算机软件
  • 1篇仿真
  • 1篇仿真软件
  • 1篇仿真终端
  • 1篇安全保障
  • 1篇安全关键软件
  • 1篇安全性
  • 1篇安全性保障
  • 1篇测试剖面

机构

  • 3篇中国科学院光...
  • 2篇中国科学院
  • 2篇中国科学院研...

作者

  • 4篇王金波
  • 2篇赵光恒
  • 2篇陈蔚薇
  • 1篇王晓华
  • 1篇尚景亮
  • 1篇张涛

传媒

  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇吉林大学学报...

年份

  • 1篇2010
  • 1篇2009
  • 1篇2008
  • 1篇2006
4 条 记 录,以下是 1-4
排序方式:
多维标度法选择回归测试子集被引量:1
2010年
在软件改动较大且资源限制严格时,回归测试目前的方法难以满足实际需要。因此,提出利用多维标度法选择回归测试子集的方法。该方法使用测试执行剖面表示测试集,通过计算剖面数据,将测试集合按照测试效果可视化分类,综合考虑了软件变更及测试用例的典型性,适用于大规模软件更改较多时获取有代表性的测试子集。实验表明,多维标度法能够全面反映原测试集对变更的测试程度,从而使得回归子集的获取及测试实施更有针对性,能够满足限制严格的回归测试要求。
王晓华张涛尚景亮王金波
安全关键软件的安全性保障工作研究被引量:3
2008年
安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从安全性角度对开发行为进行规范和保障。概述了安全性相关的概念,并给出了一个完整的安全关键软件安全性保障工作流程。
王金波赵光恒陈蔚薇
关键词:安全关键软件安全保障软件生命周期
应用模型驱动开发方法的1553B总线仿真终端的开发
1553B总线最初是在七十年代末为适应飞机的发展由美国提出的飞机内部电子系统连网标准,现在它已经在我国的航空航天、军事平台等领域被广泛使用。在对1553B总线系统中的设备进行测试的时候,一个灵活可用的软件仿真终端无疑可以...
王金波
关键词:模型驱动开发仿真软件计算机仿真
文献传递
基于任务剖面关键度划分的嵌入式软件可靠性增长模型
2009年
以任务剖面的关键度划分为出发点,考虑测试的有效性,建立一种随测试覆盖率变化的嵌入式软件可靠性增长模型,改变了以往模型中可靠性提高单纯依靠测试时间增长以及可靠度结果虚高等不足。提出在测试成本一定的情况下对软件进行可靠性增长测试时,关键度较高的任务剖面应该获得较多的测试工作投入,即获得较高的测试覆盖率。
王金波赵光恒陈蔚薇
关键词:计算机软件测试剖面可靠性增长模型
共1页<1>
聚类工具0