刘永恒
- 作品数：6 被引量：5H指数：1
- 供职机构：信息产业部电子第五研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种嵌入式软件逻辑覆盖测试方法研究被引量：2
- 2015年
- 针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。
- 肖永健刘永恒徐军
- 关键词：嵌入式软件逻辑覆盖
- 软件安全性测试方法和过程研究被引量：1
- 2013年
- 为了解决目前软件研发过程中存在的与需求安全性、验证工作相关的技术,规范、工具缺失的问题,切实保障安全相关系统的软件安全性,在分析现有的软件安全性测试方法的基础上,结合工程实际,提出了采用映射分解方式的软件安全性测试方法和测试流程,并在某伺服系统中得到了有效的应用。该方法从工程上为软件的质量和安全性验证提供了手段。
- 朱怡刘永恒
- 关键词：软件测试
- 基于函数切片的插装优化在软件测试中的应用被引量：1
- 2013年
- 首先对插装技术的基本理论和方法进行了介绍,指出了传统的插装方法应用在嵌入式软件逻辑覆盖测试中所面临的问题;然后针对插装后代码的膨胀情况,提出一种基于函数切片的插装优化方法,在使用同样测试工具的情况下,优化了插装程序的执行效率;最后通过实验验证了该方法的有效性。
- 刘永恒胡璇
- 关键词：嵌入式软件
- 关于军代表参与软件测评项目的看法和建议被引量：1
- 2013年
- 根据软件测评项目的管理要求,包括测试过程和项目管理要求,第三方测评机构开展的军用软件第三方测试、定制测评的工作实际,提出软件测评项目的实施过程中,军事代表机构如何参与软件测评项目质量监督工作的一些建议。
- 陈世航刘永恒
- 关键词：软件测评
- 软件测试过程管理系统的实现
- 2013年
- 针对国内目前装备软件测试管理存在的主要问题,提出软件测试管理工具的总体技术方案,在此基础上开发了软件测试过程管理系统。该系统符合国内装备软件测试管理需求,可对军用装备软件定型测评进行有序的量化管理。
- 刘永恒陈锃基
- 关键词：软件测试
- 基于中间件的故障注入技术在嵌入式软件逻辑覆盖测试中的应用
- 2013年
- 以使用中间件故障注入增加软件测试覆盖率为目的,对故障注入技术和原理进行了介绍;并通过实际工程例子提出了一种基于中间件故障注入技术的应用,同时比较了采用故障注入技术后的软件逻辑覆盖测试结果与使用常规测试手段进行的覆盖测试结果,为嵌入式软件的逻辑覆盖测试提供了一种便利、有效的方法。
- 陈锃基蒋沛航刘永恒
- 关键词：中间件软件测试
