您的位置： 专家智库 > >

蔡玉华

作品数：13 被引量：0H指数：0
供职机构：中国航空综合技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 13篇中文专利

领域

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

主题

  • 6篇嵌入式
  • 6篇嵌入式软件
  • 2篇质量水平
  • 2篇软件测试
  • 2篇软件产品
  • 2篇软件功能
  • 2篇软件模型
  • 2篇失效模式
  • 2篇输入接口
  • 2篇数据生成
  • 2篇嵌入式软件测...
  • 2篇自动推送
  • 2篇现场可编程
  • 2篇现场可编程逻...
  • 2篇相似度
  • 2篇相似度计算
  • 2篇历史数据
  • 2篇模型分析
  • 2篇经验知识
  • 2篇径集

机构

  • 13篇中国航空综合...

作者

  • 13篇蔡玉华
  • 11篇封二强
  • 2篇郑军
  • 2篇李海峰
  • 2篇谢许扬
  • 2篇周汉清
  • 2篇刘畅

年份

  • 4篇2024
  • 3篇2023
  • 1篇2022
  • 3篇2021
  • 1篇2016
  • 1篇2014
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于模型的嵌入式软件测试用例生成模型
本发明提供了一种基于模型的嵌入式软件测试用例生成模型，其包括：测试需求建模模块、测试路径生成模块、测试数据生成模块、通用多样性测试数据生成模块和测试用例集生成模块，测试需求建模模块构建动态行为测试需求模型和静态结构测试需...
封二强吕金泽蔡玉华吴春成孙乾马力
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法，该方法包括：扩展SysML语言的语义，基于扩展SysML语言创建软件模型，对软件静态结构和动态行为进行完整准确描述，通过构建安全性分析规则库，针对软件模型进行软件...
周汉清吕海熊唐洋封二强蔡玉华刘勇李鑫然
文献传递
航空遥感图像目标检测模型的鲁棒性测试方法及系统
本发明提供一种航空遥感图像目标检测模型的鲁棒性测试方法及系统，方法包括以下步骤：S1、构建基础数据集；S2、基于基础数据集，运用基于梯度和优化的白盒攻击方法以及基于知识蒸馏的黑盒攻击方法得到对抗性样本数据集；S3、以步骤...
蔡玉华郭耕佑封二强何柳
航空机载软件安全性分析规则的关联推送方法及其系统
本发明涉及一种航空机载软件安全性分析规则的关联推送方法及其系统，其包括以下步骤，步骤1：确定航空机载软件的安全性特征，构建软件的安全性特征向量；步骤2：处理软件的安全性特征，关联软件安全性分析规则；步骤3：处理航空机载软...
封二强吴春成蔡玉华马力孙乾吕金泽
文字情报分析模型的可解释性测试验证方法及系统
本发明提供一种文字情报分析模型的可解释性测试验证方法及系统，系统包括基础数据集构建单元、可解释性测试模型构建单元、可解释性测试方法选择单元以及可解释性测试评估单元，基础数据集构建单元用于构建待评估文字情报分析模型的基础数...
郭耕佑蔡玉华封二强刘姝研
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法，该方法包括：扩展SysML语言的语义，基于扩展SysML语言创建软件模型，对软件静态结构和动态行为进行完整准确描述，通过构建安全性分析规则库，针对软件模型进行软件...
周汉清吕海熊唐洋封二强蔡玉华刘勇李鑫然
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
刘畅李海峰蔡玉华谢许扬郑军
文献传递
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
刘畅李海峰蔡玉华谢许扬郑军
基于软件全生命周期的航空机载软件质量评价方法
本发明提供一种基于软件全生命周期的航空机载软件质量评价方法，其包括以下步骤：S1、建立航空机载软件研制过程评价模型；S2、建立航空机载软件产品评价模型；S3、确定度量元指标选取原则；S4、度量元数据采集；S5、航空机载软...
封二强马力张优优蔡玉华孙乾曹洪明徐晖初振华
航空机载软件安全性分析规则的关联推送方法及其系统
本发明涉及一种航空机载软件安全性分析规则的关联推送方法及其系统，其包括以下步骤，步骤1：确定航空机载软件的安全性特征，构建软件的安全性特征向量；步骤2：处理软件的安全性特征，关联软件安全性分析规则；步骤3：处理航空机载软...
封二强吴春成蔡玉华马力孙乾吕金泽
全选 清除 导出
共2页<12>
聚类工具0