颜运强
- 作品数：34 被引量：35H指数：4
- 供职机构：中国工程物理研究院计算机应用研究所更多>>
- 发文基金：国防基础科研计划国防科技工业技术基础科研项目更多>>
- 相关领域：自动化与计算机技术电子电信机械工程更多>>
- 一种用于软件可信性评估的可信证据分析与度量方法
- 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
- 基于混合自动化测试框架的Web测试平台及测试方法
- 本发明公开了一种基于混合自动化测试框架的Web测试平台，其总体架构包括自动化测试管理层、自动化测试引擎层和第三方测试工具，其中，自动化测试管理层用于Web自动化测试的全过程管理，支持测试实施人员进行测试需求分析、测试设计...
- 孙哲颜运强张谊陈泉根杨永辉
- 文献传递
- 关键嵌入式软件全生命周期质量控制设想被引量：2
- 2016年
- 随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信性方面存在的瓶颈问题,提出了基于模型的软件开发的Y模型,该新模式将软件需求分析与设计融合,引入形式化验证手段,在全生命周期开展形式化验证和仿真验证,确保软件可信.
- 颜运强漆莲芝陈泉根
- 关键词：嵌入式软件全生命周期形式化验证仿真验证
- 基于FPGA的一体化I2C接口验证控制器设计方法
- 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器...
- 郭兴林张谊颜运强卢航史龙飞周昱瑶
- 1553B接口仿真测试系统设计及典型软件缺陷分析被引量：1
- 2016年
- 介绍了一种1553B接口仿真测试软件硬件设计方案,详细介绍了自动化测试引擎设计以及Lua脚本语言的测试流程设计,并以某装备软件1553B通信接口测试中发现的一些具有代表性的接口问题为例,对1553B软件接口测试典型案例的测试设计、测试结果进行了较为详细的描述,介绍了如何设计有效的软件测试用例,高效地发现通信软件的设计缺陷和程序问题,提升了软件的质量。
- 张军杨柯颜运强漆莲芝
- 关键词：计算机软件软件测试接口测试通信
- 基于XSL将XML文档转换为HTML格式文档的方法
- 本发明公开了一种基于XSL将XML文档转换为HTML格式文档的方法，包括：S1，新建一个与XML文档同名的HTML格式文档；S2，定义转换算法，实现XML文档到HTML格式文档的转换；S3，调用系统默认浏览器以显示HTM...
- 吴家菊纪斌刘振吉杨永辉陈泉根程铮颜运强蒙立荣马永起李龚亮秦英彭婉怡
- 文献传递
- 一种基于远程过程调用的软总线通信方法
- 本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软...
- 李春雷高峰颜运强邹伟邓霏马思友
- 文献传递
- 测控软件数据接口测试与典型缺陷分析被引量：7
- 2017年
- 为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的测试策略。通过这种办法更科学系统地指导针对数据输入/输出接口、人机交互接口及数据文件接口测试用例的设计。将所述测试方法应用于某装备测控软件数据处理接口测试,能有效发现软件缺陷,提升装备软件质量。
- 漆莲芝周昱瑶张谊颜运强陈泉根
- 关键词：测控软件测试用例设计
- 一种51单片机软件动态白盒测试环境的构建方法
- 构建单片机软件的动态白盒测试环境是软件测试的难点之一.本文介绍了面向单片机软件动态测试的三种测试环境，并通过对其特点进行了分析比较，通过比较，提出推荐采用软件仿真测试环境作为单片机软件动态白盒测试环境的观点，然后，通过一...
- 刘志颜运强罗永红
- 关键词：单片机软件测试测试环境
- 基于可信特征度量的软件可信性评估与改进方法
- 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
