中国科学院国防科技创新基金(CXJJ-11-Q74)
- 作品数：2 被引量：15H指数：2
- 相关作者：张涛王金波王瑞雪更多>>
- 相关机构：中国科学院中国科学院大学更多>>
- 发文基金：中国科学院国防科技创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- UML模型驱动的划分测试用例生成方法研究被引量：2
- 2012年
- 测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。
- 王瑞雪张涛
- 关键词：软件测试测试用例生成UML活动图
- 基于故障注入的嵌入式软件安全性测试框架及实现被引量：13
- 2012年
- 为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态。为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程。该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试。
- 王金波张涛
- 关键词：安全关键软件仿真测试单粒子效应
